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

dc.contributor.author	Ketland, Jeffrey
dc.date.accessioned	2006-07-13T16:19:31Z
dc.date.available	2006-07-13T16:19:31Z
dc.date.issued	2000
dc.identifier.citation	Analysis 60.1 January 2000, pp. 1–4.	en
dc.identifier.uri	http://hdl.handle.net/1842/1338
dc.description.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).)	en
dc.format.extent	403962 bytes
dc.format.mimetype	application/pdf
dc.language.iso	en
dc.publisher	Blackwells	en
dc.subject	Philosophy	en
dc.subject	philosophy of mathematics	en
dc.title	A proof of the (strengthened) Liar formula in a semantical extension of Peano Arithmetic	en
dc.type	Article	en