Skip to main content
Log in

Uniform self-reference

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. G. Boolos, The Unprovability of Consistency, Cambridge University Press, 1979, p. 49.

  2. K. Gödel Über formal unescheidbar Sätze der Principia Mathematica und verwandter Systeme I, Monatshäfte für Mathematik und Physik, vol. 38, 1931, pp, 173–198.

    Google Scholar 

  3. R. M. Smullyan, Languages in which self-reference is possible, The Journal of Symbolic Logic (1957), pp. 55–67.

  4. R. M. Smullyan, Theory of Formal Systems, Princeton University Press, 1961.

  5. R. M. Smullyan, Incompleteness and Undecidability, Oxford University Press, 198-.

  6. R. M. Smullyan, Fixed points and self-reference, International Journal of Mathematics and Mathematical Sciences, Vol. 7 (1984), No. 2.

  7. R. M. Smullyan, Chameleonic languages, Synthese, Vol. 60 (1984), August, pp. 201–224.

    Google Scholar 

  8. R. M. Smullyan, Diagonalization and self-reference (in preparation).

  9. A. Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica, vol. 1 (1936), pp. 261–405

    Google Scholar 

  10. A. Tarski, Undecidable Theories, North Holland, 1953.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Smullyan, R.M. Uniform self-reference. Stud Logica 44, 439–445 (1985). https://doi.org/10.1007/BF00370432

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370432

Keywords

Navigation