ThesaHelp: references il
Topic: Liar's paradox and Russell's paradox
Topic: Godel's incompleteness theorem
Topic: semantic truth; s iff p
Topic: logic
Topic: definition by example
Topic: set definition by extension or intension
 
Reference
Kripke, S.,
"Outline of a theory of truth",
Journal of Philosophy, 72, pp. 690716, 1975.
Google
Quotations
690 ;;Quote: any treatment of the concept of truth must circumvent the liar's paradox, e.g., the Cretan prophet
 691 ;;Quote: many ordinary assertions about truth are liable to the liar's paradox if empirical facts are extremely unfavorable
 693 ;;Quote: let 'Jack' be a name of the sentence 'Jack is short'; could use to prove Godel's incompleteness theorem
 693 ;;Quote: a sentence is grounded if one can determine its truth from sentences not mentioning truth; liar's paradox is not grounded
 694 ;;Quote: Tarski's hierarchy of languages is the orthodox approach to the liar's paradox; but it requires many versions of 'true'
 700 ;;Quote: handle a partially defined predicate by specifying its extension (true for these) and antiextension (false for these); e.g., threevalued logic
 705 ;;Quote: grounded sentences define a fixed point, a language that contains its own truth predicate; liar paradoxes are ungrounded
 714 ;;Quote: truth defined by grounded sentences still places "grounded" and "paradoxical" in a metalanguage, but these are specialized concepts

Related Topics
ThesaHelp: references il (342 items)
Topic: Liar's paradox and Russell's paradox (25 items)
Topic: Godel's incompleteness theorem (19 items)
Topic: semantic truth; s iff p (34 items)
Topic: logic (84 items)
Topic: definition by example (26 items)
Topic: set definition by extension or intension (18 items)
