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

Aatu Koskensilta wrote:

What does Godel's Theorem (first and second)
has to say about Liar's Paradox?

Nothing, really.

Nothing?

So what exactly do you think the incompleteness theorems tell us about
the liar paradox? That it's not about provability?

No, that "This is not provable." is not equivalent to "This is not
true.", so that truth does not coincide with provability.

Do you see how to derive Godel's Theorem based on soundness given that
truth and provability do not coincide?

C-B

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

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

.

Relevant Pages

  • Re: Liars Paradox in Godels Theorem (newbie question)
    ... so that truth does not coincide with provability. ... And this is what the incompleteness theorems say about the liar paradox, that the liar is not equivalent to e.g. "this sentence is not provable in PA"? ...
    (sci.logic)
  • Re: My talk about Godel to the post-grads.
    ... the first incompleteness theorems. ... I never claimed that the subject of first order reasoning is unrelated ... What then is a meta theorem, ... are the originating points of a proof, provability of a meta theorem flows ...
    (sci.logic)
  • Re: Godel on BBC 4
    ... classical geometry or "challenging the Leibnizian/Newtonian project" ... in the formulation of the liar paradox can't be credible. ... Perhaps in your own understanding of truth and provability. ...
    (sci.logic)
  • Re: Godel on BBC 4
    ... classical geometry or "challenging the Leibnizian/Newtonian project" ... in the formulation of the liar paradox can't be credible. ... I think that divorcing truth and provability is paradoxical. ...
    (sci.logic)
  • Re: Godel on BBC 4
    ... classical geometry or "challenging the Leibnizian/Newtonian project" ... in the formulation of the liar paradox can't be credible. ... To make the argument stick and bear fruit you must say what is meant by 'provability' and why you think it differs from the notion of 'truth' in the liar paradox. ...
    (sci.logic)