Un développement des systèmes logiques de Stanislaw Leśniewski

A l'aube de ce siècle, la découverte de contradictions intervenant au sein même de l'édifice mathématique perturbe profondément logiciens et mathématiciens. Si les solutions proposées par Russell et Zermelo sont bien connues, il en est d'autres qui ont été développées en marge du courant dominant. Les théories logiques de Stanislaw Lésniewski (1886-1939) possèdent ce caractère marginal car leur intention est de s'ériger en opposition à l'attitude formaliste d'alors. Cet ouvrage est une présentation des systèmes logiques de Lésniewski. Elle s'accompagne d'aspects historiques et d'une réflexion épistémologique qui sont de nature à mieux faire comprendre les inventions d'un grand logicien.