- 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
Giving an account of provability within a theory
Philosophia Mathematica 11 (3):332-340 (2003)
Abstract
This paper offers a justification of the ‘Hilbert-Bernays Derivability Conditions’ by considering what is required of a theory which gives an account of provability in itselfLinks
PhilArchive
External links
- From the Publisher via CrossRef (no proxy)
- academic.oup.com (no proxy)
- dx.doi.org (no proxy)
- philmat.oxfordjournals.org (no proxy)
- philmat.oxfordjournals.org [2] (no proxy)
- philmat.oxfordjournals.org [3] (no proxy)
- philmat.oxfordjournals.org [4] (no proxy)
- philmat.oxfordjournals.org [5] (no proxy)
- search.ebscohost.com
(no proxy) - academic.oup.com [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
Informal proofs and mathematical rigour.Marianna Antonutti Marfori - 2010 - Studia Logica 96 (2):261-272.
Provability, complexity, grammars.Lev Dmitrievich Beklemishev - 1999 - Providence, RI: American Mathematical Society. Edited by Mati Reĭnovich Pentus & Nikolai Konstantinovich Vereshchagin.
Incompleteness in a general setting (vol 13, pg 21, 2007).John L. Bell - 2008 - Bulletin of Symbolic Logic 14 (1):21 - 30.
Provability logics for relative interpretability.Frank Veltman & Dick De Jongh - 1990 - In Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School. New York, NY, USA: pp. 31-42.
On first-order theories with provability operator.Sergei Artëmov & Franco Montagna - 1994 - Journal of Symbolic Logic 59 (4):1139-1153.
Analytics
Added to PP
2009-01-28
Downloads
73 (#221,697)
6 months
39 (#94,244)
2009-01-28
Downloads
73 (#221,697)
6 months
39 (#94,244)
Historical graph of downloads
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.
Too naturalist and not naturalist enough: Reply to Horsten.Luca Incurvati - 2008 - Erkenntnis 69 (2):261 - 274.
References found in this work
What does Gödel's second theorem say?Michael Detlefsen - 2001 - Philosophia Mathematica 9 (1):37-71.
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-7c76586df8-l2pxr uwo