Русская Википедия:Лукасевич, Ян

Материал из Онлайн справочника
Версия от 23:01, 25 августа 2023; EducationBot (обсуждение | вклад) (Новая страница: «{{Русская Википедия/Панель перехода}} {{Однофамильцы|Лукасевич}} __NOTOC__ {{Учёный |Имя = Ян Лукасевич |Оригинал имени = {{lang-pl|Jan Łukasiewicz}} |Изображение = |Ширина = |Описание изображения = |Дата рождения = 21.12.1878 |Место рождения =...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:Однофамильцы

Шаблон:Учёный Ян Лукасе́вич (Шаблон:Lang-pl; Шаблон:ДатаРождения, Шаблон:МестоРожденияВО — Шаблон:ДатаСмерти, Шаблон:МестоСмерти) — польский Шаблон:Логик и Шаблон:Математик, член Польской академии наук (1937), один из главных представителей львовско-варшавской школы.

В 1919 году занимал пост министра по делам религиозных деноминаций и образования.

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

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

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

Многозначная логика Лукасевича

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

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

Публикации

На польском языке:

На русском языке:

На английском языке:

См. также

Примечания

Шаблон:Примечания

Литература

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

  1. ↑ Uniwersytet Warszawski

Шаблон:Выбор языка Шаблон:Министры образования Польши

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Лукасевич,_Ян&oldid=10291863