Ян Лукасевич - Jan Łukasiewicz

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

Ян Лукасевич (Польский:[ˈJan wukaˈɕɛvitʂ]; 21 декабря 1878 - 13 февраля 1956) был польским логик и философ наиболее известен Польская нотация и Логика лукасевича. Он родился в Лемберг, город в Галицкий королевство Австро-Венгрия (сейчас же Львов, Украина ). Его работа была сосредоточена на философская логика, математическая логика, и история логики. Он новаторски мыслил о традиционных логика высказываний, принцип непротиворечие и закон исключенного среднего. Современная работа над логикой Аристотеля основывается на традиции, начатой ​​в 1951 году, когда Лукасевич установил революционную парадигму. Подход Лукасевича был усилен в начале 1970-х годов в серии статей Джон Коркоран и Тимоти Смайли - которые используются в современных переводах Предварительная аналитика Робином Смитом в 1989 г. и Гизела нападающий в 2009.[1] Лукасевич считается одним из важнейших историков логики.

Жизнь

Он вырос во Львове и был единственным ребенком Павла Лукасевича, капитана австрийской армии, и Леопольдины, урожденная Хольцер, дочь государственного служащего. Его семья была Римский католик.

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

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

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

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

В 1915 году его пригласили читать лекции в качестве профессора в Варшавский университет который вновь открылся после закрытия Царское правительство в 19 ​​веке.

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

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

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

В начале Вторая Мировая Война он работал в Варшаве Подземный университет как часть секретной системы образование в Польше во время Второй мировой войны.

Он и его жена хотели переехать в Швейцария но не смог получить разрешения от властей Германии. Вместо этого летом 1944 года они покинули Польшу с помощью Генрих Шольц и провел последние несколько месяцев войны в Мюнстер, Германия надеется как-нибудь продвинуться дальше, возможно, в Швейцарию.

После войны он эмигрировал в Ирландию и работал в Университетский колледж Дублина (UCD) до самой смерти.

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

Работа

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

Лукасевич изобрел Польская нотация (назван в честь его национальности) для логических связок около 1920 года. Приведена цитата из его статьи: Замечания об аксиоме Никода и об "обобщающей дедукции", стр. 180;

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

Ссылка, процитированная Лукасевичем выше, очевидно, является литографированным отчетом в Польский. Ссылающаяся статья Лукасевича Замечания об аксиоме Никода и об "обобщающей дедукции", первоначально опубликовано на польском языке в 1931 г.,[2] позже был рассмотрен Г. А. Погожельский в Журнал символической логики в 1965 г.[3]

В книге Лукасевича 1951 г. Силлогистика Аристотеля с точки зрения современной формальной логики, он упоминает, что принцип его обозначений состоял в том, чтобы писать функторы перед аргументами, чтобы избежать скобок, и что он использовал эти обозначения в своих логических работах с 1929 года.[4] Затем он приводит в качестве примера статью 1930 года, которую он написал с помощью Альфред Тарский на сентенциальное исчисление.[5]

Это обозначение лежит в основе идеи рекурсивный стек, хранилище компьютерной памяти в порядке очереди, предложенное несколькими исследователями, в том числе Тьюринг, Бауэр и Hamblin, и впервые внедрен в 1957 году. В 1960 году концепции нотации Лукасевича и стеки были использованы в качестве основы Берроуз B5000 компьютер разработан Роберт С. Бартон и его команда в Корпорация Берроуз в Пасадена, Калифорния. Эти концепции также привели к созданию многопрограммной системы English Electric. KDF9 компьютерная система 1963 года, в которой было два таких аппаратных стека регистров. Аналогичная концепция лежит в основе обратная польская запись (РПН, постфиксная запись) Фриден Калькулятор EC-130 и его последователи, многие Hewlett Packard калькуляторы, Лисп и Четвертый языки программирования, а PostScript язык описания страницы.

Признание

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

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

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

Его модель 3-значная логика разрешено для формулирования Клини тернарная логика и метамодель эмпиризма, математики и логики, то есть сенарная логика. [7]

Хронология

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

Книги

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

Статьи

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

Смотрите также

Примечания

  1. ^ * Обзор книги «Аристотель, предшествующая аналитика: книга I, Гизела Страйкер (перевод и комментарии), Oxford UP, 2009, 268 стр., 39,95 долл. США (pbk)», ISBN  978-0-19-925041-7." в Философские обзоры Нотр-Дама, 2010.02.02.
  2. ^ Лукасевич, Ян, «Uwagi o aksjomacie Nicoda i 'dedukcji uogólniającej'», («Замечания об аксиоме Никода и« Обобщающий вывод »), Księga pamiątkowa Polskiego Towarzystwa Filozoficznego 1931.
  3. ^ Погожельский, Х.А., "Рецензируемые работы: Замечания об Аксиоме Никода и" Обобщающей дедукции "Яна Лукасевича; Ежи Слупецкого; Państwowe Wydawnictwo Naukowe", Журнал символической логики, Vol. 30, No. 3 (сентябрь 1965 г.), стр. 376–377. Эта статья Яна Лукасевича была переиздана в Варшаве в 1961 году в томе под редакцией Ежи Слупецкий. Первоначально он был опубликован в 1931 году на польском языке.
  4. ^ Ср. Лукасевич, (1951) Силлогистика Аристотеля с точки зрения современной формальной логики, Глава IV «Система Аристотеля в символической форме» (раздел «Объяснение символизма»), стр.78 и далее.
  5. ^ Лукасевич, Ян; Тарский, Альфред, "Untersuchungen über den Aussagenkalkül" ["Исследования исчисления предложений"], Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Vol. 23 (1930) Кл. III, стр. 31–32. Эту статью можно найти в переводе на английский язык в главе IV «Исследования сентенциального исчисления», стр. 39–59, в Логика, семантика, метаматематика: статьи с 1923 по 1938 год Альфреда Тарского, переведенный на английский язык Дж. Woodger, Oxford University Press, 1956; 2-е издание, Hackett Publishing Company, 1983 г.
  6. ^ «Международная мультиконференция по компьютерным наукам и информационным технологиям (IMCSIT) 2009 г.», отчет о конференции
  7. ^ Зи, янв (2019), Модели 6-значных мер: 6-ти видов информации, Kindle Direct Publishing Science

Рекомендации

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

  • Борковский, Л .; Слупецкий, Я., "Логические труды Я. Лукасевича", Studia Logica 8 (1958), 7–56.
  • Котарбинский, Т., "Работы Яна Лукасевича по истории логики", Studia Logica 8 (1958), 57–62.
  • Квятковский Т., «Ян Лукасевич - историк логики», Органон 16–17 (1980–1981), 169–188.
  • Маршалл, Д., "Лукасевич, Лейбниц и арифметизация силлогизма", Журнал формальной логики Нотр-Дам 18 (2) (1977), 235–242.
  • Седдон, Фредерик (1996). Аристотель и Лукасевич о принципе противоречия. Эймс, Айова: паб Modern Logic. ISBN  1-884905-04-8. OCLC  37533856.
  • Воленьски, Ян (1994). Философская логика в Польше. Kluwer Academic Publishers. ISBN  0-7923-2293-2. OCLC  27938071.
  • Воленский, Ян, "Ян Лукасевич о парадоксе лжецов, логических следствиях, истине и индукции", Современная логика 4 (1994), 394–400.

внешняя ссылка