Filósofo polaco (Leópolis, 1878 - Dublín, 1956). Se distinguió especialmente en el análisis de la lógica tradicional. En 1917 propuso una lógica de tres valores, añadiendo a lo verdadero y lo falso, lo posible. Realizó importantes investigaciones en el campo de la metalógica.
Obras fundamentales
• Elementos de lógica matemática (1929). • La silogística de Aristóteles (1951).