Logique arithmétique. L’arithmétisation de la logique

Informations

Auteur : Yvon Gauthier

Collection: Logique de la science

Discipline: Philosophie

Parution: 4 août 2010

216 pages

34.95 $

Description

La logique arithmétique est la logique interne de l’arithmétique, c’est la traduction ou l’interprétation de la logique formelle dans le langage de l’arithmétique. Cette arithmétique n’est pas l’arithmétique formelle de Frege et Peano, mais l’arithmétique classique de Fermat à Kronecker jusqu’à la théorie contemporaine des nombres. L’hypothèse proposée ici suppose qu’après l’arithmétisation de l’analyse, chez Cauchy et Weierstrass, et l’arithmétisation de l’algèbre, chez Kronecker, la logique formelle a amorcé son arithmétisation avec Hilbert pour atteindre son aboutissement avec l’informatique théorique actuelle. Dans cette perspective, la méthode de la descente infinie de Fermat et l’arithmétique générale de Kronecker fournissent une critique constructiviste de l’induction transfinie en même temps qu’une preuve de consistance interne de l’arithmétique polynomiale. La position fondationnelle défendue dans l’ouvrage se réclame du constructivisme logicomathématique et constitue les assises d’un programme qu’on peut bien appeler " logique de la science " après Peirce et Carnap. Le motif recteur des travaux formels est d’ordre philosophique et c’est dans un esprit oecuménique que l’auteur a voulu mener ces recherches.

Livre papier

ISBN : 978-2-7637-8997-2 34.95 $ Ajouter au panier Item ajouté

Format PDF

ISBN : 9782763709970

Protection DRM

Tous les livres numériques des PUL sont soumis aux législations concernant le droit d'auteur. Les livres numériques sont protégés par des DRM (Digital Rights Management). Pour obtenir un livre numérique protégé par des DRM vous devez télécharger gratuitement le logiciel Adobe Digital Editions. Bonne lecture !

Acheter chez Prologue

Tablette numérique

Acheter chez NuBook

Du même auteur

Dans la même collection

Suggestions de lecture

Recevez notre infolettre qui vous informe sur nos publications et sur nos promotions.