Ян Лукасевич

Материал из Гуру — мира словарей и энциклопедий
Перейти к: навигация, поиск

Ян Лукасевич (польск. Jan Łukasiewicz; 21 декабря 1878, Львов13 ноября 1956, Дублин) — польский логик, один из основателей многозначной и модальной логики; член Польский Академии Наук (1937), видный представитель львовско-варшавской школы; с 1945профессор Королевской ирландской академии в Дублине; основные труды в области логических проблем индукции, причинности и логических оснований теории вероятностей; разработал оригинальный язык для формализации логических выражений (польская запись, послужившая основой для более известной обратной польской записи); по философским воззрениям — позитивист.

Трёхзначная, четырёхзначная и многозначная логики Лукасевича[править]

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

Сочинения[править]

  • Z zagadnieri logiki i filozofii. Pisma wybrane, Warszawa 1961
  • Selected works, 1970
  • Aristotiles syllogistic from the standpoint of modern formal logic, 1951 (рус. пер. «Аристотелевская силлогистика с точки зрения современной формальной логики», М., 1959).

Литература[править]

  • BorkowskiL., SlupeckiT., The logical works of J. Lukasiewicz, «Studia Logica», 1958. t. 8.

Лукасевич]]