Про знаменитості
Ян Лукасевич: біографія
польський логік, член Польської Академії Наук
З 1945 - професор Королівської ірландської академії в Дубліні. Працював в області логічних проблем індукції та причинності і логічних підстав теорії ймовірностей. Побудував першу систему багатозначної логіки, а з її допомогою - систему модальної логіки. Розробив оригінальний мову для формалізації логічних виразів (т. зв. Польська запис, що послужила основою для більш відомої зворотної польської запису). По філософських поглядах - позитивіст.
Багатозначна логіка Лукасевича
Лукасевич розробив першу систему багатозначної логіки - тризначну логіку висловлювань (1920). У якості третьої логічного значення висловлювання було введено значення, яке виражається словами «мабуть», «нейтрально». Про кожному висловлюванні в системі Лукасевича можна сказати: воно або істинно (1), або хибно (0), або нейтрально (1 / 2). Це стало можливим завдяки тому, що Лукасевич одним з перших, незалежно від російського логіка Н. А. Васильєва, висунув тезу про можливість побудови логічних числень, в яких не діє принцип несуперечності. На підставі тризначної логіки Лукасевич побудував систему модальної логіки, в якій поряд з дослідженням логічних операцій над ассерторіческімі висловлюваннями (твердженнями і запереченнями) досліджуються так звані модальні висловлювання (сильні і слабкі ствердження і заперечення).
У 1954 Лукасевич розробив чотиризначну систему логіки, а потім - бесконечнозначние (n-значні) логічні системи, в яких безліч істінностних значень лічильно-нескінченно чи має потужність континууму (множини). Як істінностних значень виступають раціональні числа з відрізка (0, 1). Моделями бесконечнозначних логік Лукасевича є ним же розроблені алгебри.
Публікації
- Selected works, 1970
- Z zagadnie? logiki i filozofii, Warszawa 1961
- Aristotiles syllogistic from the standpoint of modern formal logic, 1951 (рос. пер. «Аристотелевская сіллогістіка з точки зору сучасної формальної логіки », М., 1959).
