Сколько будет 2+2?

Мы привели ссылку на Канта как бы в порядке самооправдания, только для того, чтобы показать, что сомнения в абсолютной истинности стереотипного ответа на вынесенный в заглавие вопрос – это вовсе не аберрация сознания, не кульбит софистической мысли, имеющий целью только запутать собеседника. Строго говоря, вопрос о том, почему получаемые чисто аналитическим путем, что говорится, «на кончике пера» математические истины все-таки подтверждаются нашим опытом, не решен и сегодня. Больше того, решать его, по-видимому, придется еще не одно столетие. И как бы в подтверждение этого мы видим, что не только сложнейшие, требующие предельного напряжения нашего интеллекта, построения высшей математики, но даже простейшая арифметическая задача обнаруживает сильную зависимость и от каких-то общих господствующих в совокупном сознании цивилизации идей, и от принятой в обществе методологии систематизации явлений. Оказывается, что вне этого «над-математического» аппарата даже простейшая арифметическая задачка никакого решения не имеет.

С Кантом спорят и по сию пору. И до сего дня очень многие видят в математике выражение некоторой абсолютной истины, которая кристаллизовала в себе обнаженную до голой схемы структуру самой объективной реальности. Однако и через двести лет с лишком многие соглашаются с ним…

Мы не ставим своей задачей разрешить вопрос о соотношении результатов абстрактных математических построений и реальной структуры окружающего нас мира. Но, не тяготея ни к одной из этих полярных позиций, мы вправе смотреть на математику, как на методологию человеческого познания. Вернее сказать, как на специфическую проекцию какой-то единой методологии познавательной деятельности человека, ибо математика, разумеется, не исчерпывает эту роль полностью.

Но если так, то любое противоречие тому результату, который прогнозируется ею, должно выступать не только как индикатор ошибки, но и как побудительный стимул к движению в каком-то новом направлении. Важно понять, что несоответствие результата «сложения» любой заранее затверженной истине – это далеко не всегда ошибка в построениях, не всегда дефект расчета, и способность разглядеть в этом несоответствии ориентир поиска того, «что» именно «будет» в результате такой операции, – представляет собой обязательный элемент квалификации исследователя. Если нет такой способности, нет и настоящего исследователя, есть лишь простой ремесленник.

Кстати, этот вывод остается справедливым, абсолютно независимо от того, что именно мы готовы признать в этой древней науке. Если, вслед за немецким философом (и крупным математиком, кстати, именно Канту принадлежит мысль о том, что в любой науке ровно столько истины, сколько в ней математики) мы ограничим ее только сферой «трансцендентальной эстетики», мы обязаны будем согласиться с тем, что любая количественная аномалия потребует не только перепроверки всех наших логических построений, но и дальнейшего исследования. Если же, напротив, мы увидим в ней отражение не зависящих ни от нашей воли, ни от нашего сознания отношений между явлениями внешнего мира, результат останется тем же самым: мы обязаны будем видеть в любом несоответствии указание не только на тщательную перепроверку выполненной процедуры, но и на необходимость проведения в первую очередь качественного анализа результата.

Словом, методологическая роль математики заключается в том, что, как бы мы ни относились к результату измерения и сопоставления, любая количественная аномалия безупречно выполненного расчета (понятно, что о математических ошибках речи вообще не может быть) должна расцениваться нами как стимул к дальнейшему поиску.

Но если так, то и обнаруживаемые нами противоречия в детстве затверженному выводу требуют своего разрешения, иными словами, обязывают нас продолжить исследование.

Поэтому вернемся к исходному предмету нашего анализа.

Мы видели, что для количественного сравнения разнородных вещей необходимо найти какой-то объединяющий их круг. Что это значит? Разделяемое многими решение заключается в последовательном восхождении от уровня единичных вещей, обладающих какими-то индивидуальными особенностями, к более широким обобщениям.

Операция обобщения представляет собой одну из ключевых процедур формальной логики, законам которой обязано подчиняться любое научное исследование. Она предполагает, что в ходе ее строгого и точного выполнения от анализируемых нами явлений последовательно отбрасываются все те отличительные их особенности и характеристики, которые присущи им и только им. Если эта операция выполняется правильно, то в результате должны остаться только те свойства, которые одновременно присущи сразу всем явлениям анализируемого круга. Именно совокупность этих свойств и образует собой содержание какого-то нового обобщающего понятия.