A Proof of the (Strengthened) Liar Formula in a Semantical Extension of Peano Arithmetic

Analysis 60 (1):1-4 (2000)
  Copy   BIBTEX

Abstract

In the Tarskian theory of truth, the strengthened liar sentence is a theorem. More generally, any formalized truth theory which proves the full, self-applicative scheme True f will prove the strengthened liar sentence..)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
A model of peano arithmetic with no elementary end extension.George Mills - 1978 - Journal of Symbolic Logic 43 (3):563-567.
The shortest definition of a number in Peano arithmetic.Dev K. Roy - 2003 - Mathematical Logic Quarterly 49 (1):83-86.
Arithmetic with Fusions.Jeff Ketland & Thomas Schindler - 2016 - Logique Et Analyse 234:207-226.
Model-theoretic properties characterizing peano arithmetic.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (3):949-963.
Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
On definability in Peano arithmetic.Laszlo Csirmaz - 1979 - Bulletin of the Section of Logic 8 (3):148-152.
Unfolding finitist arithmetic.Solomon Feferman & Thomas Strahm - 2010 - Review of Symbolic Logic 3 (4):665-689.
Uniform self-reference.Raymond M. Smullyan - 1985 - Studia Logica 44 (4):439 - 445.
Minimal truth and interpretability.Martin Fischer - 2009 - Review of Symbolic Logic 2 (4):799-815.
Whither relevant arithmetic?Harvey Friedman & Robert K. Meyer - 1992 - Journal of Symbolic Logic 57 (3):824-831.

Analytics

Added to PP
2016-02-04

Downloads
34 (#458,553)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.
Conservative theories of classical truth.Volker Halbach - 1999 - Studia Logica 62 (3):353-370.

Add more references