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

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

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

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

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

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

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

В схематичном виде ее можно представить следующим образом. Вообразим, что у нас есть три условных объекта (x, y, z) обладающих какими‑то своими условными же характеристиками: x (a, b, c), y (a, c, d), z (b, c, e). Видно, что свойства «a», «b» присущи только двум объектам из трех, свойства «d» и «e» – только одному. Лишь качество «с» присуще сразу всем трем. Таким образом, мы вправе отбросить характеристики «a», «b», «d», «е» и выделить свойство «с» как объединяющее их основание. Именно по основанию «с» и оказывается возможным проводить количественное сравнение всех объектов.