Published August 1, 2025 | Version v1
Patent Restricted

On Complete Inequivalence (also: Necessary Proof of the "Noumenal").

  • 1. ROR icon National University of Ireland, Maynooth

Description

This framework establishes a general metaphysical and formal system proving the necessary failure of all symbolic, semiotic, or representational systems to equivalently express Truth. It extends and precedes Gödelian incompleteness, critiques Peircean consensus, and asserts the universal inequivalence between representation and object, formally expressed through a novel constant relation E1  z  E∞  z  H∗=V(X)E_1 \; z \; E_\infty \; z \; H^* = V(X)E1zEzH=V(X), where V(X)≠XV(X) \ne XV(X)=X. This inequivalence is a structural, non-empirical, and a priori condition that necessitates the noumenal (in Kantian terms) as irreducible and inexpressible via any finite or infinite formal system.

FIELD OF INVENTION:

Metaphysics, Formal Logic, Semiotics, Philosophy of Language, Epistemology, Mathematical Logic, Theoretical Computer Science.

DESCRIPTION:

1. Background

Traditional formal systems—mathematical, linguistic, or semiotic—aim to describe, represent, or model the world through symbolic structures. However, Gödel’s Incompleteness Theorems demonstrated that any sufficiently powerful axiomatic system contains true propositions that cannot be proven within that system. Tarski formalized semantic truth but did so by recursively appealing to a meta-language, thereby pushing truth perpetually outside the system.

This invention posits that such incompleteness is not merely an artifact of complex logical systems, but is structurally inevitable in all systems of representation — prior to any specific formalization.

2. Summary of the Invention

This system defines a universal representational constant and its necessary failure with respect to the object it aims to signify. It is formalized by the line:

E1  z  E∞  z  H∗=V(X)whereV(X)≠XE_1 \; z \; E_\infty \; z \; H^* = V(X) \quad \text{where} \quad V(X) \ne XE1zEzH=V(X)whereV(X)=X

Definitions:

  • E1E_1E1: One element (indivisible particular, primitive observation or unit)

  • E∞E_\inftyE: Infinitely many elements (all possible sign systems, symbolic combinations, expressions)

  • zzz: The relational function “to/through”

  • H∗H^*H: The sensate experiencer (human or otherwise)

  • V(X)V(X)V(X): The value or representation of some object XXX

  • XXX: The noumenal or real object (unmediated truth, thing-in-itself)

The claim is that for any object XXX, no value function V(X)V(X)V(X), no matter how complex or recursively defined, can be equivalent to XXX. The representation always fails — a priori — not due to technical limits, but due to a fundamental ontological gap.

3. Formal Theorem

∀S∈Σ,∃T∉Ssuch that∄σ∈S  (σ≡T)\forall S \in \Sigma, \quad \exists T \notin S \quad \text{such that} \quad \nexists \sigma \in S \; (\sigma \equiv T)SΣ,T/Ssuch thatσS(σT)

Where:

  • Σ\SigmaΣ is the set of all possible meaning-making or symbolic systems

  • SSS is any given symbolic system

  • TTT is a truth-value or object that exists independently of SSS

  • σ\sigmaσ is any signifier within SSS

Claim: For every system SSS, there exists some truth TTT not expressible within SSS, such that no internal symbol σ\sigmaσ can express or be equivalent to it.

This is not Gödel’s theorem — it is prior to it. Gödel works within formal logic; this system works at the level of representation itself, asserting that all representation is, from the outset, degenerate.

4. Implications for Tarski, Peirce, Kant

Tarski:

Tarski's model requires a metalanguage to define truth, thereby perpetually deferring Truth to something outside the system. This aligns with the current claim: truth is always outside symbolic structures. The infinite regress of meta-languages is an expression of the same representational failure noted here.

Peirce:

Peirce’s semeiotic assumes a final interpretant reached through community consensus. This framework proves that consensus is not a sign of Truth, but of systemic limitation. Symbolic agreement = degeneration. Consensus is conditioned; Truth is unconditioned.

Kant:

The system confirms Kant’s noumenon as necessarily inexpressible via the phenomenal. Here, XXX is Kant’s noumenon, and V(X)V(X)V(X) the mediated phenomenal. No V(X)V(X)V(X) (no possible experiential derivative or representation) can yield XXX itself.

5. Conclusions and Claims

A. Truth is Unconditional

  • Truth exists independent of experience, consensus, or representation.

  • Any conditional structure (formal logic, language, semeiotic) cannot reach it.

B. Systemic Degeneracy

  • Every symbolic stabilization is itself a symbolic failure-in-waiting.

  • Even infinite formal systems are degenerate with respect to Truth.

C. Inapplicability of Equivalence

  • There is no equivalence between the real and its representations.

  • All V(X) ≠ X.

D. Necessary Inference of the Noumenal

  • The inaccessibility of Truth implies the noumenon.

  • The noumenon is not a speculative object — it is structurally necessitated by the conditions of all representational systems.

INVENTION CLAIMS:

  1. A formal system defining the irreducibility of Truth to any symbolic, logical, or representational form, formalized by:

    E1  z  E∞  z  H∗=V(X)whereV(X)≠XE_1 \; z \; E_\infty \; z \; H^* = V(X) \quad \text{where} \quad V(X) \ne XE1zEzH=V(X)whereV(X)=X
  2. A generalized metaphysical theorem:

    ∀S∈Σ,∃T∉Ssuch that∄σ∈S  (σ≡T)\forall S \in \Sigma, \quad \exists T \notin S \quad \text{such that} \quad \nexists \sigma \in S \; (\sigma \equiv T)SΣ,T/Ssuch thatσS(σT)

    demonstrating that no symbolic system can fully capture all truths.

  3. The assertion that Gödel’s incompleteness is a specific case of a more universal representational incompleteness.

  4. The demonstration that all systems of consensus (Peirce), formalism (Tarski), and empirical reasoning (post-Kantian epistemology) are conditionally degenerate and cannot yield unconditional truth.

  5. The necessity of the noumenal (X) as a metaphysical constant — not by observation, but by formal structural inference.

Files

Restricted

The record is publicly accessible, but files are restricted. <a href="https://zenodo.org/account/settings/login?next=https://zenodo.org/records/16681952">Log in</a> to check if you have access.

Additional details

References

  • Godel, Kant, Hume, Tarski, Plato, Etc.