Stanislaw Lesniewski

(Serpujov, 1886-Varsovia, 1939) Lógico polaco de origen ruso. Fue profesor de filosofía de la matemática en la Universidad de Varsovia. Entre sus trabajos sobre lógica matemática destaca la elaboración de un tipo de sistemas deductivos (mereología) y de un sistema ontológico axiomático, con los que trató de eludir la paradoja de Russell y otras desde un punto de vista no formalista.