A proof of the (strengthened) Liar formula in a semantical extension of Peano Arithmetic

View/Open
Date
2000
Author
Ketland, Jeffrey
Metadata
Show full item record
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”) f will prove the strengthened liar sentence. (This scheme is sometimes called (T-Out).)
URI
Collections