En cours de chargement...
?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 on été développées en marge du courant dominant. Les théories logiques de Stanislaw Leniewski [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 Le§-niewski. 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.