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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Ян Лукасевич
Jan Łukasiewicz.jpg
Дата рождения:

21 декабря 1878({{padleft:1878|4|0}}-{{padleft:12|2|0}}-{{padleft:21|2|0}})[1]

Место рождения:

Львов[1]

Дата смерти:

13 февраля 1956({{padleft:1956|4|0}}-{{padleft:2|2|0}}-{{padleft:13|2|0}}) (77 лет) или 13 декабря 1956({{padleft:1956|4|0}}-{{padleft:12|2|0}}-{{padleft:13|2|0}})[1] (77 лет)

Место смерти:

Дублин[1]

Страна:

Flag of Poland.svg Польша

Учёная степень:

доктор философии

Альма-матер:

Львовский национальный университет имени Ивана Франко

Логотип Викитеки Произведения в Викитеке

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

Почётный доктор Варшавского университета (1924)[2].

С 1945 года профессор Ирландской королевской академии в Дублине.

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

Многозначная логика Лукасевича[править | править вики-текст]

Лукасевич разработал первую систему многозначной логики — трёхзначную логику высказываний (1920). В качестве третьего логического значения высказывания было введено значение, выражаемое словами «вероятно», «нейтрально». О каждом высказывании в системе Лукасевича можно сказать: оно либо истинно (1), либо ложно (0), либо нейтрально (1/2). Это стало возможным благодаря тому, что Лукасевич одним из первых, независимо от русского логика Н. А. Васильева[источник не указан 2006 дней], выдвинул тезис о возможности построения логических исчислений, в которых не действует принцип непротиворечивости. На основании трёхзначной логики Лукасевич построил систему модальной логики, в которой наряду с исследованием логических операций над ассерторическими высказываниями (утверждениями и отрицаниями) исследуются так называемые модальные высказывания (сильные и слабые утверждения и отрицания).

В 1954 Лукасевич разработал четырёхзначную систему логики, а затем — бесконечнозначные (n-значные) логические системы, в которых множество истинностных значений счётно-бесконечно или имеет мощность континуума (множества). В качестве истинностных значений выступают рациональные числа из отрезка (0, 1). Моделями бесконечнозначных логик Лукасевича являются им же разработанные алгебры.

Публикации[править | править вики-текст]

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

  1. 1 2 3 4 Record #119268663 Проверено 27 апреля 2014.
  2. Uniwersytet Warszawski

Литература[править | править вики-текст]

  • BorkowskiL., SlupeckiT., The logical works of J. Lukasiewicz, «Studia Logica», 1958. t. 8.