И все же, как ни естественно предположение о том, что «материальной» основой для логических анализов и логических схем Аристотеля стали формы научного мышления, встречающиеся в биологии, имеются серьезные соображения и даже прямые данные, говорящие о том, что такой «материальной» основой для Аристотеля оказалась не столько современная ему биология, сколько математика.

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

Однако, по воззрению Аристотеля, уже нам известному, хотя эмпирические знания ведут к познанию всеобщего, это всеобщее может быть дано только в возможности. В определении, приводящем к различению рода и вида, речь идет не об эмпирической группировке фактов или предметов опыта, а об определении умопостигаемой сущности. Именно в ней различается как ее материальная часть ее род и как ее формальная часть — ее видоопределяющее различие. Для понимания логической функции определения единственно возможной наукой, в которой оно было уже реализовано и обосновывало ее доказательства, могла стать только математика, точнее геометрия. Ко времени Аристотеля в геометрии уже сложились условия для возможности систем магического построения и изложения. «Начала Евклида» предполагают задолго до них начавшуюся — в математических кругах последователей Платона — работу по изложению результатов, достигнутых в математике с ее дисциплинами — арифметикой, геометрией, теорией гармонии и астрономией. «Началам Евклида» предшествовали не дошедшие до нас, но, по всей видимости, подобные им своды математического знания: «Начала» Гиппократа, Леонта и Февдия, упоминаемые в каталоге Прокла. [27] Близость Евклида к Аристотелю по времени явствует из того, что Евклид родился меньше чем десятью годами позже смерти Аристотеля: при жизни Аристотеля работы по созданию сводов математических знаний шли уже полным ходом.

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

И действительно, предметы математики по Аристотелю, имеют несомненное преимущество сравнительно с органическими существами, известными из опыта. Объекты математики — результат абстракции от чувственных предметов опыта.

Согласно разъяснению самого Аристотеля, «предметом… [изучения] математических наук являются понятия, а не какая-либо [материальная] основа. Ибо если геометрия и рассматривает некоторую [материальную] основу, то не как таковую» [5, I, 13, 79а]. А в другом месте он добавляет, что наука, «не имеющая дело с [материальной] основой, точнее и выше науки, имеющей с ней дело, как арифметика по сравнению с гармонией» [там же, I, 27, 87а]. Правда, основа этой науки и ее понятий — физическая реальность. Это тот материалистический базис математических абстракций, который отметил и высоко оценил в Аристотеле Ленин. Однако непосредственная реальность математических объектов для науки, как ее понимает Аристотель, уже не в их физической, а только, если можно так выразиться, в их логической материи: это умопостигаемое, а не чувственно постигаемое единство рода и видоопределяющего признака. Именно это единство лежит в основе дедукции произвольных свойств математических объектов. В связи с этим математические объекты в известном отношении Аристотель ставит ниже, чем собственно «формы», именно потому, что предметы математики — только абстракции и обладают индивидуальностью не в самой действительности, а только в мысли. Они не имеют длящегося бытия и воссоздаются всякий раз и как угодно часто посредством определения. Напротив, истинные «формы» отличаются каждая индивидуальной субстанциальностью, которая не возникает каждый раз вновь, когда дается их определение.

Но, признавая умопостигаемую реальность объектов математики, благодаря которой математическое рассуждение — естественный «материал», в котором раскрывается природа логических операций и форм, Аристотель борется против платоновского — идеалистического — взгляда на математику. Имея в виду платоников, и прежде всего самого Платона, он неодобрительно отмечает, что математика «стала для теперешних [мыслителей] философией» [7, 991 а 32–33]. В концепции платонизма Аристотель осуждает учение Платона о срединном положении математики между умопостигаемым миром «идей» и чувственно воспринимаемым миром вещей: чтобы подвести многообразие и изменчивость чувственных вещей под единство и тождественность разума, Платон вводит посредствующую функцию математических объектов. Таким образом, математика становится для Платона средством или орудием знания. Напротив, для Аристотеля математика — не «органон», не орудие знания, а само знание в его явлении или обнаружении. Для Аристотеля «органон» знания — не математика, а «аналитика», т. е. логика. Не только математика, но и всякая наука — знание — есть сфера применения «органона».

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

В конечном счете действительный мир познания — это мир, где действует ум. Ум, по Аристотелю, истиннее даже, чем сама наука. Поэтому ум может иметь своим предметом начала знания. Наука, как и ум, дает истину, и никакой другой род познания, кроме ума, «не является более точным, чем наука» [7, 99 la 32–33], «не может быть истиннее» [там же].

Но всякая наука обосновывается, а начала доказательств более известны, чем сами доказательства. Так как начало доказательства уже не есть доказательство, то наука не может быть началом науки. Таким началом может быть только ум — единственный, кроме науки, вид истинного познания. Теория познания Аристотеля, так же как и его теория «форм», — теория объективного идеализма.

Деятельность Аристотеля принадлежит не только истории философии, но и истории науки. В кругу наук, разработкой и даже созданием которых занимался Аристотель, первое место принадлежит логике. Аристотель — автор оригинальной, чрезвычайно тщательно разработанной логической системы, оказавшей через посредство переработки и истолкования ее послеаристотелевскими античными логиками, а также логиками феодального периода огромное влияние на развитие логической науки.

Поскольку логика — специальная наука об умозаключении и доказательстве, в настоящей работе, предмет которой — очерк истории античной философии, — не может быть предложено сколько-нибудь подробное рассмотрение специальных логических учений Аристотеля. К тому же рассмотрение это должно было бы оказаться непропорционально пространным. В силу ряда исторически сложившихся причин даже специалистам-логикам нелегко восстановить точный, отражающий историческую действительность смысл логических учений Аристотеля. То, что в XIX в. (а также отчасти в XX в.) считалось логикой самого Аристотеля, было результатом недостаточно точного отличения этой логики от так называемой традиционной формальной логики. С другой стороны, характерный для XIX в. упадок логической теории, смешение теоретических учений логики с метафизическими спекуляциями идеалистической — чаще всего эклектической или позитивистской — философии крайне затрудняли верную историческую и теоретическую оценку великого логического деяния Аристотеля. Такая оценка может быть исторически обоснованной и точной только при условии ясного и точного понимания существа формальной логики. А это понимание возможно только на основе серьезного знакомства с теориями и учениями новейшей символической (математической) логики. Именно математическая логика дала возможность ответить на вопрос, что такое формальная логика, а следовательно, указала критерий для оценки выдающихся явлений в истории этой науки.