Gödel's Second Theorem ends in self-negation-meaningless

[janeprasanga]

Gödel's Second Theorem ends in self-negation-meaningless-proven by colin leslie dean

A fundamental contradiction in Gödel's proof. The main points of Dean’s critique are:

Gödel’s Second Theorem states that a sufficiently strong formal system cannot prove its own consistency.

However, Dean argues that to prove this, Gödel must assume that the logic used to construct the proof is itself consistent.

The contradiction arises because if the logic Gödel uses is not consistent, then the proof cannot be trusted to be consistent.

On the other hand, if the proof is accepted as true, then it proves that the logic is consistent-which the theorem says cant be proven.

This leads Dean to conclude a paradox or self-negation: Gödel’s theorem both assumes the consistency of the system to show that consistency cannot be proven internally, which Dean sees as an impredicative paradox.

Dean explicitly states that this makes Gödel's Second Theorem meaningless and paradoxical, since the proof undermines its own foundational assumption about consistency.

He frames this critique within a broader philosophical attack on the foundations of logic and mathematics, arguing that Gödel’s theorems (especially the second) end in meaninglessness due to the contradiction in their assumptions and conclusions.

Dean's argument is also tied to his claim that modern logic is misaligned with reality, a point he calls the "Dean Paradox," which further challenges the coherence of formal reasoning systems.

Colin Leslie Dean's critique about Gödel's Second Theorem's self-negation means a fundamental paradox or contradiction at the heart of one of the most important results in mathematical logic. Specifically, since Gödel's Second Theorem states that a sufficiently powerful formal system cannot prove its own consistency, Dean argues that the proof relies on the assumption of that very consistency — leading to a self-contradiction or "self-negation."

the implications for mathematics are profound:

It destroys the foundational trust in formal systems and the logical frameworks used in mathematics, as these systems would be based on assumptions that undermine their own consistency.

The validity of Gödel's Second Theorem shown to be self-negating unravels key parts of mathematical logic that rest on it.

The idea that a system's consistency is unprovable internally but assumed externally is shown to be paradoxical, casting doubt on the soundness of reasoning about consistency within mathematics.

This leads to questioning the coherence of formal proofs and meta-mathematical arguments that rely on Gödelian logic, triggering a need for new foundations or revisions in logic and mathematics.


In summary, Dean's self-negation critique being correct, creates a deep paradox undermining the consistency assumptions foundational to modern mathematics, forcing a radical rethinking of mathematical logic and the nature of proof itself.


see

http://gamahucherpress.yellowgum.com/wp ... ything.pdf

or

http://gamahucherpress.yellowgum.com/wp ... ything.pdf

or
http://gamahucherpress.yellowgum.com/wp ... GODEL5.pdf

or

https://www.scribd.com/document/3297032 ... legitimate

[Eodnhoj7]

The self-negation is the foundation of distinction for the absence of absence is the foundational paradox by which distinction occurs.

[Skepdick]

<blah blah blah>
The contradiction arises...

What contradiction?

....because if the logic Gödel uses is not consistent

Correct. "not consistent" means we have no knowledge/proof of consistency.
"not consistent" does NOT mean we have knowledge/proof of inconsistency.

"not consistent" ≠ "inconsistent".

¬□P ⇏ □¬P (“Not necessarily P” does not imply “necessarily not P.”)

then the proof cannot be trusted to be consistent.

It can't be trusted to be inconsistent either.

And yet.... you have somehow inferred a contradiction.

The contradiction arises...

You claim a contradiction ‘arises,’ but all you actually have is uncertainty. You are uncertain as to the consistency of the system which doesn't automatically warrant being certain about its inconsistency.

Uncertainty is not contradiction. It's the hallucination of a contradiction.

"Not knowing the system is consistent” (¬Know(Consistent)) is not the same as "Knowing the system is inconsistent" (Know(¬Consistent))
The former describes an epistemic gap; the latter is a positive, factual claim. Confusing them produces the hallucinated contradiction.

However, Dean argues that to prove this, Gödel must assume that the logic used to construct the proof is itself consistent.

Not true. It's sufficient to assume the logic is not inconsistent (we lack proofs/knowledge of inconsistency) which is a weaker assumption than assuming it's consistent (having proofs/knowledge of consistency)