Re: Liar's Paradox in Godel's Theorem (newbie question)

gundalav@xxxxxxxxx wrote:
What does Godel's Theorem (first and second)
has to say about Liar's Paradox?

Nothing, really. The techniques used by Gödel in its proof lend themselves in a rather obvious fashion to a proof of undefinability of truth based on the paradox, though.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, darüber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages

  • Re: The fallacy of strengthened liars paradox.
    ... statement that gives rise to "the Liar's Paradox": ... concept if we are to determine the truth or falsity of the statement. ... truth values based solely on the contradictory truth values alleged in ...
    (sci.logic)
  • Re: The Reasoned Death of the Liars Paradox
    ... that such a comparative process can be and has been carried out. ... of a statement that gives rise to the Liar's Paradox: ... This statement ascribes to itself the predicate-class quality of being ... In judging the truth value of the statement, ...
    (sci.logic)
  • Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity
    ... In some notion of contemplating paradox and truth, ... So in saying that the truth lies, that is a reference to, for example, ... paradox before, instead with infinite, but it appears to match similar ... Both produced excellent tomes, _Graph Theory_ and _Graphs ...
    (sci.math)
  • Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity
    ... In some notion of contemplating paradox and truth, ... So in saying that the truth lies, that is a reference to, for example, ... paradox before, instead with infinite, but it appears to match similar ... Both produced excellent tomes, _Graph Theory_ and _Graphs ...
    (sci.logic)
  • Re: The fallacy of strengthened liars paradox.
    ... "The Liar's Paradox" arises from statements like "This very statement ... concept if we are to determine the truth or falsity of the statement. ... truth values based solely on the contradictory truth values alleged in ...
    (sci.logic)