(Lvov, Ucrania [entonces, Imperio austrohúngaro], 1878 - Dublín, República de Irlanda, 1956). Lógico y filósofo polaco. Miembro del Círculo de Varsovia, fue profesor en Lvov (1906-1915) y Varsovia (1915-1918 y 1920-1939); desde 1946 hasta su muerte, profesó en la Royal Irish Academy de Dublín. Es el autor de una notación lógica, bastante difundida, que evita los paréntesis y los puntos. Dedicó gran atención a la lógica polivalente, tema que fue uno de los primeros en desarrollar. En 1920 publicó el estudio Sobre la lógica trivalente, en la que considera tres valores en vez de los dos (verdad y falsedad) tradicionales. Posteriormente, y en colaboración con Alfred Tarski, elaboró una lógica infinitamente polivalente. Su estudio de la silogística de Aristóteles, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic (1951), es un trabajo clásico en la lógica contemporánea.