польский логик Из Википедии, свободной энциклопедии
Ян Лукасе́вич (пол. Jan Łukasiewicz; 21 декабря 1878, Львов — 13 ноября 1956, Дублин) — польский логик и математик, член Польской академии наук (1937), один из главных представителей львовско-варшавской школы.
| Ян Лукасевич | |
|---|---|
| пол. Jan Łukasiewicz | |
 | |
| Дата рождения | 21 декабря 1878 |
| Место рождения | |
| Дата смерти | 13 ноября 1956 (77 лет) |
| Место смерти | |
| Страна |
Австро-Венгерская империя → Польская Республика→ Республика Ирландия |
| Род деятельности | математик, философ, преподаватель университета, специалист в области информатики |
| Научная сфера | логика, математика |
| Место работы | |
| Альма-матер | |
| Учёная степень | доктор философии |
| Научный руководитель | Казимир Твардовский[1] |
| Ученики | Альфред Тарский и Мордехай Вайсберг[вд] |
| Награды и премии |
   |
| Цитаты в Викицитатнике | |
| Медиафайлы на Викискладе | |
В 1919 году занимал пост министра по делам религиозных деноминаций и образования.
Почётный доктор Варшавского университета (1924)[2].
С 1945 года — профессор Ирландской королевской академии в Дублине.
Работал в области логических проблем индукции и причинности и логических оснований теории вероятностей. Построил первую систему многозначной логики, а с её помощью — систему модальной логики. Разработал оригинальный язык для формализации логических выражений (т. н. Польская запись, послужившая основой для более известной обратной польской записи). По философским воззрениям — позитивист.
Лукасевич разработал первую систему многозначной логики — трёхзначную логику высказываний (1920). В качестве третьего логического значения высказывания было введено значение, выражаемое словами «вероятно», «нейтрально». О каждом высказывании в системе Лукасевича можно сказать: оно либо истинно (1), либо ложно (0), либо нейтрально (1/2). Это стало возможным благодаря тому, что Лукасевич одним из первых выдвинул тезис о возможности построения логических исчислений, в которых не действует принцип непротиворечивости. На основании трёхзначной логики Лукасевич построил систему модальной логики, в которой наряду с исследованием логических операций над ассерторическими высказываниями (утверждениями и отрицаниями) исследуются так называемые модальные высказывания (сильные и слабые утверждения и отрицания).
В 1954 Лукасевич разработал четырёхзначную систему логики, а затем — бесконечнозначные (n-значные) логические системы, в которых множество истинностных значений счётно-бесконечно или имеет мощность континуума (множества). В качестве истинностных значений выступают рациональные числа из отрезка (0, 1). Моделями бесконечнозначных логик Лукасевича являются им же разработанные алгебры.
На польском языке:
На русском языке:
На английском языке:
Seamless Wikipedia browsing. On steroids.
.svg){kind=link}
