Show simple item record

dc.contributor.authorKetland, Jeffrey
dc.date.accessioned2006-07-13T16:19:31Z
dc.date.available2006-07-13T16:19:31Z
dc.date.issued2000
dc.identifier.citationAnalysis 60.1 January 2000, pp. 1–4.en
dc.identifier.urihttp://hdl.handle.net/1842/1338
dc.description.abstractIn 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).)en
dc.format.extent403962 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherBlackwellsen
dc.subjectPhilosophyen
dc.subjectphilosophy of mathematicsen
dc.titleA proof of the (strengthened) Liar formula in a semantical extension of Peano Arithmeticen
dc.typeArticleen


Files in this item

This item appears in the following Collection(s)

Show simple item record