WikiSort.ru - Не сортированное

ПОИСК ПО САЙТУ | о проекте
Ян Лукасевич
Jan Łukasiewicz
Дата рождения 21 декабря 1878(1878-12-21)
Место рождения
Дата смерти 13 ноября 1956(1956-11-13) (77 лет)
Место смерти
Страна Австро-Венгерская империя 
Польская Республика
Республика Ирландия
Научная сфера логика, математика
Место работы
Альма-матер
Учёная степень доктор философии
Научный руководитель Казимир Твардовский[2]
Известные ученики Альфред Тарский и Мордехай Вайсберг[d]
Цитаты в Викицитатнике
Произведения в Викитеке

Ян Лукасе́вич (правильно: Лукашевич[3], польск. Jan Łukasiewicz; 21 декабря 1878, Львов — 13 ноября 1956, Дублин) — польский логик, член Польской академии наук (1937), один из главных представителей львовско-варшавской школы.

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

С 1945 года профессор Ирландской королевской академии в Дублине.

Работал в области логических проблем индукции и причинности и логических оснований теории вероятностей. Построил первую систему многозначной логики, а с её помощью — систему модальной логики. Разработал оригинальный язык для формализации логических выражений (т. н. Польская запись, послужившая основой для более известной обратной польской записи). По философским воззрениям — позитивист.

Многозначная логика Лукасевича

Лукасевич разработал первую систему многозначной логики — трёхзначную логику высказываний (1920). В качестве третьего логического значения высказывания было введено значение, выражаемое словами «вероятно», «нейтрально». О каждом высказывании в системе Лукасевича можно сказать: оно либо истинно (1), либо ложно (0), либо нейтрально (1/2). Это стало возможным благодаря тому, что Лукасевич одним из первых, независимо от русского логика Н. А. Васильева[источник не указан 3284 дня], выдвинул тезис о возможности построения логических исчислений, в которых не действует принцип непротиворечивости. На основании трёхзначной логики Лукасевич построил систему модальной логики, в которой наряду с исследованием логических операций над ассерторическими высказываниями (утверждениями и отрицаниями) исследуются так называемые модальные высказывания (сильные и слабые утверждения и отрицания).

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

Публикации

На польском языке:

  • Jan Łukasiewicz. O zasadzie sprzecności u Arystotelesa. Studium krytyczne. — Краков, 1910.
  • J. Łukasiewicz. Z zagadnień logiki i filozofii. Pisma wybrane / J. Slupecki ed. — Варшава: PWN, 1961.
  • J. Łukasiewicz. Logika i metafizyka / J. J. Jadacki ed. — Варшава: Wydział Filozofii i Socjologii Uniwersytetu Warszawskiego, 1998.

На русском языке:

  • Ян Лукасевич. Аристотелевская силлогистика с точки зрения современной формальной логики / Перевод с английского Н. И. Стяжкина и А. Л. Субботина. Общая редакция и вступительная статья проф. П. С. Попова. М.: Издательство иностранной литературы, 1959. — 313 с.
  • Ян Лукасевич. Аристотелевская силлогистика с точки зрения современной формальной логики / Пер. с англ. Н. И. Стяжкина и А. Л. Субботина. Общ. ред. и вступ. ст. П. С. Попова. М.: Тривиум, 2000. ISBN 5-1251-0125-7.
  • Ян Лукасевич. О принципе противоречия у Аристотеля. Критическое исследование / Перевод с польского Б. Т. Домбровского. Общая редакция, вступительная статья и примечимечания профессора А. С. Карпенко. — М.—СПб.: Центр гуманитарных инициатив, 2012. — 255 с. ISBN 978-5-98712-038-5.

На английском языке:

  • Jan Łukasiewicz. Aristotile's sillogistic from the standpoint of modern formal logic. — Оксфорд, 1957.
  • J. Łukasiewicz. Selected Works / L. Borkowski ed.. — Amsterdam & Warszawa: North-Holland & PWN, 1970.

См. также

Примечания

  1. 1 2 Немецкая национальная библиотека, Берлинская государственная библиотека, Баварская государственная библиотека и др. Record #119268663 // Общий нормативный контроль (GND) — 2012—2016.
  2. Математическая генеалогия — 1997.
  3. см. произношение в Google и примеры транскрипций
  4. Uniwersytet Warszawski

Литература

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .




Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2024
WikiSort.ru - проект по пересортировке и дополнению контента Википедии