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 [[metalanguage]], a language that talks about basic [[language]]s.  The basic languages, known as "object languages" describe, or purport to decribe, the state of the world.  The metalanguage then descibes whether or not the basic language has succeeded. [[Karl Popper]] recommended thinking of the languages in terms of two different [[natural language]]s.  <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 [[metalanguage]], a language that talks about basic [[language]]s.  The basic languages, known as "object languages" describe, or purport to decribe, the state of the world.  The metalanguage then descibes whether or not the basic language has succeeded. [[Karl Popper]] recommended thinking of the languages in terms of two different [[natural language]]s.  <ref>Popper, K.R. ''The Open Society and Its Enemies, Vol 2.'' Routledge. London. 1966. p 369-396</ref>.  Take, for example, [[French]] as the basic language and the statement:

<blockquote>

<blockquote>