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

From: "Charlie-Boo" <shymathguy@xxxxxxxxx>
Date: 30 Apr 2006 15:48:20 -0700

Aatu Koskensilta, Charlie-Boo:

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."

You don't believe in correcting the record, now that you see the close
relationship between Liar and Godel?

C-B

--
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: Aatu Koskensilta

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

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: 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)
Re: Simple yet Profound Metatheorem
... On Thu, 15 Dec 2005, Charlie-Boo wrote: ... > William Elliot wrote: ... >>> Don't you think that provability is expressible within the Logic? ... Prev by Date: ...
(sci.logic)