Lesniewski, Stanisław

logico polacco (Serpuhov, Russia, 1886-Varsavia 1939). Studioso di semantica e metamatematica si impegnò nella formalizzazione delle teorie deduttive e particolarmente delle regole di definizione. Gli si devono approfondite ricerche sulla nozione di verità, sulle antinomie semantiche e sulle categorie semantiche.