Dialogue 38 (2):369-378 (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 No categories specified
(categorize this paper)
ISBN(s) 0012-2173
DOI dialogue199938242
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,848
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Mathematical Logic.E. N. & Willard Van Orman Quine - 1940 - Journal of Philosophy 37 (23):640.
Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.
Logic and Structure.Melvin Fitting - 1986 - Journal of Symbolic Logic 51 (3):826-827.
A Mathematical Introduction to Logic.J. R. Shoenfield - 1973 - Journal of Symbolic Logic 38 (2):340-341.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Introduction à la Logique Pertinente.François Rivenc - 2005 - Presses Universitaires de France.
A propos de la vie de S. Fantin.E. Follieri - 1997 - Byzantion 67 (2):548-553.
Le roman de Blancandin. À propos d'une édition récente.Charles François - 1965 - Revue Belge de Philologie Et D’Histoire 43 (3):983-992.
A propos de "Logique juridique" de Ch. Perelman.R. Legros - 1976 - Logique Et Analyse 19 (73):33.

Analytics

Added to PP index
2017-02-15

Total views
7 ( #1,019,463 of 2,432,774 )

Recent downloads (6 months)
3 ( #213,827 of 2,432,774 )

How can I increase my downloads?

Downloads

My notes