Geometric Origin of the Law of Excluded Middle

The Emergent Essence of Classical Logical Laws under the MOC Framework

Author: Zhang Suhang (Luoyang, Henan, China)

 

Chapter 1 Introduction: The Supreme Status and Fractures of the Law of Excluded Middle

1.1 The Preeminent Standing of the Law of Excluded Middle

The Law of Excluded Middle (LEM) stands as one of the three cornerstones of Western formal logic, alongside the Law of Identity and the Law of Non-Contradiction, forming the unshakable foundation of classical logic. Since Aristotle first elaborated it systematically in Metaphysics, the LEM has been revered as an a priori principle of reasoning:

For any proposition, either the proposition itself is true, or its negation is true — no intermediate state exists.

For more than two millennia, this principle has occupied an unassailable core position in the development of logic, mathematics and philosophy. From Boolean algebra, Frege’s logicism, and Russell’s Principia Mathematica to Gödel’s Incompleteness Theorems, the LEM has been adopted as a default underlying premise. In classical mathematics, it underpins fundamental inference rules such as proof by contradiction and double negation elimination. In computer science, it lays the groundwork for two-valued logic and the binary system. In daily cognition, it manifests as the binary mode of judgment: "either one or the other".

The Law of Excluded Middle has long been regarded as a universally valid, a priori and unconditionally binding "constitution of thought".

1.2 Persistent Fractures and Doubts

Nevertheless, the alleged absolute universality of the LEM has never escaped questioning. Three major lines of criticism have emerged throughout the history of logic:

First fracture: Intuitionistic Logic
In the early 20th century, L. E. J. Brouwer and A. Heyting put forward intuitionistic logic, which fundamentally rejects the Law of Excluded Middle. From an intuitionistic perspective, the truth of a proposition must be established via constructive proof. A proposition cannot be simply deemed "either true or false" in the absence of such proof. The formula P \lor \neg P is not accepted in intuitionism, for it presupposes that the truth value of a proposition exists independently of human cognition and constructive capacity.

That said, the challenge posed by intuitionism remains confined to epistemology. It questions whether we can verify P or \neg P , rather than the objective validity of the LEM itself. It fails to answer a critical question: if the LEM is not universally applicable, why does it appear undeniably valid within classical mathematics and everyday reasoning?

Second fracture: Quantum Logic
In the 1930s, John von Neumann and Garrett Birkhoff formulated quantum logic, representing another form of non-classical logic. In quantum mechanics, the algebraic structure of propositions violates the distributive law. While the LEM is formally retained, its semantic connotation undergoes a fundamental transformation. A quantum superposition state — where a particle may simultaneously present "spin-up" and "spin-down" properties — seems to imply a state of "being both and neither".

Even so, quantum logic only describes discrepancies between the macroscopic and microscopic domains without explaining their root cause. It cannot account for why the LEM works reliably in the macroscopic world yet requires reinterpretation at the quantum scale.

Third fracture: Many-Valued Logic and Fuzzy Logic
Jan Łukasiewicz’s three-valued logic, Emil Post’s many-valued logic, and Lotfi Zadeh’s fuzzy logic all abandon the strict binary constraint of the LEM by introducing additional truth values (true, false, indeterminate) or continuous truth values ranging from 0 to 1. These theoretical systems have achieved remarkable success in engineering, artificial intelligence and control theory. Still, they leave a fundamental problem unresolved: why classical two-valued logic and the LEM remain adequate for most routine and scientific reasoning scenarios.

1.3 The Root of Fractures: The Absence of a Geometric Origin

A common flaw runs through all the above critiques: they merely delineate scenarios where the LEM fails or requires revision, yet never address why the LEM holds true in the first place. More specifically, no existing theory clarifies its effective scope and emergent conditions.

In short, the Law of Excluded Middle has always been treated as a given axiom, rather than a phenomenon demanding explanation.

This constitutes the starting point of the present research. We raise four fundamental questions:

1. Where does the Law of Excluded Middle originate?
2. Why does it universally hold within classical logic?
3. Does a more primitive logical space exist where the LEM is invalid?
4. If such a space exists, how does the LEM emerge from it?

