Abstract

Stanisław Leśniewski was one of the two originators and drivers of the Warsaw School of logic. This article describes his work chronologically, from his early philosophical work in Lvov to his highly original logical systems of protothetic, ontology and mereology. His struggles to overcome logical antinomies, his absolute commitment to logical clarity and precision, and his antipathy towards set theory made his nominalistic approach to logic among the most original of the twentieth century, while his early death and the loss of his papers meant his work was only gradually discovered and appreciated outside Poland.