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


Ян Лукасе́вич (; ,  — , ) — польский  и , член Польской академии наук (1937), один из главных представителей львовско-варшавской школы.

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

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

С 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.

Ректоры Варшавского университета
Почётные доктора Варшавского университета
Действительные члены Польской академии наук
Министры образования Польши
Аристотелеведы
Преподаватели Университетского колледжа Дублина