Dialogue 38 (2):369- (1999)

Abstract
Ce bel ouvrage, clair, aéré et spacieux, se caractérise à la fois par sa volonté de simplicité d’accès, et son ambition, puisqu’on y trouve notamment une démonstration de la complétude d’un certain système déductif S1 pour la logique classique des prédicats, ainsi qu’une version synoptique du théorème de Gödel, selon lequel toute théorie du premier ordre complète axiomatisable est décidable, d’où il s’ensuit que l’arithmétique, c’est-à-dire l’ensemble des énoncés du premier ordre vrais dans, n’est pas axiomatisable; ce qu’on exprime souvent en disant que tout système formel pour l’arithmétique est incomplet, au sens où il y a des énoncés vrais qui ne sont pas des théorèmes du système.
Keywords Contemporary Philosophy  General Interest
Categories (categorize this paper)
ISBN(s) 0012-2173
DOI 10.1017/s0012217300007265
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,775
Through your library

References found in this work BETA

Introduction to Mathematical Logic.ALONZO CHURCH - 1944 - London: Oxford University PRess.
Introduction to Mathematical Logic.Alonzo Church - 1956 - Princeton: Princeton University Press.
Mathematical Logic.W. V. Quine - 1940 - Cambridge: Harvard University Press.
Logic and Structure.D. van Dalen - 1980 - Springer Verlag.

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Husserl et Kant: Réflexions à propos d'une thèse récente.Arion L. Kelkel - 1966 - Revue de Métaphysique et de Morale 71 (2):154 - 198.
Le devenir et l'idéal social a propos d'une brochure récente.F. Rauh - 1904 - Revue de Métaphysique et de Morale 12 (1):51 - 56.
Quelques remarques à propos de l'analytique et du synthétique.J. Largeault - 1977 - Revue de Métaphysique et de Morale 82 (4):457 - 470.
La dialectique, entre logique et rhétorique.Laurent Keiff - 2010 - Revue de Métaphysique et de Morale 66 (2):149-178.
Contribution a une Logique Paradoxale du Symbolique.Jean-Jacques Wunenburger - 2008 - Proceedings of the Xxii World Congress of Philosophy 12:79-95.
Deux Remarques À Propos de la Propriété de Recouvrement Fini.Bruno Poizat - 1984 - Journal of Symbolic Logic 49 (3):803-807.

Analytics

Added to PP index
2010-09-25

Total views
21 ( #502,309 of 2,432,676 )

Recent downloads (6 months)
2 ( #294,374 of 2,432,676 )

How can I increase my downloads?

Downloads

My notes