Ян Лукасевич

Ян Лукасевич
Лукасевич в 1935 году
Рожденный	21 декабря 1878 г. Лемберг , Королевство Галиция и Лодомерия , Австро-Венгрия
Умер	13 февраля 1956 г. (1956-02-13) (77 лет) Дублин , Ирландия
Национальность	Польский
Альма-матер	Университет Лемберга
Эра	Философия 20-го века
Область	Западная философия Польская философия
Школа	Львовско-Варшавская школа Аналитическая философия
Основные интересы	Философская логика , математическая логика и история логики.
Известные идеи	Польские обозначения Логика Лукасевича Алгебра Лукасевича–Мойсила Редуктивное рассуждение

Ян Лукасевич (англ. Польский: [ˈjan wukaˈɕɛvit͡ʂ] ; 21 декабря 1878 — 13 февраля 1956) — польский логик и философ , наиболее известный своими польскими обозначениями и логикой Лукасевича . Его работа была сосредоточена на философской логике , математической логике и истории логики . Он новаторски мыслил о традиционной логике высказываний , принципе непротиворечия и законе исключенного третьего , предложив одну из самых ранних систем многозначной логики . исследования аристотелевской логики также основаны на новаторских работах Лукасевича, который применил методы современной логики к формализации Аристотеля силлогистики Современные .

Подход Лукасевича получил новое развитие в начале 1970-х годов в серии статей Джона Коркорана и Тимоти Смайли , которые легли в основу современных переводов « Приоральной аналитики» Робина Смита в 1989 году и Гизелы Страйкер в 2009 году. Лукасевич считается одним из самых важных историков логики.

Жизнь

Он родился в Лемберге в Австро-Венгрии (ныне Львов , Украина ; польский : Lwów ) и был единственным ребенком Павла Лукасевича, капитана австрийской армии, и Леопольдины, урожденной Хольцер, дочери государственного служащего. Его семья была католической .

Он закончил гимназию по филологическому факультету и в 1897 году поступил в Лембергский университет , где изучал философию и математику. Он был учеником философа Казимира Твардовского .

В 1902 году он получил степень доктора философии под патронажем императора Австрии Франца Иосифа I , который подарил ему специальное докторское кольцо с бриллиантами.

Он проработал три года частным преподавателем, а в 1905 году получил стипендию для завершения изучения философии в Берлинском университете и Лувенском университете в Бельгии.

Лукасевич продолжил обучение для получения докторской степени и в 1906 году подал диссертацию в Лембергский университет. В том же году он был назначен преподавателем в Лембергском университете, где в конечном итоге император Франц Иосиф I назначил его экстраординарным профессором. Он преподавал там до Первой мировой войны .

В 1915 году его пригласили читать лекции в качестве профессора в Варшавском университете , который немецкие оккупационные власти вновь открыли после того, как он был закрыт царским правительством в XIX веке.

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

В 1928 году он женился на Регине Барвинской.

Он оставался профессором Варшавского университета с 1920 по 1939 год, когда семейный дом был разрушен немецкими бомбами, а университет был закрыт из-за немецкой оккупации. Он дважды был ректором университета, во время которых Лукасевич и Станислав Лесневский основали Львовско-Варшавскую школу логики , которая позже прославилась на международном уровне благодаря Альфреду Тарскому , который был учеником Лесневского.

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

В феврале 1946 года по приглашению ирландского политического лидера Иамона де Валеры Лукасевич и его жена переехали в Дублин, где оставались до его смерти десять лет спустя. В Ирландии он некоторое время работал профессором математической логики в Королевской ирландской академии (должность, созданная для него). В его обязанности входило частое чтение публичных лекций.

В этот период его книга «Элементы математической логики» была опубликована на английском языке издательством Макмиллан (1963, перевод с польского Ольгерда Войтасевича).

Ян Лукасевич умер 13 февраля 1956 года. Он был похоронен на кладбище Маунт-Джером в Дублине. По настоянию армянской общины Польши его останки были репатриированы в Польшу 66 лет спустя. Он был перезахоронен 22 ноября 2022 года на Старом Повонзком кладбище в Варшаве .

С октября по декабрь 2022 года в Ирландской королевской академии в Дублине прошла выставка, посвященная его жизни и творчеству.

Лукасевича Документы (после 1945 г.) хранятся в библиотеке Манчестерского университета .

Работа

