и нового времени. Согласно традиционному учению логики, восходящему к Аристотелю, общие понятия, которыми оперирует наука, представляют результат сравнения сходных между собой предметов, выделения общих им признаков и отвлечения от их индивидуальных различий. Эта абстракционная теория в самом корне эмпиристична. Она предполагает существование внешних объектов как самодовлеющую данность, и ставит логический акт образования понятий в безусловную зависимость от их воздействия на познающего субъекта. К математике как к чисто конструктивной науке, не опирающейся в своих построениях на непосредственные данные опыта, абстракцционная теория применима только с большой натяжкой. В области арифметики, например, она способна объяснить разве только возникновение понятия целых рациональных конечных чисел. Уже при объяснении отрицательных и дробных чисел она наталкивается на непреодолимые затруднения. Но с полною очевидностью обнаруживается ее логическое бессилие при сопоставлении с такими математическими понятиями, какими по преимуществу орудует современная математика. Ведь в эмпирической действительности нельзя указать ничего такого, что было бы адекватно или представляло хотя бы малейшее сходство с мнимыми и иррациональными числами, дифференциалом или интегралом и т. д. Тем не менее, вплоть до последнего времени эмпиристические предубеждения настолько прочно держались в научном мышлении, что и математики и логики отказывались признавать за этими новыми разновидностями понятия числа такое же объективное значение, такой же реальный смысл, как за целыми рациональными числами, и рассматривали их, как чисто условные символы, которые, правда, пригодны для математических операций, но которые при переводе математических формул на язык действительности утрачивают всякую значимость.
Однако при такой концепции числа остается совершенно непонятным и загадочным, почему реальный смысл математических символов внезапно испаряется, как только мы переступаем границу конечных рациональных чисел, тогда как переходы от одной группы чисел к другим совершаются по имманентным им законам, без всяких скачков, с нигде не нарушаемою непрерывностью. Непонятно также, каким образом эти математические символы, лишенные реального смысла, могут служить точным выражением таких объективных явлений, какие представляют собою пространство, движение в пространстве и т. п. Все эти по существу неразрешимые недоумения возникают, конечно, только в том случае, если исходить из эмпиристического взгляда абстракционной теории, по которому все вообще математические операции в конечном итоге сводятся к счету данных мышлению извне предметов.
Но теория эта, помимо указанного недостатка, страдает еще другим существенным пороком: она предполагает именно то, что подлежит объяснению. В самом деле, самый акт сравнения объектов и определения их сходства оказался бы невыполнимым, если бы в его основу не была положена известная точка