Changes

If the sentence is false then it correctly describes itself and is, therefore, true.  On the other hand if it is true it mis-describes itself and is, therefore, false.

If the sentence is false then it correctly describes itself and is, therefore, true.  On the other hand if it is true it mis-describes itself and is, therefore, false.

Alfred Tarski, in attempting to formulate a conception of truth that avoided these paradoxes, formulated a way of seperating the concept of truth from "the facts" it was to represent.  His ''Semantic Theory of Truth'' held that truth was part of a meta-language, a language that talks about basic languages.  The basic languages, known as "object languages" describe, or purport to decribe, the state of the world.  The meta-language then descibes whether or not the basic language has succeeded. [[Karl Popper]] recommended thinking of the languages in terms of two different natural languages.  <ref>Popper, K.R. ''The Open Society and It's Enemies, Vol 2.'' Routledge. London. 1966. p 369-396</ref>.  Take, for example, French as the basic language and the statement:

[[Alfred Tarski]], in attempting to formulate a conception of truth that avoided these paradoxes, formulated a way of seperating the concept of truth from "the facts" it was to represent.  His ''Semantic Theory of Truth'' held that truth was part of a meta-language, a language that talks about basic languages.  The basic languages, known as "object languages" describe, or purport to decribe, the state of the world.  The meta-language then descibes whether or not the basic language has succeeded. [[Karl Popper]] recommended thinking of the languages in terms of two different natural languages.  <ref>Popper, K.R. ''The Open Society and It's Enemies, Vol 2.'' Routledge. London. 1966. p 369-396</ref>.  Take, for example, French as the basic language and the statement:

<blockquote>

<blockquote>