Ряд аксиоматизаций классической логики высказываний принадлежит Лукасевичу. Особенно элегантная аксиоматизация включает всего три аксиомы и используется до сих пор. Он был пионером в области исследования многозначной логики ; его трехзначное исчисление высказываний , представленное в 1917 году, было первым явно аксиоматизированным неклассическим логическим исчислением . Он писал о философии науки , и его подход к созданию научных теорий был подобен мышлению Карла Поппера .

Лукасевич изобрел польскую систему обозначений (названную в честь его национальности) для логических связок примерно в 1920 году. Цитата из статьи Яна Лукасевича 1931 года. рассказывает, как были изобретены обозначения:

Идея обозначения без скобок пришла ко мне в 1924 году. Впервые я использовал это обозначение в своей статье Лукасевич (1), с. 610, сноска.

Ссылка, цитируемая Лукасевичем, т.е. Лукасевич (1), Судя по всему, это литографированный отчет на польском языке . Справочный документ Лукасевича, была рецензирована Генри А. Погожельски в Журнале символической логики в 1965 году.

В книге Лукасевича 1951 года « Силлогистика Аристотеля с точки зрения современной формальной логики» он упоминает, что принцип его обозначений заключался в том, чтобы писать функторы перед аргументами, чтобы избежать квадратных скобок (т. е. круглых скобок), и что он использовал свои обозначения в своих логических статьях. с 1929 года. Затем он приводит в качестве примера статью 1930 года, написанную им вместе с Альфредом Тарским, об исчислении предложений .

Эта нотация является корнем идеи рекурсивного стека , хранилища компьютерной памяти «последним пришел — первым вышел», предложенного несколькими исследователями, включая Тьюринга , Бауэра и Хэмблина , и впервые реализованного в 1957 году. В 1960 году концепции нотации и стеки Лукасевича были использовался в качестве основы компьютера Burroughs B5000 , разработанного Робертом С. Бартоном и его командой в Burroughs Corporation в Пасадене, Калифорния. . Эти концепции также привели к созданию в 1963 году многопрограммной компьютерной системы English Electric KDF9 , которая имела два таких стека аппаратных регистров. Подобная концепция лежит в основе обратной польской нотации ( RPN , постфиксная нотация) калькулятора Friden EC-130 и его преемников, многих калькуляторов Hewlett-Packard , языков программирования Lisp и Forth , а также языка описания страниц PostScript .

Признание

Библиотека Варшавского университета - у входа (вид сзади) стоят колонные статуи философов Львовско-Варшавской школы ( справа налево ) Казимежа Твардовского , Яна Лукасевича, Альфреда Тарского , Станислава Лесневского .

В 2008 году Польское общество обработки информации учредило Премию Яна Лукасевича, которая вручается самым инновационным польским ИТ-компаниям.

С 1999 по 2004 год здание факультета компьютерных наук UCD называлось зданием Лукасевича, пока все здания кампуса не были переименованы в честь дисциплин, в которых они размещались.

Его модель трехзначной логики позволила сформулировать троичную логику Клини и метамодель эмпиризма, математики и логики, т. е. троичную логику.

Хронология

• 1878 родился в Лемберге (ныне Львов).
• 1890–1902 учеба у Казимира Твардовского в Лемберге (Львов, Львов).
• 1902 г. Докторская степень (математика и философия), Лембергский университет с высшим отличием.
• В 1906 году завершена докторская диссертация, Лембергский университет.
• 1906 г. становится преподавателем.
• Очерки 1910 года о принципе непротиворечия и исключенном третьем
• 1911 г. экстраординарный профессор в Лемберге.
• 1915 г. приглашен в недавно открывшийся Варшавский университет.
• новое Королевство Польское . 1916 г. провозглашено
• 1917 разрабатывает трехзначное исчисление высказываний.
• Польши. 1919 Министр просвещения
• 1920–1939 профессор Варшавского университета основывает вместе со Станиславом Лесневским Львовско -Варшавскую школу логики (см. также Альфред Тарский , Стефан Банах , Гуго Штейнгауз , Зигмунт Янишевский , Стефан Мазуркевич )
• 1928 женится на Регине Барвинской.
• В 1944 году бежит в Германию и селится в Хембсене , в Нетегау , куда его доставили в целях его же безопасности.
• 1946 г., ссылка в Бельгии.
• В 1946 году возглавил кафедру Королевской ирландской академии в Дублине.
• 1953 пишет автобиографию.
• 1956 умирает в Дублине.

Избранные работы

Книги

