Русская Википедия:Лукасевич, Ян
Шаблон:Учёный Ян Лукасе́вич (Шаблон:Lang-pl; Шаблон:ДатаРождения, Шаблон:МестоРожденияВО — Шаблон:ДатаСмерти, Шаблон:МестоСмерти) — польский Шаблон:Логик и Шаблон:Математик, член Польской академии наук (1937), один из главных представителей львовско-варшавской школы.
В 1919 году занимал пост министра по делам религиозных деноминаций и образования.
Почётный доктор Варшавского университета (1924)[1].
С 1945 года — профессор Ирландской королевской академии в Дублине.
Работал в области логических проблем индукции и причинности и логических оснований теории вероятностей. Построил первую систему многозначной логики, а с её помощью — систему модальной логики. Разработал оригинальный язык для формализации логических выражений (т. н. Польская запись, послужившая основой для более известной обратной польской записи). По философским воззрениям — позитивист.
Многозначная логика Лукасевича
Лукасевич разработал первую систему многозначной логики — трёхзначную логику высказываний (1920). В качестве третьего логического значения высказывания было введено значение, выражаемое словами «вероятно», «нейтрально». О каждом высказывании в системе Лукасевича можно сказать: оно либо истинно (1), либо ложно (0), либо нейтрально (1/2). Это стало возможным благодаря тому, что Лукасевич одним из первых выдвинул тезис о возможности построения логических исчислений, в которых не действует принцип непротиворечивости. На основании трёхзначной логики Лукасевич построил систему модальной логики, в которой наряду с исследованием логических операций над ассерторическими высказываниями (утверждениями и отрицаниями) исследуются так называемые модальные высказывания (сильные и слабые утверждения и отрицания).
В 1954 Лукасевич разработал четырёхзначную систему логики, а затем — бесконечнозначные (n-значные) логические системы, в которых множество истинностных значений счётно-бесконечно или имеет мощность континуума (множества). В качестве истинностных значений выступают рациональные числа из отрезка (0, 1). Моделями бесконечнозначных логик Лукасевича являются им же разработанные алгебры.
Публикации
- Логистика и философия — Шаблон:Статья
- О науке — Шаблон:Статья
- О творчестве в науке — O tworczosci w nauce. Ksiega pamiatkowa ku uczczeniu 250 rocznicy zalozenia Uniwersytetu Lwowskiego. Lwow 1912. s.1-15
- В защиту логистики — W obronie logistyki. Myśl katolicka wobec logiki współczesnej. Studia Gnesnensia, nr.15 (1937).
На польском языке:
На русском языке:
- Шаблон:Книга
- Переиздание: М.: Тривиум, 2000, ISBN=5-1251-0125-7.
- Шаблон:Книга
На английском языке:
См. также
Примечания
Литература
- Шаблон:БРЭ
- Шаблон:НФЭ
- BorkowskiL., SlupeckiT., The logical works of J. Lukasiewicz, «Studia Logica», 1958. t. 8.
Шаблон:Выбор языка Шаблон:Министры образования Польши
- Русская Википедия
- Ректоры Варшавского университета
- Почётные доктора Варшавского университета
- Действительные члены Польской академии наук
- Министры образования Польши
- Аристотелеведы
- Преподаватели Университетского колледжа Дублина
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Русской Википедии
