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

Par : Denis Miéville
Formats :
Grand Format
110,30 €
  • Nombre de pages469
  • FormatGrand Format
  • PrésentationBroché
  • 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 propos de Denis Miéville

Né en 1946, Miéville Denis complète ses études à l'Université de Neuchâtel où il obtient un brevet d'enseignement secondaire et une licence ès sciences. Après plusieurs années consacrées à l'enseignement des mathématiques à La Chaux-de-Fonds, assistant de logique et collaborateur de J.-B. Grize (directeur du Centre de recherches sémiologiques de l'Université de Neuchâtel), il participe à plusieurs recherches relatives au développement d'une logique naturelle.
Il poursuit ses activités à Bowling Green State University, USA, sous la direction de V.F. Rickey. Il soutient en 1984 sa thèse de doctorat ès sciences. Actuellement, il continue de participer aux travaux du Centre de recherches sémiologiques de l'Université de Neuchâtel.
Découvrir l'auteur