1.4 Introduction to the Geometric Perspective of the MOC Framework

This paper re-examines the Law of Excluded Middle from an entirely new geometric perspective based on the MOC (Multi-Origin Recursive Geometry) framework, a fundamental spacetime theory established in the author’s serial studies. Its core tenets are summarized as follows:

- High-dimensional primordial layer: Spacetime is composed of discrete primitives. Propositional truth values exist in an inclusive "OR-state", where a proposition P and its negation \neg P coexist in an undifferentiated, unfixed form.
- Recursive hierarchical structure: Spacetime features hierarchical nesting extending from deep layers (microscopic, high curvature) to superficial layers (macroscopic, low curvature).
- Projection mapping: The projection process from the high-dimensional primordial layer to the low-dimensional superficial layer — referred to as the "grounding process" — locks the coexistent state into binary truth values.
- Triple limit: Under the combined conditions of a single layer, zero curvature and full coarse-graining, classical logic and continuous structures emerge in low-dimensional superficial spaces.

Within this framework, the Law of Excluded Middle is no longer an a priori universal law of thought, but an emergent product arising from the projection of high-dimensional inclusive states onto low-dimensional spaces.

1.5 Core Theses of This Paper

Four core theses are proposed and demonstrated throughout this work:

1. The Law of Excluded Middle does not hold in the high-dimensional primordial layer. In the high-dimensional inclusive OR-state, P and \neg P coexist, with no mandatory requirement for one to be true.
2. The LEM emerges as a consequence of projection mapping. When the system projects from high dimensions to low dimensions, the coexistent state is forcibly fixed into binary truth values (true / false).
3. Classical logic is a special case of MOC-based logic. When the triple limit conditions (single layer, zero curvature, full coarse-graining) are satisfied, MOC logic degenerates into classical logic, and the LEM regains its appearance of universal validity.
4. The binary system is the symbolic embodiment of the LEM. The 0/1 symbol set is the minimal symbolic representation generated after the "grounding" of the LEM.

1.6 Structure of This Paper

This paper consists of seven chapters:

- Chapter 1 (Current Chapter): Problem formulation. This chapter discusses the authoritative status of the LEM and long-standing theoretical fractures, and introduces the geometric perspective of the MOC framework.
- Chapter 2: The High-Dimensional OR-State — The Matrix of the Law of Excluded Middle. It defines the logical characteristics of the high-dimensional primordial layer and proves the inapplicability of the LEM in this domain.
- Chapter 3: Three Types of Non-Classical States in the High-Dimensional Truth Space: Truth-value gaps, truth-value overflow and indeterminate states.
- Chapter 4: Projection Mapping and Grounding. It defines the projection operator \Pi and elaborates the process whereby inclusive OR-states are forced to collapse into binary states.
- Chapter 5: The Emergence of the Binary System — Symbolization of the Law of Excluded Middle. It demonstrates that the binary system constitutes the minimal symbol set corresponding to the LEM.
- Chapter 6: Reconstruction of the Three Fundamental Laws of Logic. It redefines the Law of Identity, the Law of Non-Contradiction and the Law of Excluded Middle within the MOC framework.
- Chapter 7: Conclusions and Prospects. It summarizes the relationship between MOC-based logic and classical logic, and calls for the establishment of a new hierarchical logic system.

1.7 Significance of This Paper

This research does not negate classical logic; instead, it delineates its scope of applicability. Just as non-Euclidean geometry does not invalidate Euclidean geometry but proves the latter to be a special case under zero curvature, and just as relativity does not refute Newtonian mechanics but reveals it as an approximation at low speeds, this paper verifies that classical logic is a limiting case of MOC logic subject to single-layer structure and the triple limit conditions.

This conclusion not only clarifies the origin of the Law of Excluded Middle, but also provides a unified geometric interpretation for diverse non-classical logics including intuitionistic logic, quantum logic, paraconsistent logic and many-valued logic. More importantly, it paves the way for logic to evolve from a two-dimensional flat framework to a multi-dimensional theoretical system.

 

End of Chapter 1