Борис Бирюков - Жар холодных числ и пафос бесстрастной логики
Сравним эту научную методику с современной. Ее идеал хорошо передан упоминавшимися выше словами Канта; во всяком случае для переработки, сохранения и передачи научной информации мы считаем теперь чрезвычайно полезной если не математическую, то уж во вся ком случае четко разработанную символику. Употребляя принятые в наше время обороты, можно сказать, что наука все более обрастает формализованными языками, источником которых большей частью является математика. Иногда такие языки, в отличие от обычных разговорных, «естественных» языков, называют «искусственными», однако такое противопоставление не очень убедительно. Иллюзия «искусственности» языка математики возникает из-за того, что, как мы хорошо знаем, некоторые великие ученые (например, Лейбниц) вносили определенные усовершенствования в математический язык, иногда очень существенные. Но ведь великие поэты тоже совершенствовали родной язык, изобретали новые слова, речевые обороты, а в отдельных случаях оказывали огромное влияние на процесс преобразования всего языкового стиля. Можем ли мы на этом основании назвать русский, или английский, или немецкий, или китайский язык «сделанным»? Конечно, нет, и здесь можно повторить все то, что мы говорили о «стихийном» создании формальных логических правил. Язык математики создавался на протяжении тысяч лет. Его формирование подчинялось не капризам или фантазиям отдельных математиков. а не зависящим от отдельных людей факторам. Если бы Франсуа Виет не ввел буквенные обозначения для величин в уравнениях алгебры, их ввел бы кто-то другой. Если бы не было Ньютона, дифференциальное и интегральное исчисление все равно бы возникло и при этом примерно в то же самое время; здесь мы даже можем сказать, кто был бы тогда его единоличным создателем — Лейбниц. И так обстоит дело в любой отрасли математики — как в области ее идей. так и в ее языке. Новое достижение появляется (и даже облачается во вполне определенную форму) тогда, когда приходит для этого время, когда перед этим оно «носится в воздухе».
Язык математики ценен для науки не потому, что он изобретен искусственно, а потому, что он не обладает теми свойствами обычного языка, которые делают его мало приспособленным для научного использования, и обладает такими свойствами, которые очень ценны для развития науки. Естественный язык, сложившийся в историческом процессе как коммуникативное и информативное средство, сугубо модален и эмоционален. Он великолепно приспособлен для передачи внутреннего состояния человека, для воздействия на других людей путем возбуждения в них соответствующих чувств, но мало пригоден для точного, бесстрастного научного анализа, поскольку его элементы не обладают однозначностью смысла, имеют массу трудноуловимых оттенков, поскольку в нем имеются омонимичные выражения, а его слова меняют свое значение со временем, иногда приобретая прямо противоположный смысл. Короче, естественный язык не подходит для точных и аналитических наук как средство исследования из-за его слабой формализованности.
Так что же оставалось делать Платону или элеатам? Использовать тот примитивный математический язык, который существовал в их время? Он был слишком маломощен для тех серьезных целей, которые ставили перед собой эти философы: они ведь стремились исследовать основные проблемы бытия и духа. И они нашли выход: в обычном человеческом мышлении и его выражении — естественном языке (в целом неподходящем для их серьезных задач) они отыскали такую часть, бесстрастную и однозначно действующую, которая нужна для их целей, логику. Эта часть мышления и языка, хотя она и не была формализован а, то есть представлена с помощью какой-либо символики, тем не менее была достаточно надежна, поскольку состояла из правил — схем, форм рассуждений, фактически всегда присутствующих в мышлении и языке (отсюда прилагательное «формальная» в термине «формальная логика»). Учитывая это, можно сказать, что работы Платона (и других эллинских мыслителей того же ранга) удовлетворяют «критерию научности» Канта в том смысле, что проведены они с помощью схематизма (формализма) логики, употребляемого как инструмент научного исследования. Для строгого согласия с Кантом, правда, нужно признать этот формализм принадлежащим математике. Допущение, что в логических (то есть мыслительных, относящихся к рассуждениям) формах обычного языка с древнейших времен был заложен математический аппарат, ещё недавно показалось бы странным. Однако сейчас, в эпоху великого соединения математики и логики, это уже не удивляет.
Здесь мы должны, наконец, сказать об Аристотеле. В чем состоял его вклад, если логические схемы — правила рассуждений (во многом, во всяком случае) — были выделены до него? Прежде всего в том, что он их систематически описал в серии трудов, составляющих знаменитый «Органон»[9]. В важнейшем из этих трудов — «Первой аналитике» — была изложена силлогистика (система силлогистических умозаключений, или силлогизмов) — главное достижение Аристотеля в логике, от которого идет теория логики, то есть логика как наука.
Приведем один из аристотелевских силлогизмов: «если А приписывается всем Б, а Б — всем В, то А необходимо приписывается всем В», например, если свойство быть живым существом (А) приписывается всем двуногим существам (Б), а свойство двуногости (Б) приписывается всем людям (В), то свойство быть живым существом (А) необходимо приписывается всем людям (В)[10]. Это силлогистическое умозаключение — самая знаменитая форма (модус) силлогизмов: Barbara (латинские названия модусов были придуманы в средние века). Следует обратить внимание на то, что Аристотель выделяет именно форму: силлогизм Barbara — то, что нами выделено разрядкой, это схема умозаключения (дедуктивного вывода, дедукции), а рассуждение, приведенное вслед за этой схемой, есть только пример ее применения.
Здесь мы ясно видим тот гигантский шаг вперед, который делает Аристотель по сравнению с Платоном: у Платона логические правила функционируют только в конкретных рассуждениях, Аристотель же отделяет их от содержания и делает предметом специального исследования. Именно, Аристотель, используя специальную терминологию, создает систему силлогизмов, охватывающую все правильные силлогистические умозаключения, то есть правила силлогистического вывода, позволяющие получать из верных посылок с необходимостью из них вытекающие верные заключения.
Силлогистика была главным достижением Аристотеля в логике, достижением, принадлежавшим, как можно полагать, ему лично. Она развертывается как аксиоматическая система — о такого рода построении мы будем подробно говорить в последующих главах — и (что самое поразительное!) удовлетворяет, по существу, критериям математической строгости, предъявляемым к современным формализованным системам. Она, таким образом, была более строгой, чем все математические теории античности, например, строже, чем знаменитые «Начала» Эвклида. Известный польский логик XX века Ян Лукасевич говорил по этому поводу: «Силлогистика Аристотеля является системой, точность которой превосходит даже точность математической теории, и в этом ее непреходящее значение»[11]. Удивительно, что этой точности Аристотель достиг, не используя специальную символику, а прибегая лишь к стандартизации обычного (греческого) языка, то есть опираясь в изложении системы на термины с четким смыслом да оперируя буквами греческого алфавита в качестве переменных для тех понятий («живое существо», «двуногое» и т. п.), которые появляются при применениях силлогистических форм.
Следует, правда, отдавать себе отчет в том, что построить такую строгую логическую систему — первую формальную систему в истории наук и, не прибегая к специальному языку знаков, Аристотель смог потому, что его силлогистика описывает лишь часть, причем очень простую, тех логических закономерностей, которым подчиняется мышление и язык. Тем не менее Аристотелева логика[12], как теперь все более начинают осознавать историки математики, оказала большое влияние на древнегреческую математическую мысль. Есть указания на то, что дедуктивный способ построения эллинской геометрии, знаменовавший собой один из важнейших ранних этапов развития математики и оказавший неизмеримое влияние на всю последующую науку (Декарт считал математику образцом для всех наук, Спиноза построил свой знаменитый философский тракт «Этика» по типу «Начал» Эвклида и пр.), не породил аристотелеву логику, как об этом часто писали, а был порожден развитием логики, в одном из своих фрагментов получившей столь завершенную трактовку у Аристотеля. Много раньше, чем цепочки безукоризненных по форме силлогизмов, начинающихся на недоказываемых положениях и кончающихся на утверждениях доказываемых, стали относиться к линиям и фигурам, они широко использовались в применении к самым различным объектам в бесчисленных словесных «упражнениях», подобных тем, к которым призывал Сократа Парменид. Вот что говорит об этом наш современник венгерский математик и логик Ласло Кальмар: «Большинство математиков, включая некоторых историков математики, считают, что дедуктивный способ вывода фактически был изобретен математиками. Однако А. Сабо установил факт сильнейшего влияния элейской диалектической философии на древнегреческую математику, показав, что многие математические понятия, особенно те, которые относятся к дедуктивному методу, берут свое начало в диалектике элеатов... Таким образом, дедуктивный вывод, по-видимому, до математики изобрела философия»[13].
![Джон Макдональд - Оставшийся в живых [Меня оставили в живых]](/uploads/posts/books/248375/248375.jpg)
