Избранные труды

Уже в древнегреческой логике были обнаружены такие умозаключения, которые никак не укладывались в схемы аристотелевой силлогистики. Например: «В равно С, А равно В, след. А равно С» или «Петр жил позже Алексея, Алексей жил позже Михаила, след. Петр жил позже Михаила». Сюда же относили умозаключения типа «А причина В, В причина С, след. А причина С». Характерно, что уже стоики называли их «не дающими вывод по методу» [Лукасевич, 1959, с. 51]. Попыток представить эти умозаключения в такой форме, которая соответствовала бы схемам аристотелевой логики, было исключительно много, однако ни одна из них не удалась¹⁴.

_____________________________________________________

¹⁴ Краткий обзор и критика наиболее существенных из этих попыток даны в книге С.И.Поварнина [Поварнин, 1921]. В другом месте в этой же книге, оценивая возможности аристотелевой логики, С.И.Поварнин пишет: «Обычно в учебниках и руководствах логики до сих пор излагается старинное, дошедшее к нам из прошлых веков учение об умозаключениях в виде категорических, условных и разделительных силлогизмов. Но оно давно и с разных сторон не удовлетворяет многих логиков. Самый важный недостаток его тот, что оно не может объяснить множества умозаключений, несомненно играющих огромную роль в мышлении и в познании. Подобные умозаключения принято называть несиллогистическими или внесиллогистическими... и таких несиллогистических умозаключений очень много... Подобные умозаключения настолько важны для мышления, что по мнению некоторых исследователей "именно этими-то умозаключениями движется вперед наука" (Бенеке)» [Поварнин, 1921, с. 31-33].

Конец страницы 30

Начало страницы 31

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

Представители логики отношений понимали, что их теория охватывает новые области мышления¹⁵, но им в то же время казалось, что это расширение и эта спецификация предмета последние и что теперь в новой логической теории охвачены все возможные виды предложений и умозаключений¹⁶. Однако на деле это оказалось совсем не так, и процесс выделения новых разделов логики, соответствующих мышлению с особыми видами «техники», на выделении логики отношений не закончился. В частности, в самое последнее время (1953-1960) А.А.Зиновьев исследовал особенности строения знаний о связях и построил простейшее логическое исчисление соответствующих предложений [Зиновьев, 1959 а, 1960 b, с]

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

_________________________________________

¹⁵ «Логические правила в понимании логиков XIX-XX вв. не были простым повторением или разъяснением правил логики Аристотеля, — пишет В.Ф.Асмус, — они представляли, с одной стороны, расширение области логических объектов, а с другой — уточнение логической характеристики этих объектов» [Асмус, 1948, с. 10]. Р.Карнап в одной из своих программных статей писал: «Новая логика отличается от старой не только формой изображения, но прежде всего распространением на другие области. Важнейшей новой областью логики является теория предложений об отношении...» [Сагпар, 1930-31, с. 16]. В той же работе, оценивая старую аристотелеву логику, Р.Карнап замечает: «Косвенной формой предложений (суждений) в старой логике была предикативная форма "Сократ есть человек", "все (или некоторые) греки — люди". Здесь понятию субъекта приписывается понятие предиката, какое-то качество. Уже Лейбниц выставил требование, что логика должна учитывать также и предложения формы отношений... Старая логика понимала предложение отношений тоже как предложения предикативной формы. Но благодаря этому стали невозможными многие выводы между предложениями об отношениях, которые для науки были необходимы. Конечно, можно интерпретировать, например, предложение "а больше чем b" так: субъекту а приписывается предикат "больше чем b". Но тогда этот предикат образует единство и нет возможности извлечь b по каким-либо правилам вывода. Поэтому нельзя заключить из названного предложения к предложению "меньше чем а"» [Саrnaр, 1930-31, с. 16-17].

¹⁶ Вот, например, характерное замечание В.Ф.Асмуса: «Аристотелевская логика все суждения сводила в последней инстанции к атрибутивным суждениям. Логика отношений охватывает не только атрибутивные, но и все возможные другие виды отношений» [Асмус, 1948, с. 28].

Конец страницы 31

Начало страницы 32