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

On 15/07/2025 22:34, André G. Isaak wrote [to PO]:

You really need to review your basic logic. (A ∧ ¬A) □ ⊥ doesn't
mean anything. What you (might) be trying to claim is □((A ∧ ¬A) →
⊥), though that statement would be false.

In my childhood, people used to say "If [very unlikely event],
I'm a Dutchman".  I haven't heard it recently, perhaps because it's
somewhat non-PC, but it suggests that the general population knows
perfectly well that "If false then X" is true for any "X", whether
"X" be true or false, and therefore carries no implication about the
truth or falsity of "X".  In similar vein, PO's example about the Moon
and the current US President forms a true statement, including the
semantics thereof, regardless of the properties of Mr Trump.
The nearest to a common public misunderstanding is that many
assume that "If it rains, I shall carry an umbrella" implies that "If
it does not rain, I shall not carry an umbrella", which of course does
not follow.  Normal people accept the distinction if it is pointed out,
though they may well think you're being over-pedantic.
IOW, the general public accepts "basic logic" well enough to
follow as much as is needed for the standard HP proof;  if they don't
understand the proof, it's for reasons other than a failure of logic.
I don't expect PO to change his mind, which makes this, like
almost all threads here for well over a decade, a fruitless debate.
But feel free to waste your time ....
--
Andy Walker, Nottingham.
    Andy's music pages: www.cuboid.me.uk/andy/Music
    Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Prokofiev