Ян Лукасевич
- Дата рождения:
- 21.12.1878
- Дата смерти:
- 13.02.1956
- Продолжительность жизни:
- 77
- Дней с рождения:
- 53086
- Годы с рождения:
- 145
- Дни после смерти:
- 24907
- Годы после смерти:
- 68
- Дополнительные имена:
- Jan Łukasiewicz
- Категории:
- Министр, Политик, Профессор, Философ
- Национальность:
- поляк
- Кладбище:
- Указать кладбище
Ян Лукасе́вич (польск. Jan Łukasiewicz; 21 декабря 1878, Львов — 13 ноября 1956, Дублин) — польский логик, член Польской академии наук (1937), один из главных представителей львовско-варшавской школы.
С 1945 — профессор Ирландской королевской академии в Дублине. Работал в области логических проблем индукции и причинности и логических оснований теории вероятностей. Построил первую систему многозначной логики, а с её помощью — систему модальной логики. Разработал оригинальный язык для формализации логических выражений (т. н. Польская запись, послужившая основой для более известной обратной польской записи). По философским воззрениям — позитивист.
Многозначная логика Лукасевича
Лукасевич разработал первую систему многозначной логики — трёхзначную логику высказываний (1920). В качестве третьего логического значения высказывания было введено значение, выражаемое словами «вероятно», «нейтрально». О каждом высказывании в системе Лукасевича можно сказать: оно либо истинно (1), либо ложно (0), либо нейтрально (1/2). Это стало возможным благодаря тому, что Лукасевич одним из первых, независимо от русского логика Н. А. Васильева[источник не указан 1748 дней], выдвинул тезис о возможности построения логических исчислений, в которых не действует принцип непротиворечивости. На основании трёхзначной логики Лукасевич построил систему модальной логики, в которой наряду с исследованием логических операций над ассерторическими высказываниями (утверждениями и отрицаниями) исследуются так называемые модальные высказывания (сильные и слабые утверждения и отрицания).
В 1954 Лукасевич разработал четырёхзначную систему логики, а затем — бесконечнозначные (n-значные) логические системы, в которых множество истинностных значений счётно-бесконечно или имеет мощность континуума (множества). В качестве истинностных значений выступают рациональные числа из отрезка (0, 1). Моделями бесконечнозначных логик Лукасевича являются им же разработанные алгебры.
Публикации
- Z zagadnień logiki i filozofii, Warszawa 1961
- Selected works, 1970
- Aristotiles syllogistic from the standpoint of modern formal logic, 1951 (рус. пер. «Аристотелевская силлогистика с точки зрения современной формальной логики», М., 1959).
- В ЗАЩИТУ ЛОГИСТИКИ (1937)
- ЛОГИСТИКА И ФИЛОСОФИЯ (1936) польск. Logistyka a filozofia
- О НАУКЕ
- О ТВОРЧЕСТВЕ В НАУКЕ (O tworczosci w nauce)
Источник: wikipedia.org
Нет привязок к месту
Взаимоотношения не установлены
Не указано событие