9. Итоги своей работы Лукасевич подвел в прощальной лекции 7 марта 1918 г.: "В 1910 г. я издал книгу о принципе противоречия у Аристотеля, в которой пытался показать, что этот принцип не так очевиден, каким считается. Уже тогда я стремился создать не-аристотелевскую логику, но безуспешно" [Лукасевич 2012a: 211]. А в самом начале речи Лукасевич говорит о принуждении, которое "началось с момента возникновения логики Аристотеля и геометрии Эвклида", и продолжает: "Я доказывал, что кроме истинных и ложных предложений существуют возможные предложения, которым соответствует объективная возможность как нечто третье наряду с бытием и небытием. Так возникла система трехзначной логики, которую я подробно разработал прошлым летом. Эта система сама по себе так же связна и последовательна, как и логика Аристотеля, а богатством законов и формул намного ее превышает".
Обратим внимание на то, что здесь ничего не сказано об опровержении принципа противоречия. К этому вопросу Лукасевич вынужден будет вернуться через два года в статье, где впервые будет сформулирована трехзначная логика (см. [Лукасевич 2012b]). Самым очевидным образом в этой логике не проходят ни принцип противоречия, ни принцип исключенного третьего, поскольку при приписывании переменной a истинностного значения "возможность", промежуточного между "истиной" и "ложью" – эти принципы принимают значение "возможность", а не "истина". Поэтому Лукасевич называет их всего лишь "возможными". Finis.
10. Необычность ситуации состоит в том, что впервые в мире построена трехзначная логика (обозначим ее посредством Ł3), в которой опровергнуты два главных "основных законов мышления" (поскольку они не являются истинными!), и Лукасевич это никак не комментирует, хотя прошло всего десять лет со времени публикации его книги "О принципе противоречия у Аристотеля". Кстати, после "Прощальной лекции" Лукасевич больше нигде не вспоминает о своей первой книге: ни в статьях по истории логики, ни в своей знаменитой книге об аристотелевской силлогистике [Лукасевич 1959]. Можно подумать, что Лукасевич отказался вести провозглашенную им борьбу "за освобождение человеческого духа" от логического принуждения (этими словами заканчивается "Прощальная лекция"). На самом деле ничего подобного, настоящая борьба только начинается, но что принципиально важно – сместились акценты. Теперь Аристотель не ниспровергается, напротив, у Аристотеля Лукасевич ищет опору для опровержения другого фундаментального логического принципа – принципа бивалентности (см. ниже). Именно этот принцип он ставит на уровень пятого постулата Евклида.
Как пишет Е. Слупецкий в предисловии к собранию избранных работ Лукасевича: "… проблема, которая интересовала Лукасевича больше всего почти всю жизнь и которую он стремился разрешить, прилагая необычайные усилия и страсть – была проблема детерминизма. Она вдохновила его на совершенно изумительную идею многозначных логик" [Slupecki 1970: vii]. Уже ранние, довольно объемистые, работы Лукасевича посвящены анализу понятий причинности [Lukasiewicz 1906] и вероятности [Lukasiewicz 1913]. Однако только в статье "О детерминизме", которая является одной из вершин философствования на эту тему, Лукасевичу удалось дать строгую формулировку и решение глубоких философских проблем, которые возрождаются все вновь и вновь.
11. Лукасевич исходит из знаменитой 9-ой главы трактата Аристотеля "Об истолковании", где впервые формулируется фаталистический аргумент (см. ниже раздел 14) и обсуждается проблема логического статуса высказываний о будущих случайных событиях на примере завтрашнего морского сражения. По всем этим вопросам Аристотель предлагает свое решение. Любопытно, что в начале статьи Лукасевич заявляет по поводу принципа противоречия: "Этого важного принципа, который Аристотель, а за ним многие мыслители считают глубочайшей опорой нашего мышления, мы не будем далее касаться" (курсив наш. – А.К.) Анализируя попытку Аристотеля опровергнуть свой собственный фаталистический аргумент, Лукасевич приходит к выводу, что "Рассуждение Аристотеля подрывает не столько принцип исключенного третьего, сколько основы одного из глубочайших принципов всей нашей логики, который в конечном счете он сам первым и провозгласил, а именно, что каждое предложение является либо истинным, либо ложным, т. е. оно может принимать одно и только одно из двух логических значений – истинность или ложность. Этот принцип мы называем принципом бивалентности ‹…›. Он не может быть доказан именно потому, что лежит в основании логики. В этот принцип можно только поверить и поверит в него тот, кому он покажется очевидным. Лично мне он не кажется очевидным. Поэтому мне позволительно этот принцип не принять и признать, что наряду с истинностью и ложностью существуют и другие логические значения, по крайней мере, еще одно – третье логическое значение" (см. настоящее издание, с. 233). И далее: "Вводя в логику это третье значение, мы изменяем ее основания. Трехзначная система логики… отличается от обычной известной до сих пор двузначной логики не в меньшей степени, чем неевклидовы системы геометрии отличаются от евклидовой геометрии" (курсив наш. – А.К.)
Как минимум еще четыре раза Лукасевич ставит свое открытие трехзначной логики на уровень создания неевклидовых геометрий. В курсе лекций "Элементы математической логики" мы находим следующее утверждение: "Отношение многозначных логик к двузначной логике напоминает отношение неевклидовой геометрии к геометрии Евклида" [Lukasiewicz 1929: 69]. А в следующем году, обсуждая философское значение многозначных систем пропозициональной логики, в том числе трехзначную модальную логику, построенную на основе Ł3, Лукасевич говорит: "Мне кажется, что философское значение систем логики, рассмотренных здесь, может быть, по крайней мере, так же высоко, как значение неевклидовых систем геометрии" [Lukasiewicz 1930/1970: 176]. Это было подтверждено в 1937 г. в статье "В защиту логистики": "… с существованием систем многозначной логики мы должны сегодня считаться в такой же степени, как, например, с существованием систем неевклидовой геометрии" [Лукасевич 1999: 229]). Наконец, это же было провозглашено на международной конференции "Основания и методы математических наук", состоявшейся в Цюрихе в 1938 г.: "Эти различные формы многозначной пропозициональной логики находятся более или менее в том же самом отношении к классическому двузначному пропозициональному исчислению, как различные системы неевклидовой геометрии находятся к евклидовой" (см. [Łukasiewicz 1941/1970: 293]).