Жар холодных числ и пафос бесстрастной логики - [8]

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

Здесь мы должны, наконец, сказать об Аристотеле. В чем состоял его вклад, если логические схемы — правила рассуждений (во многом, во всяком случае) — были выделены до него? Прежде всего в том, что он их систематически описал в серии трудов, составляющих знаменитый «Органон»[9]. В важнейшем из этих трудов — «Первой аналитике» — была изложена силлогистика (система силлогистических умозаключений, или силлогизмов) — главное достижение Аристотеля в логике, от которого идет теория логики, то есть логика как наука.

Приведем один из аристотелевских силлогизмов: «если А приписывается всем Б, а Б — всем В, то А необходимо приписывается всем В», например, если свойство быть живым существом (А) приписывается всем двуногим существам (Б), а свойство двуногости (Б) приписывается всем людям (В), то свойство быть живым существом (А) необходимо приписывается всем людям (В)[10]. Это силлогистическое умозаключение — самая знаменитая форма (модус) силлогизмов: Barbara (латинские названия модусов были придуманы в средние века). Следует обратить внимание на то, что Аристотель выделяет именно форму: силлогизм Barbara — то, что нами выделено разрядкой, это схема умозаключения (дедуктивного вывода, дедукции), а рассуждение, приведенное вслед за этой схемой, есть только пример ее применения.

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

Силлогистика была главным достижением Аристотеля в логике, достижением, принадлежавшим, как можно полагать, ему лично. Она развертывается как аксиоматическая система — о такого рода построении мы будем подробно говорить в последующих главах — и (что самое поразительное!) удовлетворяет, по существу, критериям математической строгости, предъявляемым к современным формализованным системам. Она, таким образом, была более строгой, чем все математические теории античности, например, строже, чем знаменитые «Начала» Эвклида. Известный польский логик XX века Ян Лукасевич говорил по этому поводу: «Силлогистика Аристотеля является системой, точность которой превосходит даже точность математической теории, и в этом ее непреходящее значение»[11]. Удивительно, что этой точности Аристотель достиг, не используя специальную символику, а прибегая лишь к стандартизации обычного (греческого) языка, то есть опираясь в изложении системы на термины с четким смыслом да оперируя буквами греческого алфавита в качестве переменных для тех понятий («живое существо», «двуногое» и т. п.), которые появляются при применениях силлогистических форм.

Следует, правда, отдавать себе отчет в том, что построить такую строгую логическую систему — первую формальную систему в истории наук и, не прибегая к специальному языку знаков, Аристотель смог потому, что его силлогистика описывает лишь часть, причем очень простую, тех логических закономерностей, которым подчиняется мышление и язык. Тем не менее Аристотелева логика[12], как теперь все более начинают осознавать историки математики, оказала большое влияние на древнегреческую математическую мысль. Есть указания на то, что дедуктивный способ построения эллинской геометрии, знаменовавший собой один из важнейших ранних этапов развития математики и оказавший неизмеримое влияние на всю последующую науку (Декарт считал математику образцом для всех наук, Спиноза построил свой знаменитый философский тракт «Этика» по типу «Начал» Эвклида и пр.), не породил аристотелеву логику, как об этом часто писали, а был порожден развитием логики, в одном из своих фрагментов получившей столь завершенную трактовку у Аристотеля. Много раньше, чем цепочки безукоризненных по форме силлогизмов, начинающихся на недоказываемых положениях и кончающихся на утверждениях доказываемых, стали относиться к линиям и фигурам, они широко использовались в применении к самым различным объектам в бесчисленных словесных «упражнениях», подобных тем, к которым призывал Сократа Парменид. Вот что говорит об этом наш современник венгерский математик и логик Ласло Кальмар: «Большинство математиков, включая некоторых историков математики, считают, что дедуктивный способ вывода фактически был изобретен математиками. Однако А. Сабо установил факт сильнейшего влияния элейской диалектической философии на древнегреческую математику, показав, что многие математические понятия, особенно те, которые относятся к дедуктивному методу, берут свое начало в диалектике элеатов... Таким образом, дедуктивный вывод, по-видимому, до математики изобрела философия»