Поделиться:

О знаменитости

Ян Лукасевич: биография


Ян Лукасевич биография, фото, истории - польский логик, член Польской Академии Наук

польский логик, член Польской Академии Наук

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

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

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

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

Публикации

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

Комментарии

Добавить комментарий
Комментарий
Отправить

Джон Локк Джон Локк

английский философ и педагог

Фридрих Шеллинг Фридрих Шеллинг

немецкий философ, представитель идеализма

Уильям Оккам Уильям Оккам

английский философ-схоласт, религиозно-политический писатель XIV века

Аристотель Аристотель

древнегреческий ученый и философ

Георг Гегель Георг Гегель

философ, один из создателей немецкой классической философии

Маркс, Карл Маркс, Карл

основоположник марксизма, автор «Капитала»

Джордано (Филиппо) Бруно Джордано (Филиппо) Бруно

итальянский монах-доминиканец, ученый, философ и поэт

Вольтер (Франсуа-Мари Аруэ) Вольтер (Франсуа-Мари Аруэ)

философ и писатель эпохи Просвещения, основоположник вольтерьянства

Евтушенков Владимир вкладывает в высокотехнологичное развитие агросектора

Евтушенков Владимир вкладывает в высокотехнологичное развитие агросектора

Новая эпоха для целой индустрии: как компания Армена Саркисяна изменила лотерейный бизнес в РФ

Новая эпоха для целой индустрии: как компания Армена Саркисяна изменила лотерейный бизнес в РФ

Алексей Тайчер — создатель группы «ТФМ». Биография и активы предпринимателя.

Алексей Тайчер — создатель группы «ТФМ». Биография и активы предпринимателя.