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: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 51--73 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

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

Truth, negation and other basic notions of logic.Jaakko Hintikka - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 195--219.
The age of alternative logics. Assessing philosophy of logic and mathematics today.H. So - 2008 - History and Philosophy of Logic 29 (3).
Transpositions.Henk Visser - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 75--86.
Effectiveness.Stewart Shapiro - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 37--49.
IF and Epistemic Action Logic.Manuel Rebuschi - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 261--281.
Epistemic models, logical monotony and substructural logics.Mikaël Cozic - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 11--23.
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 151--161.
Semantics as based on inference.Jaroslav Peregrin - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 25--36.
Semantics for Naive Set Theory in Many-Valued Logics.Thierry Libert - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 121--136.
Logic as a Tool of Science versus Logic as a Scientific Subject.Kuno Lorenz - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 299--310.

Analytics

Added to PP
2014-01-31

Downloads
1,371 (#12,434)

6 months
251 (#10,211)

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 ways of paradox, and other essays.Willard Van Orman Quine (ed.) - 1976 - Cambridge: Harvard University Press.
Pursuit of truth.Willard Van Orman Quine - 1992 - Cambridge: Harvard University Press.
The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.
From stimulus to science.Willard Van Orman Quine - 1992 - Cambridge: Harvard University Press.

View all 28 references / Add more references