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

From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
Date: Mon, 01 May 2006 01:25:41 +0300

Charlie-Boo wrote:

Aatu Koskensilta wrote:

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.

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"? If it is I see no reason to alter my original reply "Nothing, really."

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

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

Follow-Ups:
- Re: Liar's Paradox in Godel's Theorem (newbie question)
  - From: Charlie-Boo

References:
- Re: Liar's Paradox in Godel's Theorem (newbie question)
  - From: Charlie-Boo

Prev by Date: Re: Where is the paradox in liar?
Next by Date: Re: Need help to answer a boy genius.
Previous by thread: Re: Liar's Paradox in Godel's Theorem (newbie question)
Next by thread: Re: Liar's Paradox in Godel's Theorem (newbie question)
Index(es):
- Date
- Thread

Relevant Pages

Re: Liars Paradox in Godels Theorem (newbie question)
... So what exactly do you think the incompleteness theorems tell us about ... the liar paradox? ... so that truth does not coincide with 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. ... 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)
Re: Godel on BBC 4
... classical geometry or "challenging the Leibnizian/Newtonian project" ... in the formulation of the liar paradox can't be credible. ... paradox -- is replaced by provability in the former. ... from the notion of 'truth' in the liar paradox. ...
(sci.logic)