About this document
Tarski by Fred_Mayweather is a document available to read on EtoBox.
Tarski proposed a theory of truth that addresses the liar paradox. [1] His theory requires that any adequate definition of truth must satisfy instances of the schema "s is true if and only if p", where s names a sentence and p is the sentence. [2] While this avoids triviality, it leads to paradoxes for languages that can talk about their own syntax. [3] Tarski resolved this by distinguishing the object language from a richer metalanguage used to define truth for the object language.
- Author
- Fred_Mayweather
- Language
- EN