Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct

On 11/9/2024 4:28 PM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 11/9/2024 3:45 PM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 11/9/2024 2:53 PM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 11/9/2024 1:32 PM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

 [ .... ]
 

"sound deductive inference" is incoherent garbage.

Is a very stupid thing to say.

 You lied about it in your usual fashion, and I took your lies at face
value.
 

I freaking quoted it how is that a damn lie?

A conclusion IS ONLY true when applying truth
preserving operations to true premises.

 

I'm not sure what that adds to the argument.

 

It is already specified that a conclusion can only be
true when truth preserving operations are applied to
expressions of language known to be true.

 

That Gödel's proof didn't understand that this <is>
the actual foundation of mathematical logic is his
mistake.

 

You're lying by lack of expertise, again.  Gödel understood mathematical
logic full well (indeed, played a significant part in its development),

 

He utterly failed to understand that his understanding
of provable in meta-math cannot mean true in PA unless
also provable in PA according to the deductive inference
foundation of all logic.

 You're lying in your usual fashion, namely by lack of expertise.  It is
entirely your lack of understanding.  If Gödel's proof was not rigorously
correct, his result would have been long discarded.  It is correct.
 

Even if every other detail is 100% correct without
"true and unprovable" (the heart of incompleteness)
it utterly fails to make its incompleteness conclusion.
Perhaps you simply don't understand it at that level
thus will never have any idea that I proved I am correct.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer