Ян Лукасевич¶

Ян Лукасевич (польск. Jan Łukasiewicz; 21 декабря 1878, Львов — 13 февраля 1956, Дублин) — польский логик, математик и философ, представитель Львовско-варшавской школы. Известен как создатель многозначной логики, бесскобочной (польской) записи логических выражений, а также как один из основоположников современной формальной логики.

¶Биография

¶Ранние годы и образование

Ян Лукасевич родился во Львове, который входил в состав Австро-Венгрии. Его отец, Павел Лукасевич, был военным инженером, участником Январского восстания 1863 года. Мать, Леопольдина (урождённая Хольцер), происходила из семьи австрийских чиновников. В 1897 году Ян окончил гимназию во Львове и поступил на философский факультет Львовского университета, где изучал философию и математику. Среди его учителей были Казимеж Твардовский, основатель Львовско-варшавской школы, и математик Юзеф Пузына.

В 1902 году Лукасевич защитил докторскую диссертацию на тему «Об индукции как методе обоснования» (под руководством Твардовского). В 1906 году он получил хабилитацию, представив работу «О принципе противоречия у Аристотеля», которая стала основой его последующих исследований в области логики.

¶Академическая карьера

С 1906 года Лукасевич преподавал во Львовском университете в качестве приват-доцента. В 1911 году он стал экстраординарным профессором. В 1915 году, после начала Первой мировой войны, университет был эвакуирован в Вену, где Лукасевич продолжил работу. В 1915 году он переехал в Варшаву, где участвовал в создании Варшавского университета (восстановленного после закрытия в 1831 году). С 1919 года он занимал должность профессора философии в Варшавском университете, а в 1920—1921 годах был ректором этого университета.

В 1919—1920 годах Лукасевич также занимал пост министра религиозных исповеданий и народного просвещения в правительстве Польши, однако его деятельность на этом посту была кратковременной и не принесла значительных результатов.

¶Вторая мировая война и эмиграция

После оккупации Польши нацистской Германией в 1939 году Лукасевич остался в Варшаве. В 1944 году, во время Варшавского восстания, его дом и библиотека были уничтожены. После войны он не смог вернуться к преподаванию в Польше из-за установления коммунистического режима. В 1946 году он эмигрировал в Бельгию, а затем в Ирландию. С 1946 года и до конца жизни он работал профессором математической логики в Королевском университете Ирландии в Дублине. Умер 13 февраля 1956 года в Дублине.

¶Научный вклад

¶Многозначная логика

Лукасевич является одним из создателей многозначной логики, которая расширяет классическую двузначную логику (истина/ложь) на большее количество истинностных значений. В 1917 году он предложил первую систему трёхзначной логики, в которой, помимо истины и лжи, вводится третье значение — «возможность» (или «нейтральность»). Эта система была формализована в 1920 году в статье «О трёхзначной логике» (польск. O logice trójwartościowej).

Впоследствии Лукасевич разработал общую теорию многозначных логик с произвольным конечным числом значений, а также бесконечнозначную логику. Его работы в этой области заложили основы неклассических логик, которые нашли применение в философии, математике, информатике и искусственном интеллекте.

¶Бесскобочная (польская) запись

Лукасевич предложил систему записи логических выражений без использования скобок, известную как польская нотация или бесскобочная запись. В этой системе логические операторы записываются перед операндами (префиксная запись), что позволяет однозначно интерпретировать выражения без скобок. Например, выражение «p и q» записывается как «Kpq», а «p или q» — как «Apq». Эта система была впервые опубликована в 1929 году в статье «Элементы математической логики» (польск. Elementy logiki matematycznej).

Польская нотация оказала влияние на развитие компьютерных языков программирования, в частности, на язык Lisp, где используется префиксная запись. Она также используется в некоторых областях математики и логики для упрощения записи сложных выражений.

¶Логика Аристотеля и силлогистика

Лукасевич внёс значительный вклад в изучение логики Аристотеля. В 1951 году он опубликовал монографию «Аристотелевская силлогистика с точки зрения современной формальной логики» (англ. Aristotle's Syllogistic from the Standpoint of Modern Formal Logic), в которой реконструировал силлогистику Аристотеля в рамках современной формальной логики. Он показал, что силлогистика может быть интерпретирована как часть исчисления предикатов, и выявил её логические свойства.

¶Исчисление высказываний

Лукасевич разработал аксиоматизацию исчисления высказываний, основанную на трёх аксиомах и правиле modus ponens. Эта система, известная как система аксиом Лукасевича, является одной из наиболее простых и элегантных аксиоматизаций классической логики высказываний. Она была опубликована в 1929 году.

¶Модальная логика

Лукасевич также занимался модальной логикой, изучающей понятия необходимости и возможности. Он предложил интерпретацию модальных операторов в рамках многозначной логики, что отличалось от традиционного подхода, основанного на двузначной логике. Его работы в этой области повлияли на развитие модальной логики в XX веке.

¶Философские взгляды

Лукасевич был последователем логического эмпиризма и антипсихологизма в логике. Он считал, что логика является формальной наукой, независимой от психологии и эмпирического опыта. В своих философских работах он критиковал метафизику и утверждал, что логика должна быть основой для всех наук. Он также придерживался взглядов, близких к номинализму, и отрицал существование универсалий.

¶Влияние и наследие

Работы Лукасевича оказали глубокое влияние на развитие логики, математики и информатики. Его многозначная логика стала основой для нечёткой логики, разработанной Лотфи Заде в 1960-х годах, которая широко используется в системах управления, искусственном интеллекте и обработке данных. Польская нотация применяется в некоторых областях компьютерных наук, включая компиляторы и интерпретаторы.

Лукасевич также оказал влияние на философию науки, особенно на работы Карла Поппера и Альфреда Тарского. Его учениками были такие известные логики, как Станислав Лесьневский и Альфред Тарский.

¶Основные труды

• «О принципе противоречия у Аристотеля» (1910)
• «О трёхзначной логике» (1920)
• «Элементы математической логики» (1929)
• «Аристотелевская силлогистика с точки зрения современной формальной логики» (1951)

¶Источники

• Я. Лукасевич. «Аристотелевская силлогистика с точки зрения современной формальной логики». — М.: Издательство иностранной литературы, 1959.
• С. К. Клини. «Введение в метаматематику». — М.: Издательство иностранной литературы, 1957.
• В. А. Смирнов. «Логические системы Яна Лукасевича» // Вопросы философии, 1965, № 12.
• J. Woleński. «Jan Łukasiewicz: Life and Work». — Dordrecht: Springer, 2004.