Ян Лукасевич ( польский : [ˈjan wukaˈɕɛvit͡ʂ] ; 21 декабря 1878 - 13 февраля 1956) был польским логиком и философом , который наиболее известен своими польскими обозначениями и логикой Лукасевича . [1] Его работа была сосредоточена на философской логике , математической логике и истории логики . [2] Он новаторски мыслил о традиционной логике высказываний , принципе непротиворечия и законе исключенного третьего , предлагая одну из самых ранних систем многозначной логики . Современные исследования аристотелевской логики также основаны на новаторских работах Лукасевича, который применил методы современной логики к формализации силлогистики Аристотеля . [3]
Подход Лукасевича получил новое развитие в начале 1970-х годов в серии статей Джона Коркорана и Тимоти Смайли , которые послужили основой для современных переводов книги Prior Analytics Робина Смита в 1989 году и Гизелы Страйкер в 2009 году. [4] Лукасевич считается одним из наиболее важных историки логики.
Он родился в Лемберге в Австро-Венгрии (ныне Львов , Украина ; польский : Lwów ) и был единственным ребенком Павла Лукасевича, капитана австрийской армии, и Леопольдины, урожденной Хольцер, дочери государственного служащего. Его семья была католической . [ нужна цитата ]
Он закончил гимназию по филологическому факультету и в 1897 году поступил в Лембергский университет , где изучал философию и математику. Он был учеником философа Казимира Твардовского . [5]
В 1902 году он получил степень доктора философии под патронажем императора Австрии Франца Иосифа I , который подарил ему специальное докторское кольцо с бриллиантами. [6]
Он проработал три года частным преподавателем, а в 1905 году получил стипендию для завершения изучения философии в Берлинском университете и Лувенском университете в Бельгии. [6]
Лукасевич продолжил обучение для получения докторской степени и в 1906 году подал диссертацию в Лембергский университет. В том же году он был назначен преподавателем в Лембергском университете, где в конечном итоге император Франц Иосиф I назначил его экстраординарным профессором. Он преподавал там до Первой мировой войны . [6]
В 1915 году его пригласили читать лекции в качестве профессора в Варшавском университете , который немецкие оккупационные власти вновь открыли после того, как он был закрыт царским правительством в XIX веке. [6]
В 1919 году Лукасевич покинул университет и до 1920 года занимал должность польского министра по делам религиозных конфессий и народного образования в правительстве Падеревского . Лукасевич руководил разработкой польской учебной программы, заменяющей российские, немецкие и австрийские учебные программы, которые использовались в разделенной Польше. В учебной программе Лукасевича особое внимание уделялось раннему усвоению логических и математических концепций. [ нужна цитата ]
В 1928 году он женился на Регине Барвинской. [6]
Он оставался профессором Варшавского университета с 1920 по 1939 год, когда семейный дом был разрушен немецкими бомбами, а университет был закрыт из-за немецкой оккупации. Он дважды был ректором университета, во время которых Лукасевич и Станислав Лесневский основали Львовско-Варшавскую школу логики , которая позже прославилась на международном уровне благодаря Альфреду Тарскому , который был учеником Лесневского.
В начале Второй мировой войны работал в Варшавском подземном университете . После того как нацистские оккупационные власти закрыли университет, он зарабатывал на скудную жизнь в городском архиве Варшавы. Ему также помогла дружба с Генрихом Шольцем (немецким профессором математической логики), и именно Шольц организовал переезд семьи Лукасевичей в Германию в 1944 году (Лукасевич опасался наступления Красной Армии). Ян Лукасевич и его жена хотели переехать в Швейцарию , но не смогли получить разрешения от властей Германии. Таким образом, они провели последние месяцы войны в Мюнстере , Германия. После окончания войны, не желая возвращаться в Польшу, контролируемую Советским Союзом, они сначала переехали в Бельгию, где Лукасевич преподавал логику во временном Польском научном институте. [6]
В феврале 1946 года по приглашению ирландского политического лидера Иамона де Валеры Лукасевич и его жена переехали в Дублин, где оставались до его смерти десять лет спустя. В Ирландии он некоторое время работал профессором математической логики в Королевской ирландской академии (должность, созданная для него). В его обязанности входило частое чтение публичных лекций. [7]
В этот период его книга «Элементы математической логики» была опубликована на английском языке издательством Макмиллан (1963, перевод с польского Ольгерда Войтасевича).
Ян Лукасевич умер 13 февраля 1956 года. Он был похоронен на кладбище Маунт-Джером в Дублине. По настоянию армянской общины Польши его останки были репатриированы в Польшу 66 лет спустя. Он был перезахоронен 22 ноября 2022 года на Старом Повонзком кладбище в Варшаве . [8]
С октября по декабрь 2022 года в Ирландской королевской академии в Дублине прошла выставка, посвященная его жизни и творчеству. [9]
Документы Лукасевича (после 1945 г.) хранятся в библиотеке Манчестерского университета .
Ряд аксиоматизаций классической логики высказываний принадлежит Лукасевичу. Особенно элегантная аксиоматизация включает всего три аксиомы и используется до сих пор. Он был пионером в области исследования многозначной логики ; его трехзначное исчисление высказываний , представленное в 1917 году, было первым явно аксиоматизированным неклассическим логическим исчислением . Он писал о философии науки , и его подход к созданию научных теорий был подобен мышлению Карла Поппера .
Лукасевич изобрел польскую систему обозначений (названную в честь его национальности) для логических связок примерно в 1920 году. Цитата из статьи Яна Лукасевича 1931 года [10] : 367, сноска 3) [11] : 180, сноска 3) показывает, как используются обозначения было изобретено:
Идея обозначения без скобок пришла ко мне в 1924 году. Впервые я использовал это обозначение в своей статье Лукасевич (1), с. 610, сноска.
Ссылка, цитируемая Лукасевичем, т.е. Лукасевич (1), [12], по-видимому, представляет собой литографированный отчет на польском языке . Соответствующая статья Лукасевича [10] была рецензирована Генри А. Погожельским в Журнале символической логики в 1965 году. [13]
В книге Лукасевича 1951 года « Силлогистика Аристотеля с точки зрения современной формальной логики» он упоминает, что принцип его обозначений заключался в написании функторов перед аргументами, чтобы избежать скобок (т. е. круглых скобок), и что он использовал свои обозначения в своих логических статьях. с 1929 года. [3] : 78 Затем он приводит, в качестве примера, статью 1930 года, написанную им вместе с Альфредом Тарским, об исчислении предложений . [14]
Эта нотация является корнем идеи рекурсивного стека , хранилища компьютерной памяти «последний пришел — первый обслужен», предложенного несколькими исследователями, включая Тьюринга , Бауэра и Хэмблина , и впервые реализованного в 1957 году. В 1960 году концепции нотации и стеки Лукасевича были использовался в качестве основы компьютера Burroughs B5000 , разработанного Робертом С. Бартоном и его командой в корпорации Burroughs в Пасадене, Калифорния . Эти концепции также привели к созданию в 1963 году многопрограммной компьютерной системы English Electric KDF9 , которая имела два таких стека аппаратных регистров. Подобная концепция лежит в основе обратной польской нотации ( RPN , постфиксная нотация) калькулятора Friden EC-130 и его преемников, многих калькуляторов Hewlett-Packard , языков программирования Lisp и Forth , а также языка описания страниц PostScript .
В 2008 году Польское общество обработки информации учредило Премию Яна Лукасевича, которая вручается самым инновационным польским ИТ-компаниям. [15]
С 1999 по 2004 год здание факультета компьютерных наук UCD называлось зданием Лукасевича, пока все здания кампуса не были переименованы в честь дисциплин, в которых они размещались.
Его модель трехзначной логики позволила сформулировать троичную логику Клини и метамодель эмпиризма, математики и логики, т. е. троичную логику. [16]