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