Ян Лукасевич (польск. Jan Łukasiewicz) — польский логик, член Польской Академии Наук (1937), один из главных представителей львовско-варшавской школы.

Родился в семье офицера австрийской армии во Львове 21 декабря 1878. Очень рано увлекся математикой и после окончания школы поступил во Львовский университет, где изучал математику, право и философию. Философией он заинтересовался под влиянием лекций Твардовского, став одним из первых его учеников. Под руководством Твардовского в 1902 защитил диссертацию. После нескольких лет учебы в Берлине и Лувене Лукасевич вернулся во Львов вначале в качестве преподавателя университета, а с 1906 – профессора логики и философии. В 1907–1908 прочел первый в Польше курс лекций по математической логике. Во время первой мировой войны Лукасевич переехал в Варшаву, где возглавил одну из двух кафедр логики Варшавского университета. В 1919 – министр образования Польши, а с 1920 по 1939 – профессор Варшавского университета, и дважды исполнял обязанности ректора. После окончания Второй мировой войны переехал в Дублин, где получил кафедру математической логики в университете. Среди его важнейших работ – О принципе противоречия у Аристотеля (O zasadzie sprzecznosci u Arystotelesa, 1910); О науке (O nauce, 1934); Элементы математической логики (Elementy logiki matematycznej, 1929); Аристотелевская силлогистика с точки зрения современной формальной логики (Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, 1951).

Скончался Лукасевич в Дублине от сердечного приступа 13 ноября 1956.

В области логики Лукасевичу принадлежит целый ряд результатов, относящийся к другому кругу проблем. Так, им была разработана система логической символики, известная под именем польской (бесскобочной) нотации. Он разработал ряд аксиоматизаций классического пропозиционального исчисления, среди которых аксиоматизации с единственной аксиомой и с набором самых коротких аксиом. Лукасевич построил исчисление высказываний с переменными функторами, положенное им в основу формулировки интуиционистской логики. Он также разработал общую логическую теорию вероятности.

Значителен вклад Лукасевича в историю логики. Он привлек внимание исследователей к логике стоиков, показав, что именно она лежит в основании современной логики. Его реконструкция силлогистики Аристотеля современными методами не только явилась значительным достижением в области логики, но и привела к созданию целой программы пересмотра истории логики, реализация которой дала возможность обнаружить зародыши многих известных логических концепций в античной и средневековой логике.

Менее известны результаты Лукасевича в области философии науки и научного творчества. Он был сторонником так называемой обратной теории индукции, в которой индукция рассматривается как разновидность редукции, при которой по готовому заключения ищут гипотетические посылки. По мнению Лукасевича в эмпирических науках общие гипотезы формулируются редуктивно, а эмпирические процедуры не сводимы к логике, поскольку в них важную роль играет интуиция исследователя.