Does Gödel's Incompleteness Theorem Prove that Truth Transcends Proof?

In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 51--73 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Existentially closed structures and gödel's second incompleteness theorem.Zofia Adamowicz & Teresa Bigorajska - 2001 - Journal of Symbolic Logic 66 (1):349-356.
Chaitin interview for simply gödel website.Palle Yourgrau - unknown
The Surprise Examination Paradox and the Second Incompleteness Theorem.Shira Kritchman & Ran Raz - unknown
Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.FangWen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
Three theorems of Godel.Andrew Boucher - manuscript
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
Penrose's new argument.Per Lindström - 2001 - Journal of Philosophical Logic 30 (3):241-250.
Edgar Morin's paradigm of complexity and gödel's incompleteness theorem.Yi-Zhuang Chen - 2004 - World Futures 60 (5 & 6):421 – 431.
Socrates did it before Gödel.Josef Wolfgang Degen - 2011 - Logic and Logical Philosophy 20 (3):205-214.
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
T-schema deflationism versus gödel’s first incompleteness theorem.Christopher Gauker - 2001 - Analysis 61 (2):129–136.

Analytics

Added to PP
2014-01-31

Downloads
967 (#14,473)

6 months
267 (#8,758)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Vidal-Rosset Joseph
Université de Lorraine

Citations of this work

Add more citations

References found in this work

The logical syntax of language.Rudolf Carnap - 1937 - London,: K. Paul, Trench, Trubner & co.. Edited by Amethe Smeaton.
The ways of paradox, and other essays.Willard Van Orman Quine (ed.) - 1976 - Cambridge, Mass.: Harvard University Press.
Pursuit of truth.Willard Van Orman Quine - 1990 - Cambridge, Mass.: Harvard University Press.
The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.

View all 33 references / Add more references