Uniform self-reference

Studia Logica 44 (4):439 - 445 (1985)
  Copy   BIBTEX

Abstract

Self-referential sentences have played a key role in Tarski's proof [9] of the non-definibility of arithmetic truth within arithmetic and Gödel's proof [2] of the incompleteness of Peano Arithmetic. In this article we consider some new methods of achieving self-reference in a uniform manner.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,656

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
78 (#194,947)

6 months
2 (#671,408)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Languages in which self reference is possible.Raymond M. Smullyan - 1957 - Journal of Symbolic Logic 22 (1):55-67.
Chameleonic languages.Raymond M. Smullyan - 1984 - Synthese 60 (2):201 - 224.

Add more references