Re: Penrose vs the Robot

Rupert says...

>Daryl McCullough wrote:
>> Rupert says...
>>
>> >> If you consider the "Godel sentence for Penrose"
>> >>
>> >> G <-> Penrose does not unassailably believe G
>> >>
>> >> then Penrose cannot consistently maintain his soundness
>> >> with respect to sentences such as G.
>>
>> >This sentence leads to paradox.
>>
>> No, it doesn't.

>The reason Penrose "can't make sense" of the sentence is that he argues
>about it to himself and gets into contradictions, same as with the liar
>paradox.

Yes, it certainly has similarities with the liar paradox, but in
contrast with the liar paradox, it isn't a paradox. It doesn't
lead to a contradiction. For Penrose to *believe* it leads to
a contradiction, but for the sentence to be *true* doesn't lead
to a contradiction.

So, yes, it is like the liar paradox, except that it isn't a paradox.

--
Daryl McCullough
Ithaca, NY

.

Relevant Pages

  • Re: Indefinite Extensibility and Computationalism
    ... Your argument is too fuzzy to take seriously without clarification. ... It's not enough to agree that "heterological" leads to a contradiction, ... That leads to a contradiction. ... A paradox can be provoked by the assumption that a concept ...
    (sci.logic)
  • Re: This sentence is not true
    ... Daryl McCullough wrote: ... You want to say that it is meaningless, ... and there is no paradox. ... assuming that it *doesn't* have a solution leads ...
    (sci.logic)
  • Re: This sentence is not true
    ... The equation for the truth value of Sentence 1 has no solution. ... and there is no paradox. ... assuming that it *doesn't* have a solution leads ... you had previously dismissed as meaningless. ...
    (sci.logic)
  • Re: Sets and classes.
    ... is a set, then so is C itself, and that leads to Russell's paradox. ... all topological spaces --- do not usually form a set. ... Dave Seaman ...
    (sci.math)
  • Re: ZFC is proven to be inconsistent
    ... I asked you to prove the Skolem paradox is a contradiction ... the very axioms which prove the existence of uncountable sets be satisfie ... cardinality of the real numbers exceeds the cardinality of the naturals ...
    (sci.logic)