Skip to main content
×
Home
    • Aa
    • Aa

SELF-REFERENCE IN ARITHMETIC I

  • VOLKER HALBACH (a1) and ALBERT VISSER (a2)
Abstract
Abstract

A Gödel sentence is often described as a sentence saying about itself that it is not provable, and a Henkin sentence as a sentence stating its own provability. We discuss what it could mean for a sentence of arithmetic to ascribe to itself a property such as provability or unprovability. The starting point will be the answer Kreisel gave to Henkin’s problem. We describe how the properties of the supposedly self-referential sentences depend on the chosen coding, the formulae expressing the properties and the way a fixed points for the formulae are obtained. This paper is the first of two papers. In the present paper we focus on provability. In part II, we will consider other properties like Rosser provability and partial truth predicates.

Copyright
Corresponding author
*NEW COLLEGE OXFORD, OX1 3BN, ENGLAND E-mail: volker.halbach@new.ox.ac.uk
PHILOSOPHY, FACULTY OF HUMANITIES UTRECHT UNIVERSITY JANSKERHOF 13 3512 BL UTRECHT, THE NETHERLANDS E-mail: albert.visser@phil.uu.nl
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

D. D Auerbach . (1985). Intensionality and the Gödel theorems. Philosophical Studies, 48, 337351.

C Franks . (2009). The Autonomy of Mathematical Knowledge: Hilbert’s Program Revisited. Cambridge: Cambridge University Press.

R Heck . (2007). Self-reference and the languages of arithmetic. Philosophia Mathematica, 15, 129.

V McGee . (1992). Maximal consistent sets of instances of Tarski’s schema (T). Journal of Philosophical Logic, 21, 235241.

P Milne . (2007). On Gödel sentences and what they say. Philosophia Mathematica, 15, 193226.

G Priest . (1997). Yablo’s paradox. Analysis, 57, 236242.

C Smoryński . (1985). Self-Reference and Modal Logic. Universitext. New York, Berlin, Heidelberg, and Tokyo: Springer.

A. Tarski , A. Mostowski , & R. M Robinson . (1953). Undecidable Theories. Amsterdam: North Holland.

A Visser . (2005). Faith & Falsity: A study of faithful interpretations and false ${\rm{\Sigma }}_1^0$-sentences. Annals of Pure and Applied Logic, 131(13), 103131.

S Yablo . (1993). Paradox without self-reference. Analysis, 53, 251252.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 36 *
Loading metrics...

Abstract views

Total abstract views: 235 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 22nd September 2017. This data will be updated every 24 hours.