Ян Лукасевич - О принципе противоречия у Аристотеля. Критическое исследование

Во время II мировой войны Лукасевич работал в магистрате, принимал участие в работе подпольного университета. В июле 1944 г. при поддержке ксендза Яна Саламухи, Болеслава Собецкого и Генриха Шольца Лукасевич оставил Варшаву и жил нелегально у Шольца в Мюнстере (Вестфалия) до прихода союзных армий. Не желая принимать новую политическую систему, установленную в Польше, в 1946 г. Лукасевич уехал в Брюссель, где получил приглашение возглавить кафедру математической логики в Королевской Ирландской Академии в Дублине. Он преподавал в университетском колледже в Дублине, в королевском университете Белфаста и в университете Манчестера.

В г. Дублине 13 февраля 1956 г. Ян Леопольд Лукасевич скончался от сердечного приступа.

В ректорской речи, произнесенной на торжественном открытии 1922-23 учебного года в Варшавском университете, Лукасевич объявил следующую программу действий: «Философию нужно перестроить, начиная с оснований, вдохнуть в нее научный метод и подкрепить ее новой логикой» [8: 217]. А в 1928 г. он заявил: «Одной из причин ненаучности философии, как кажется, является пренебрежение современными философами логикой» [9: 263]. Целью самих философских логических исследований Лукасевич считал прежде всего разработку точных методов анализа философских понятий и рассуждений. Именно такие методы призваны обеспечить конструктивность и однозначность понятий, которыми оперирует философия, тем самым сближая философию с наукой. В основании философии может быть положена «научная метафизика» или общая теория предметов, но не эпистемология в духе Р. Декарта или И. Канта, ибо такой путь, по мнению Лукасевича, ведёт в тупик. Выход из тупика – в применении логической методологии, позволяющей свести к минимуму число исходных философских понятий, обладающих очевидностью и интуитивной ясностью, чтобы затем через них строго определять философские понятия «пространственно-временной структуры мира», «причинности», «детерминизма», «индетерминизма» и др. Таким образом, логика дает методологический образец для философии, в частности, дедуктивно-аксиоматический метод. Этому посвящена статья Лукасевича 1936 г. «Логистика и философия» [10]. Он весьма скептически относился к попыткам построения всеобъемлющих философских систем. Критикуя психологизм [17]и априоризм в логике, Лукасевич выдвигает идею логического плюрализма: различные логические системы способны эксплицировать различные онтологические теории. Например, классическая двузначная логика эксплицирует принцип «жёсткого» детерминизма в философском и научном мышлении, тогда как переход к многозначным логикам позволяет проводить корректные «индетерминистские» рассуждения.

Основные результаты Лукасевича лежат в области математической логики. Ему принадлежат элегантные аксиоматизации классической пропозициональной логики посредством трех аксиом (см., например, [20]) [18], им найдена наиболее короткая аксиома для аксиоматизации импликативного фрагмента классической логики, дана аксиоматизация эквациональной логики, впервые представлена аксиоматизация трехзначной логики Гейтинга (первая матрица Яськовского). В 1953 г. им построена оригинальная четырехзначная модальная логика, вызывающая интерес по сей день (см. [15]). Лукасевич первым ввел понятие отбрасывания невыводимых высказываний, сформулировав соответствующие аксиомы и само правило отбрасывания, а позднее применил это в исследованиях по силлогистике Аристотеля. Используя современную логическую технику, Лукасевич реконструировал идеи античной и средневековой логики, что привело к переоценке и переосмыслению этого наследия. Он открыл, что уже ранние стоики явились создателями логики высказываний, но особенно важной оказалась книга Лукасевича об аристотелевской силлогистике, теория которой была подвергнута реконструкции и формализации [11] (первый вариант книги издан в 1951 г.)

Однако главной задачей, которой Лукасевич посвятил всю свою жизнь, стала «борьба за освобождение человеческого духа» [6], причем, значительная роль в этом отводилась созданию новой логики. Всемирную известность принесло Лукасевичу построение первой системы многозначной логики в 1920 г., ее обобщение на произвольный конечнозначный случай в 1922/1923 гг. и в итоге построение в 1929 г. бесконечнозначной логики (см. подробно об этом в [3]). В 1930 г. Лукасевич совместно с А. Тарским [20] [19]подвел итоги исследованию многозначных логик в Львовско-Варшавской школе.