Ян Лукасевич ( польский: [ˈjan wukaˈɕɛvit͡ʂ] ; 21 декабря 1878 г. – 13 февраля 1956 г.) был польскимлогикомифилософом, который наиболее известенпольской нотациейилогикой Лукасевича.[1] Его работа была сосредоточена нафилософской логике,математической логикеиистории логики.[2] Он новаторски мыслил о традиционнойпропозициональной логике, принципенепротиворечияизаконе исключенного третьего, предлагая одну из самых ранних системмногозначной логикиСовременныеисследованияаристотелевской логикитакже основываются на новаторских работах Лукасевича, который применял методы современнойлогикик формализациисиллогистики Аристотеля.[3]
Подход Лукасевича был возрожден в начале 1970-х годов в серии статей Джона Коркорана и Тимоти Смайли , которые легли в основу современных переводов « Предшествующей аналитики» Робина Смита в 1989 году и Гизелы Страйкер в 2009 году. [4] Лукасевич считается одним из важнейших историков логики.
Он родился в Лемберге в Австро-Венгрии (ныне Львов , Украина ; польский : Lwów ) и был единственным ребенком Павла Лукасевича, капитана австрийской армии, и Леопольдины, урожденной Хольцер, дочери государственного служащего. Его семья была римско-католической . [ необходима цитата ]
Он закончил гимназию по специальности «филология» и в 1897 году поступил в университет Лемберга , где изучал философию и математику. Он был учеником философа Казимира Твардовского . [5]
В 1902 году он получил степень доктора философии под покровительством императора Франца Иосифа I Австрийского , который подарил ему специальный докторский перстень с бриллиантами. [6]
Он проработал три года частным преподавателем, а в 1905 году получил стипендию для завершения обучения философии в Берлинском университете и Лувенском университете в Бельгии. [6]
Лукасевич продолжил обучение для получения степени доктора наук и в 1906 году представил свою диссертацию в Университет Лемберга. В том же году он был назначен преподавателем в Университете Лемберга, где в конечном итоге был назначен императором Францем Иосифом I экстраординарным профессором. Он преподавал там до Первой мировой войны . [6]
В 1915 году его пригласили читать лекции в качестве профессора в Варшавском университете , который немецкие оккупационные власти вновь открыли после того, как он был закрыт царским правительством в 19 веке. [6]
В 1919 году Лукасевич покинул университет, чтобы служить польским министром религиозных конфессий и народного образования в правительстве Падеревского до 1920 года. Лукасевич руководил разработкой польской учебной программы, заменившей русскую, немецкую и австрийскую учебные программы, которые использовались в разделенной Польше. Учебная программа Лукасевича подчеркивала раннее приобретение логических и математических понятий. [ необходима цитата ]
В 1928 году он женился на Регине Барвинской. [6]
Он оставался профессором Варшавского университета с 1920 по 1939 год, когда семейный дом был разрушен немецкими бомбами, а университет был закрыт немецкой оккупацией. Он был ректором университета дважды, в течение которого Лукасевич и Станислав Лесьневский основали Львовско-Варшавскую школу логики , которая позже стала всемирно известной благодаря Альфреду Тарскому , ученику Лесьневского.
В начале Второй мировой войны он работал в Варшавском подпольном университете . После того, как немецкие оккупационные власти закрыли университет, он зарабатывал на жизнь в Варшавском городском архиве. Его дружба с Генрихом Шольцем (немецким профессором математической логики) также помогла ему, и именно Шольц организовал переезд семьи Лукасевичей в Германию в 1944 году (Лукасевич боялся наступления Красной Армии). Поскольку становилось все более ясно, что Германия проиграет войну, Лукасевич и его жена попытались переехать в Швейцарию , но не смогли получить разрешения от немецких властей. Таким образом, они провели последние месяцы войны в Мюнстере , Германия. После окончания войны, не желая возвращаться в контролируемую Советским Союзом Польшу, они сначала переехали в Бельгию, где Лукасевич преподавал логику во временном Польском научном институте. [6]
В феврале 1946 года по приглашению ирландского политического лидера Имона де Валеры (который сам был математиком по профессии) Лукасевич и его жена переехали в Дублин, где они оставались до его смерти десятилетие спустя. В Ирландии он недолгое время занимал должность профессора математической логики в Королевской ирландской академии (должность, созданная для него). В его обязанности входило частое чтение публичных лекций. [7]
В этот период его книга «Элементы математической логики» была опубликована на английском языке издательством Macmillan (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 Corporation в Пасадене, Калифорния . Эти концепции также привели к разработке многопрограммной компьютерной системы English Electric KDF9 1963 года, которая имела два таких аппаратных регистровых стека. Похожая концепция лежит в основе обратной польской нотации ( RPN , постфиксная нотация) калькулятора Friden EC-130 и его последователей, многих калькуляторов Hewlett-Packard , языков программирования Lisp и Forth , а также языка описания страниц PostScript .
В 2008 году Польское общество обработки информации учредило премию имени Яна Лукасевича, которая будет присуждаться самым инновационным польским ИТ-компаниям. [15]
С 1999 по 2004 год здание факультета компьютерных наук в UCD называлось зданием Лукасевича, пока все здания кампуса не были переименованы в честь дисциплин, которые в них преподавались.
Его модель 3-значной логики позволила сформулировать троичную логику Клини и метамодель эмпиризма, математики и логики, т. е. шестеричную логику. [16]