Определение слова «ЛУКАСЕВИЧ»

Большой энциклопедический словарь:

ЛУКАСЕВИЧ (Lukasiewicz) Ян (1878-1956) — польский логик, член Польский АН (1937) — один из главных представителей львовско-варшавской школы. С 1945 профессор Королевской ирландской академии в Дублине. Построил первую систему многозначной логики. Разработал оригинальный язык для формализации логических выражений (т. н. бесскобочная символика Лукасевича).

Большая советская энциклопедия:

Лукасевич
(ukasiewicz)
Ян (21.12.1878, Львов, — 13.11.1956, Дублин), польский логик, член Польской АН (1937), профессор университетов во Львове (1906—15) и Варшаве (1915—39), после 2-й мировой войны 1939—45 — Королевской ирландской академии в Дублине. Работал в области логических проблем индукции (См. Индукция) и причинности и логических оснований теории вероятностей. Построил первую систему многозначной логики, а с её помощью — систему модальной логики (См. Модальная логика). Разработал оригинальный язык для формализации логических и математических выражений (так называемая бесскобочная символика Л.). По философским воззрениям — позитивист.
Соч.: Z zagadnie logiki i filozof. Pisma wybrane, Warsz., 1961 (имеется полная библиография работ Л.); в русском переводе — Аристотелевская силлогистика с точки зрения современной формальной логики, М., 1959.
Лит.: Borkowski L., Slupecki Т., The logical works of J. ukasiewicz, «Studia Logica», 1958, t. 8.

Новейший философский словарь:

ЛУКАСЕВИЧ (Lukasiewicz) Ян (1878-1956) — польский логик и философ, профессор Львовского и Варшавского университетов (1915-1939), с 1949 — Дублинского униврситета (Эйре), где он читал лекции по логике Аристотеля. Л. разработал первую систему многозначной логики — трехзначную логику высказываний (1920). В качестве третьего логического значения высказывания было введено значение, выражаемое словами «вероятно», «нейтрально». О каждом высказывании в системе Л. можно сказать: оно либо истинно (1), либо ложно (0), либо нейтрально (1/2). Это стало возможным благодаря тому, что Л. одним из первых, независимо от русского логика Н.А. Васильева, выдвинул тезис о возможности построения логических исчислений, в которых не действует принцип непротиворечивости. На основании трехзначной логики Л. построил систему модальной логики, в которой наряду с исследованием логических операций над ассерторическими высказываниями (утверждениями и отрицаниями) исследуются так называемые модальные высказывания (сильные и слабые утверждения и отрицания). В 1929 выходят «Элементы математической логики», в 1930 — совместный с Тарским труд «Исследование по исчислению высказываний», в 1938 — «Логика и ее основные проблемы». В 1954 Л. разработал четырехзначную систему логики, а затем — беско-нечнозначные (n-значные) логические системы, в которых множество истинностных значений счетно-бесконечно или имеет мощность континуума (множества). В качестве истинностных значении выступают рациональные числа из отрезка (О, 1). Моделями бесконечнозначных логик Л. являются им же разработанные алгебры. Л. разработал способ формализации аристотелевской силлогистики, изложив ее в терминах, принятых современной математической логикой. Фор-мализированная система дает представление силлогистики в виде логического исчисления естественного вывода. В своих логических исследованиях Л. применял разработанную им бесскобочную символику (для исключения из формализованного языка скобок), в которой элементарные высказывания обозначаются малыми буквами латинского алфавита, а логические операторы — большими буквами того же алфавита (N-отрицание, К-конъюнкция, А — неисключающая дизъюнкция, С — импликация, R — эквивалентность).

Новая философская энциклопедия:

