- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
How to Say Things with Formalisms
In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 77--93 (1992)
Abstract
Recent attention to "self-consistent" (Rosser-style) systems raises anew the question of the proper interpretation of the Gödel Second Incompleteness Theorem and its effect on Hilbert's Program. The traditional rendering and consequence is defended with new arguments justifying the intensional correctness of the derivability conditions.Author's Profile
My notes
Similar books and articles
Measurement and the Interpretation of Quantum Mechanics and Relativity Theory.W. M. De Muynck - 1995 - Synthese 102 (2):293 - 318.
Grammar formalisms viewed as evolving algebras.David E. Johnson & Lawrence S. Moss - 1994 - Linguistics and Philosophy 17 (6):537 - 560.
A Critique of Humean and Anti-Humean Metaphysics of Cause and Law - final version.Benjamin Smart - manuscript
Reasoning about partial functions with the aid of a computer.William M. Farmer - 1995 - Erkenntnis 43 (3):279 - 294.
Imposed intelligibility and strong claims concerning cognitive systems.Roy Lachman - 2004 - Behavioral and Brain Sciences 27 (2):294-295.
Measurement and the interpretation of quantum mechanics and relativity theory.W. M. de Muynck - 1995 - Synthese 102 (2):293-318.
Dynamic interpretations of constraint-based grammar formalisms.Lawrence S. Moss & David E. Johnson - 1995 - Journal of Logic, Language and Information 4 (1):61-79.
Analytics
Added to PP
2009-01-30
Downloads
695 (#23,592)
6 months
48 (#90,676)
2009-01-30
Downloads
695 (#23,592)
6 months
48 (#90,676)
Historical graph of downloads
Author's Profile
Citations of this work
On the Invariance of Gödel’s Second Theorem with Regard to Numberings.Balthasar Grabmayr - 2021 - Review of Symbolic Logic 14 (1):51-84.
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.
References found in this work
The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
Hilbert’s Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: Reidel.
The Unprovability of Consistency. An Essay in Modal Logic.C. Smoryński - 1979 - Journal of Symbolic Logic 46 (4):871-873.
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-b9rvg uwo