Феномен науки

Описание математических аксиом как моделей действительности, которые истинны не только в сфере реального опыта, но и в сфере воображения, опирается на их субъективное восприятие. Можно ли дать им более объективную характеристику. Воображение возникает на определенном этапе развития нервной системы как произвольное ассоциирование представлений. Предыдущим этапом был этап непроизвольного ассоциирования (уровень собаки). Естественно предположить, что переход от непроизвольного ассоциирования к произвольному не произвел существенной перемены в том материале, который имеется в распоряжении ассоциирующей системы, т. е. в представлениях, образующих ассоциации,— это следует из иерархического принципа устройства и развития нервной системы, при котором надстройка верхних этажей слабо влияет на нижние. Из того же принципа следует, что в процессе предыдущего перехода — от фиксированных понятий к непроизвольному ассоциированию — самые нижние уровни системы понятий остались неизменными и обусловили те всеобщие глубокие свойства представлений, которые были в наличии и до ассоциирования и которые ассоциирование изменить не может. Не может изменить их и воображение. Эти свойства инвариантны относительно преобразований, осуществляемых воображением. На них-то и опираются математические аксиомы. Если представить себе деятельность воображения как перетасовку и склейку каких-то элементов, «кусков» чувственного восприятия, то аксиомы — это модели, которые истинны для каждого куска и поэтому — для любой их комбинации. Способность воображения разрезать чувственный опыт на куски не безгранична, ибо, возникая на некотором этапе развития, оно принимает уже существующую систему понятий как некий фон, как основу, не подлежащую переделке. Такие глубокие понятия, как движение, тождество, непрерывность, заложены были в этом фоне, поэтому и модели, опирающиеся на эти понятия, оказываются универсально истинными не только для реального опыта, но и для любых конструкций, которые способно создать воображение. Математика образует каркас здания естественных наук. Ее аксиомы — это сваи, уходящие в самую глубь нейронных понятий, ниже того уровня, где начинает хозяйничать воображение. Отсюда та прочность основы, которая отличает математику от эмпирического знания. Она пренебрегает поверхностными ассоциациями, составляющими каждодневный жизненный опыт, предпочитая продолжать строительство костяка системы понятий, начатого природой и заложенного в нижние уровни иерархии. И уже на этом костяке будут образовываться «необязательные» модели, которые мы относим к естественным наукам, как на базе врожденных и «обязательных» понятий низшего уровня образуются «необязательные» ассоциации представлений, составляющие содержание жизненного опыта. Требования, диктуемые математикой, обязательны; строя модели действительности, мы не можем обойти их, если бы даже захотели. Поэтому возможную неистинность теории мы всегда выносим за пределы сферы действия математики. Если обнаруживается расхождение между теорией и экспериментом, изменяют внешнюю, «необязательную» часть теории, но никому не приходит в голову высказать предположение, что в данном случае оказалось неверным равенство 2 + 2 = 4.

«Обязательность» классических математических моделей не противоречит появлению математических и физических теорий, которые, на первый взгляд, вступают в конфликт с нашей пространственно-временной интуицией (например, неевклидова геометрия или квантовая механика). Эти теории суть языковые модели действительности, полезность которых проявляется не в сфере повседневного опыта, а в весьма специальных ситуациях. Они не разрушают и не заменяют классических моделей, а продолжают их. Так, квантовая механика опирается на классическую. А какая теория может обойтись без арифметики? Парадоксы и противоречия возникают тогда, когда мы забываем, что понятия-конструкты, входящие в новую теорию, это — новые понятия, если даже их обозначают старыми именами. Мы говорим о «прямой» в неевклидовой геометрии и называем электрон «частицей», хотя языковая деятельность, связанная с этими словами, — доказательство теорем и квантово-механические выкладки — совсем не такая, как в прежних теориях, из которых были заимствованы термины. Если дважды два не равно четырем, то либо два — не два, либо «жды» — не «жды», либо четыре — не четыре.