Skip to main content
Article thumbnail
Location of Repository

Self-reference in Arithmetic II

By Volker Halbach and Albert Visser


In this sequel to Self-reference in arithmetic I we continue our discussion of the question: What does it mean for a sentence of arithmetic to ascribe to itself a property? We investigate how the properties of the supposedly self-referential sentences depend on the chosen coding, the formulae expressing the properties and the way a fixed point for the expressing formulae are obtained. In this second part we look at some further examples. In particular, we study sentences apparently expressing their Rosser-provability, their own (Formula presented.)-truth or their own (Formula presented.)-truth. Finally we offer an assessment of the results of both papers

Topics: self-reference, arithmetization, intentsionality, Logic, Philosophy, Mathematics (miscellaneous)
Year: 2014
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.