Ян Лукасевич , польский математик и философ (р. 1878 г.)

Ян Лукасевич ( польский : [ˈjan wukaˈɕɛvit͡ʂ] ; 21 декабря 1878 г. - 13 февраля 1956 г.) был польским логиком и философом, наиболее известным благодаря польской нотации и логике Лукасевича . Он родился в Лемберге, городе в Галицком королевстве Австро-Венгрии (ныне Львов, Украина). Его работа была сосредоточена на философской логике, математической логике и истории логики. Он новаторски подумал о традиционной логике высказываний, принципе непротиворечия и законе исключенного третьего, предложив одну из самых ранних систем многозначной логики. Современные исследования аристотелевской логики также основаны на новаторских работах Лукасевича, в котором методы современной логики применялись к формализации силлогистики Аристотеля. Prior Analytics Робина Смита в 1989 году и Гизелы Страйкер в 2009 году. Лукасевич считается одним из самых важных историков логики.