• Лукасевич, Ян (1951). Силлогистика Аристотеля с точки зрения современной формальной логики . Издательство Оксфордского университета. 2-е издание, дополненное, 1957 г. Перепечатано Garland Publishing в 1987 г. ISBN   0-8240-6924-2
• Лукасевич, Ян (1928). Элементы математической логики (на польском языке). Варшава , Национальное научное издательство. ОСЛК   11322101 .
• Лукасевич, Ян (1964) [1963]. Элементы математической логики. Перевод с польского Ольгерда Войтасевича . Нью-Йорк, Макмиллан. OCLC   671498 .
• Лукасевич, Ян (1970). Людвик Борковски (ред.). Избранные произведения . Северо-Голландский паб. Что. ISBN  0-7204-2252-3 . ОСЛК   115237 .
• Лукасевич, Ян (1998). Яцек Ядацкий (ред.). Логика и метафизика. Разное (на польском языке). Варшава , WFiS UW. ISBN  83-910113-3-Х .

Статьи

• 1903 г. «Об индукции как обращении дедукции».
• 1906 «Анализ и построение концепции причины».
• 1910 «О принципе противоречия Аристотеля».
• 1913 г. «Об обратимости отношения основания и следствия».
• 1920 «О трехзначной логике».
• 1921 "Двузначная логика"
• 1922 «Численная интерпретация теории предложений»
• 1928 «О методе в философии».
• 1929 «Элементы математической логики».
• 1929 «О важности и требованиях математической логики».
• 1930 «Философские замечания о многозначных системах логики высказываний»
• 1930 «Исследования по исчислению предложений», с Альфредом Тарским.
• 1931 «Комментарии к аксиоме Никода и «обобщающей дедукции»»
• 1934 «О науке»
• 1934 «Важность логического анализа для знаний»
• 1934 "Очерки истории логики высказываний"
• 1936 «Логистика и философия».
• 1937 «В защиту логистики».
• 1938 «О философии Декарта».
• 1943 «Кратчайшая аксиома импликативного исчисления предложений»
• 1951 "О переменных функторах пропозициональных аргументов"
• 1952 "Об интуиционистской теории дедукции"
• 1953 "Система модальной логики"
• 1954 «О спорной проблеме модальной силлогистики Аристотеля»

См. также

• История философии в Польше
• Список поляков
• Логические операторы
• Функция истины
• 27114 Лукасевич

Дальнейшее чтение

• «Биографическая справка Яна Лукасевича» , Рим, Италия: «Металогикон» , (1994) VII, 2 (выпуск за июль – декабрь). журнал
• Крейг, Эдвард (главный редактор), «Статья: Ян Лукасевич», Философская энциклопедия Routledge , 1998, том 5, стр. 860–863.
• Борковски, Людвик ; Слупецкий, Ежи , «Логические произведения Ю. Лукасевича», Studia Logica 8 (1958), 7–56. JSTOR 20013604. (51 страница)

• Котарбинский, Тадеуш , «Работы Яна Лукасевича по истории логики», Studia Logica 8 (1958), 57–63 JSTOR 20013605. (7 страниц)
• Квятковский, Тадеуш, «Ян Лукасевич - историк логики», Organon 16–17 (1980–1981), 169–188.
• Лукасевич, Ян; Гейне, Хольгер Р. (2021). Принцип противоречия у Аристотеля: критическое исследование . Гонолулу, Гавайи: Topos Productions. ISBN  978-1943354061 .
• Маршалл-младший, Дэвид, «Лукасевич, Лейбниц и арифметизация силлогизма», Notre Dame Journal of Formal Logic 18 (2) (1977), 235–242.
• Седдон, Фредерик (1996). Аристотель и Лукасевич о принципе противоречия . Эймс, Айова: Паб Modern Logic. ISBN  1-884905-04-8 . OCLC   37533856 .
• Воленский, Ян (1994). Философская логика в Польше . Академическое издательство Kluwer . ISBN  0-7923-2293-2 . ОСЛК   27938071 .
• Воленский, Ян (1994). «Ян Лукасевич о парадоксе лжеца, логическом следствии, истине и индукции». Современная логика (4): 394–400.

Внешние ссылки

• Саймонс, Питер . «Ян Лукасевич» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
• О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Ян Лукасевич» , Архив истории математики MacTutor , Университет Сент-Эндрюс
• Запись Лукасевича на странице польской философии , изд. Франческо Конильоне ( Университет Катании )
• Ян Лукасевич в проекте «Математическая генеалогия»