Giving an account of provability within a theory

Philosophia Mathematica 11 (3):332-340 (2003)
  Copy   BIBTEX

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 itself

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,004

External links

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

Through your library

Similar books and articles

A Note on Derivability Conditions.Taishi Kurahashi - 2020 - Journal of Symbolic Logic 85 (3):1224-1253.
What does Gödel's second theorem say?Michael Detlefsen - 2001 - Philosophia Mathematica 9 (1):37-71.
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.
Gödelizing the Yablo Sequence.Cezary Cieśliński & Rafal Urbaniak - 2013 - Journal of Philosophical Logic 42 (5):679-695.
Derivability conditions on Rosser's provability predicates.Toshiyasu Arai - 1990 - Notre Dame Journal of Formal Logic 31 (4):487-497.
Incompleteness in a general setting (vol 13, pg 21, 2007).John L. Bell - 2008 - Bulletin of Symbolic Logic 14 (1):21 - 30.
The Logic of Provability.Philip Scowcroft - 1995 - Philosophical Review 104 (4):627.

Analytics

Added to PP
2009-01-28

Downloads
95 (#235,919)

6 months
15 (#212,715)

Historical graph of downloads
How can I increase my downloads?

References found in this work

What does Gödel's second theorem say?Michael Detlefsen - 2001 - Philosophia Mathematica 9 (1):37-71.

Add more references