Sujet : Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof
De : agisaak (at) *nospam* gm.invalid (André G. Isaak)
Groupes : comp.theory sci.logicDate : 11. Jul 2025, 04:58:18
Autres entêtes
Organisation : Christians and Atheists United Against Creeping Agnosticism
Message-ID : <104q24q$1ajbp$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Mozilla Thunderbird
On 2025-07-10 19:58, Richard Damon wrote:
On 7/10/25 10:09 AM, olcott wrote:
According to the POE:
(a) The Moon is made of green cheese and
(b) the Moon does not exist
proves that
(c) Donald Trump is the Christ.
Rigth, but only because a side affect of (a) is that the moon must exist.
Really, the problem here is that Olcott fails to distinguish between the truth of a conditional statement and the truth of the consequent of a conditional statement. They are not the same thing.
((X & ~X) implies Y) is necessarily true.
Whether Y is true is a completely independent question.
But Olcott seems to think that the truth of ((X & ~X) -> Y) somehow proves that Y is true. That's simply not how logic works.
I raise this point purely as a clarification. I'm well aware that this will have no impact on Olcott's (mis)understanding of logic.
André
-- To email remove 'invalid' & replace 'gm' with well known Google mail service.