Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof

On 7/10/2025 9:38 AM, joes wrote:

Am Thu, 10 Jul 2025 09:09:00 -0500 schrieb olcott:

On 7/10/2025 4:02 AM, Mikko wrote:

On 2025-07-09 12:31:59 +0000, olcott said:

>

It is a truism the the POE violates the requirement of truth
preserving operations. People that learn things by rote do not notice
this.

The requirement of truth preserving operations only applies to proofs.

 

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.

 

Correct. Since the moon is not, in fact, made of green cheese, this does
not allow you deduce that Trump is christ (even if he were). It is a bit
unintuitive, granted.
>

 As a demonstration of the principle, consider two contradictory statements—"All lemons are yellow" and "Not all lemons are yellow"—and suppose that both are true. If that is the case, anything can be proven, e.g., the assertion that "unicorns exist", by using the following argument: https://en.wikipedia.org/wiki/Principle_of_explosion
 This the Moon exists and the Moon does not exist "proves"
that Donald Trump is the Christ.
 What it really proves is the modern symbolic logic is all F-cked up.
*My replacement to formal systems corrects this error*