Выбрать главу

8. Возникает вопрос, почему, несмотря на дерзкий характер книги, революция в логике так и не состоялась? Как это ни странно, но Лукасевич почувствовал, что объект, исходный материал, основание переворота, т. е. сам принцип противоречия оказался слишком сложным для этой цели[38]. Показательно, что в ходе написания книги отрицательное отношение Лукасевича к принципу противоречия постепенно смягчается и критика направляется не столько на принцип противоречия, сколько на его абсолютизацию Аристотелем. Отвергая логическую ценность этого принципа, Лукасевич, тем не менее, считает, что он «имеет важную практически-этическую ценность, будучи единственной защитой против ошибок и лжи и поэтому мы должны его признавать» (курсив наш. – А.К.). Этим неожиданным признанием и заканчивается книга, изобилующая довольно-таки тонкими хитросплетениями аналитической мысли, показавшая высочайшую эрудицию Лукасевича в различных областях философии, логики, математики и сделавшая его знаменитым.

Книга «О принципе противоречия у Аристотеля» оказала значительное влияние на развитие логико-философской мысли в Польше. По словам Я. Воленьского: «Как исторический труд книга обрела громадное признание у всех, кто занимался логикой и метафизикой Аристотеля и был склонен к знакомству с книгой Лукасевича» [Woleński 1987: XLIII]. С. Лесьневский считает книгу Лукасевича одной из самых интересных и оригинальных в известной ему философской литературе [Лесьневский 1913: 2][39]. Однако Лесьневский критикует Лукасевича и сильно расходится во взглядах на существование или не существование противоречивых предметов. Если Лукасевич, следуя Мейнонгу, допускает их, что дает ему основание для отрицания онтологического принципа противоречия, то Лесьневский категоричен: «каждый предмет не заключает в себе противоречия» (с. 54). Как считает Лесьневский, это следует из предложенного им доказательства онтологического принципа противоречия.

В работе [Воленьский 2004: 99] приводится более позднее воспоминание С. Лесьневского (1927 г.): «В 1911 году мне попала в руки книга г. Лукасевича о принципе противоречия у Аристотеля. Из этой книги, которая в свое время оказала значительное влияние на интеллектуальное развитие ряда польских “философов” и “философствующих” ученых моего поколения, а для меня лично оказалась откровением во многих отношениях, я впервые узнал о существовании “символической логики” м-ра Бертрана Рассела и его “антиномии”, связанной с классом классов, не являющихся собственными элементами». Стоит также отметить, что во время написания книги у Лукасевича еще не было четкого разделения логики от металогики, но в своем учебнике по математической логике он указывает на исключительную значимость металогического «принципа непротиворечивости»[40] для самой логики [Łukasiewicz 1929/1963: 67-68].

Надо сказать, что в дальнейшем отношение Лукасевича к принципу противоречия постоянно изменяется, это наполняет его жизнь неким драматизмом и влияет на развитие логических взглядов.

Теперь мы подходим к главному научному открытию Лукасевича – созданию первой в мире системы трехзначной логики, которая имеет прямое отношение к статусу законов противоречия и исключенного третьего. Что касается иногда обсуждаемого вопроса о возможности появления многозначной логики в книге «О принципе противоречия у Аристотеля», то мы констатируем, что для этого нет никаких оснований. Напротив, Лукасевич в гл. IV однозначно говорит: «…нельзя принять, что существуют постепенные различия в истинности и ложности […]. Разве, что пришлось бы изменить дефиницию истинного суждения, желая признать существование более или менее истинных суждений». Однако развитие многозначной логики, инициированное чуть позже самим Лукасевичем, пошло именно по этому пути[41].

9. Итоги своей работы Лукасевич подвел в прощальной лекции 7 марта 1918 г.: «В 1910 г. я издал книгу о принципе противоречия у Аристотеля, в которой пытался показать, что этот принцип не так очевиден, каким считается. Уже тогда я стремился создать не-аристотелевскую логику, но безуспешно» [Лукасевич 2012a: 211]. А в самом начале речи Лукасевич говорит о принуждении, которое «началось с момента возникновения логики Аристотеля и геометрии Эвклида», и продолжает: «Я доказывал, что кроме истинных и ложных предложений существуют возможные предложения, которым соответствует объективная возможность как нечто третье наряду с бытием и небытием. Так возникла система трехзначной логики, которую я подробно разработал прошлым летом. Эта система сама по себе так же связна и последовательна, как и логика Аристотеля, а богатством законов и формул намного ее превышает»[42].

вернуться

38

На самом деле для этого еще не пришло время, поскольку логическая техника не было достаточно развита и осмыслена, чтобы уметь работать с противоречиями. Только в 1948 г., другим выдающимся представителем Львовско-Варшавской школы, а именно С. Яськовским, была сконструирована первая система паранепротиворечивой логики (см. английский перевод в [Jaskowski 1967]).

вернуться

39

Данная статья является переводом Лесьневским своей работы из “Przegląnd filozoficzny», № 2 за 1912 год. Как сказано в предисловии, при переводе с польского эта работа подверглась «дополнениям и иным изменениям».

вернуться

40

В современной формулировке это звучит так: не существует формулы A такой, чтобы A и A были теоремами.

вернуться

41

В 1930 г. Лукасевич совместно с А. Тарским дает строгое определение понятия логической матрицы, которое обобщается на случай для многозначной логики [Łukasiewicz 1930/1970: 141]. В последующем истинностные значения многозначных логик зачастую стали интерпретироваться как степени истинности.

вернуться

42

Стоит отметить, что уже в 1913 г. в статье о логических основаниях теории вероятностей Лукасевич вводит понятие «неопределенных высказываний, которые ни истинны и ни ложны» [Łukasiewicz 1913/1970: 38]. Об истории введения в логику третьего истинностного значения в польской школе логиков см. [Woleński 2001]. Интересно, что до сих пор идет дискуссия, является ли Н.А. Васильев одним из создателей трехзначной логики, введя деление суждений “по качеству” на утвердительные, отрицательные и индифферентные (см., например, [Бирюков и Шуранов 1998]), что позволило ему сформулировать принцип исключенного четвертого относительно таких суждений. У Лукасевича также наблюдается новое деление суждений, но это деление проводится “по типу” истинностных значений: истинные, ложные и возможные (неопределенные), что и привело к созданию трехзначной логики. У Васильева нет и намека на введение нового истинностного значения. Поэтому правильней было бы говорить о многомерных логиках (n-мерных) логиках Васильева, что и было проделано В.А. Смирновым (см. [Смирнов 1993]).