Un développement des systèmes logiques de Stanislaw Lesniewski. Protothétique, ontologie, méréologie

Par : Denis Miéville
Actuellement indisponible
Cet article est actuellement indisponible, il ne peut pas être commandé sur notre site pour le moment. Nous vous invitons à vous inscrire à l'alerte disponibilité, vous recevrez un e-mail dès que cet ouvrage sera à nouveau disponible.
  • Nombre de pages469
  • PrésentationBroché
  • FormatGrand Format
  • Poids0.695 kg
  • Dimensions14,7 cm × 20,9 cm × 2,8 cm
  • ISBN3-261-03494-7
  • EAN9783261034946
  • Date de parution01/12/1984
  • CollectionPublications universitaires eu
  • ÉditeurLang & Cie (Herbert)

Résumé

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.
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.