Stanislaw LESNIEWSKI

Stanislaw LESNIEWSKI était un logicien & philosophe polonais, figure clé de l'École de Varsovie aux côtés de Łukasiewicz et Tarski. Spécialiste des fondements de la logique et des mathématiques , il développa trois systèmes logiques originaux pour résoudre les paradoxes comme celui de Russell, en rejetant le formalisme pur au profit d'une logique interprétée et ancrée dans la réalité.

Il rejette le conventionalisme et les logiques multi-valuées, insistant sur une logique "vraie" modélisant la réalité, avec une distinction stricte entre langage-objet et métalange. Perfectionniste, il privilégie des définitions exactes, un extensionalisme radical et un nominalisme anti-abstrait, critiquant Russell, Zermelo ou Łukasiewicz. Ses conférences à Varsovie dès 1919 couvrent groupes, définitions inductives et comparaisons avec Whitehead, mais ses notes furent détruites lors de l'Insurrection de Varsovie en 1944.

Bien que marginaux par leur complexité, ses apports (catégories sémantiques, méréologie) influencent la sémantique moderne, la philosophie analytique et la logique formelle.