ЛУКАСЕВИЧ (Lukasiewicz Jan) Ян (21 декабря 1878, Львов – 13 февраля 1956, Дублин) – польский логик и философ, один из главных представителей Львовско-варшавской школы [ЛЬВОВСКО-ВАРШАВСКАЯ ШКОЛА], зачинатель исследований по математической логике в Польше. Философское образование получил во Львове под руководством К.Твардовского [ТВАРДОВСКИЙ], затем в Берлине и Лувене (Бельгия). Профессор Варшавского (1915–39) университета; ректор Варшавского университета (1922–23 и 1931–32); академик Польской АН с 1937, а после 2-й мировой войны – проф. Королевской Ирландской академии в Дублине с 1946.
Целью логических исследований Лукасевич считал прежде всего разработку точных методов анализа философских рассуждений. Такие методы призваны обеспечить конструктивность и однозначность понятий, которыми оперирует философия, тем самым сближая философию с наукой. Продуктивное философское рассуждение может быть построено только вокруг таких проблем, которые могут быть сформулированы с научной точностью и однозначностью. В основании философии может быть положена «научная метафизика», или общая теория предметов, но не эпистемология в духе Декарта [ДЕКАРТ]или Канта [КАНТ], ибо такой путь, по мнению Лукасевича, ведет в тупик. Выход из тупика – в применении логической методологии, позволяющей свести к минимуму число исходных философских понятий, обладающих очевидностью и интуитивной ясностью, чтобы затем через них строго определять философские понятия «пространственно-временной структуры мира», «причинности», «детерминизма», «индетерминизма» и др. Т.о. логика дает методологический образец для философии (и, в частности, аксиоматико-дедуктивный метод). Лукасевич весьма скептически относился к попыткам построения всеобъемлющих философских систем. Критикуя психологизм и априоризм в логике, он выдвинул идею логического плюрализма: различные логические системы способны эксплицировать различные онтологические теории. Напр., классическая двузначная логика (см. Логика высказываний [ЛОГИКА ВЫСКАЗЫВАНИЙ]) эксплицирует принцип «жесткого» детерминизма в философском и научном мышлении, тогда как переход к многозначным логикам [ЛОГИКА МНОГОЗНАЧНАЯ]позволяет проводить корректные «индетерминистские» рассуждения».
Основные результаты Лукасевича лежат в области математической логики. Ему принадлежат важные результаты в области классической (теория дедукции и аксиоматизация), интуиционистской, модальной, импликативной и вероятностной логики [ВЕРОЯТНОСТНАЯ ЛОГИКА]. Он провел ряд исследований по проблемам аксиоматизации формализованной силлогистики, по истории логики (силлогистика Аристотеля, логика древних стоиков); им введена оригинальная бесскобочная запись логико-математических формул; впервые в 1910 был подвергнут критике закон непротиворечия.
Однако главная проблема, которой Лукасевич посвятил всю свою жизнь, – это «борьба за освобождение человеческого духа» (1918) посредством создания новой логики. Мировую славу и известность принесло Лукасевичу создание в 1920 первой системы многозначной логики, а именно трехзначной. В 1930 им, совместно с А.Тарским [ТАРСКИЙ], были подведены итоги исследования конечнозначных и бесконечнозначных логик в Львовско-варшавской школе. Последние три десятилетия наблюдается необычайный интерес к многозначным логикам Лукасевича. Была обнаружена связь конечнозначных логик Лукасевича с теорией простых чисел и даны различные новые определения последних. В качестве следствия был построен алгоритм порождения классов простых чисел, причем всех. Еще больший интерес вызывают алгебры, соответствующие пропозициональной бесконечнозначной логике Лукасевича. Оказалось, что они эквивалентны совершенно различным алгебраическим структурам, возникшим в разное время и на различных основаниях, напр. MV-алгебрам Чэна, введенным только в 1958. Имеются весьма неожиданные интерпретации бесконечнозначной логики Лукасевича, напр., в бесконечномерных пространствах.
Сочинения:
1. Аристотелевская силлогистика с точки зрения современной формальной логики. М., 1959;
2. О детерминизме. – «ВФ», 1995, № 5;
3. О zasadzie sprzecnosci u Arystotelesa. Krakow, 1910;
4. Elementy logiki matematycznej. Warsz., 1929 (англ. пер.: Elements of mathematical logic. N. Y., 1959 и 1963);
5. Selected works. Amst., 1970.
Литература:
1. Карпенко А.С. Логики Лукасевича и простые числа. М., 2000;
2. Он же. Ян Лукасевич – детерминизм и логика. – В кн.: Логические исследования, в. 2. М., 1993;
3. Он же. Логика, детерминизм и феномен прошлого. – «ВФ», 1985, № 5;
4. Borkowski L., Slypecki J. The logical works of J.Lukasiewicz. – «Studia Logica», 1958, vol. 8;
5. Selected papers on Lukasiewicz sentential calculi. Wroclaw, 1977, Bibliogr., p. 189–199.
А.С.Карпенко, В.Н.Порус

Смотреть другие определения →