366 Geometric Origin of the Law of Excluded Middle
42
0
·
2026/05/29
·
6 mins read
☕
WriterShelf™ is a unique multiple pen name blogging and forum platform. Protect relationships and your privacy. Take your writing in new directions. ** Join WriterShelf**
WriterShelf™ is an open writing platform. The views, information and opinions in this article are those of the author.
Article info
This article is part of:
Categories:
⟩
⟩
Date:
Published: 2026/05/29 - Updated: 2026/05/29
Total: 1466 words
Like
or Dislike
About the Author
I love science as much as art, logic as deeply as emotion.
I write the softest human stories beneath the hardest sci-fi.
May words bridge us to kindred spirits across the world.
More from this author
More to explore

Chapter 1: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 Sanctity and Fractures of the Law of Excluded Middle
1.1 The Supreme Status of the Law of Excluded Middle
The Law of Excluded Middle (LEM) stands as one of the three cornerstones of Western logic, alongside the Law of Identity and the Law of Contradiction, collectively forming the unshakable foundation of classical logic. Since Aristotle first elaborated it systematically in Metaphysics, the Law of Excluded Middle has been revered as an a priori rule of thought:
"For any proposition, either the proposition itself is true, or its negation is true — there exists no intermediate state."
For over two thousand years, this principle has remained the unassailable core in the evolution of logic, mathematics and philosophy. From Boolean algebra to Frege’s logicism, from Russell’s Principia Mathematica to Gödel’s Incompleteness Theorems, the Law of Excluded Middle has been taken as a default underlying premise. In classical mathematics, it underpins fundamental reasoning 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 judgment mode of "either one or the other".
The Law of Excluded Middle has long been regarded as a universally valid, a priori necessary rule of thought bound by no constraints — a "constitution of thinking".
1.2 Fractures: Long-standing Doubts
Nevertheless, the absolute universal applicability of the Law of Excluded Middle has never escaped questioning. Three major lines of skepticism have emerged throughout the history of logic:
The first fracture: Intuitionistic Logic
In the early 20th century, L.E.J. Brouwer and A. Heyting proposed 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 without a constructive proof cannot be arbitrarily deemed "either true or false". The formula P \lor \neg P is not accepted in intuitionistic logic, for it presupposes that the truth value of a proposition exists independently of human cognition and constructive capacity.
Critiques from intuitionism, however, stay confined to the epistemological domain. They challenge whether we can verify the truth of P or \neg P , rather than the objective validity of the Law of Excluded Middle itself. Intuitionism fails to answer a key question: if the Law of Excluded Middle is not universally valid, why does it appear so functional in classical mathematics and everyday reasoning?
The second fracture: Quantum Logic
In the 1930s, John von Neumann and Garrett Birkhoff developed quantum logic, another form of non-classical logic. The algebraic structure of propositions in quantum mechanics does not comply with the distributive law. While the Law of Excluded Middle is formally retained, its semantics undergo a fundamental transformation. Quantum superposition — where a particle can exist simultaneously in states of "spin up" and "spin down" — seems to imply a state of "being both and neither".
Even so, quantum logic cannot explain why the Law of Excluded Middle holds valid in the macroscopic world yet requires reinterpretation at the microscopic scale. It only describes the discrepancies between realms, without uncovering their root causes.
The 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 requirement of the Law of Excluded Middle by introducing additional truth values (true, false, indeterminate) or continuous truth values ranging from 0 to 1. These logical systems have achieved remarkable success in engineering, artificial intelligence and control theory. Still, they leave a fundamental question unanswered: why classical two-valued logic and the Law of Excluded Middle suffice for most ordinary and scientific reasoning?
1.3 Nature of the Fractures: The Absence of a Geometric Explanation
A common flaw runs through all the aforementioned critiques: they merely delineate scenarios where the Law of Excluded Middle fails or needs revision, yet never account for why it holds true. More precisely, none have clarified 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 interpretation.
This is the starting point of this paper. We raise the fundamental questions as follows:
- Where does the Law of Excluded Middle originate?
- Why does it always hold in classical logic?
- Does there exist a more primitive logical space where the Law of Excluded Middle breaks down?
- If such a space exists, how does the Law of Excluded Middle emerge from it?
1.4 Introduction to the MOC Geometric Perspective
This paper adopts the MOC (Multi-Origin Recursive Geometry) framework established in the author’s serial researches to re-examine the Law of Excluded Middle from an entirely new geometric perspective. MOC geometry is an underlying spacetime theory with the core tenets listed below:
- Higher-Dimensional Fundamental Layer: Spacetime is composed of discrete primitives. Propositional truth values reside in a coexistent state, where P and \neg P coexist in an undifferentiated, unfixed form.
- Recursive Hierarchical Structure: Spacetime features nested hierarchies extending from deep layers (microscopic, high curvature) to superficial layers (macroscopic, low curvature).
- Projection Mapping: The mapping process from the higher-dimensional fundamental layer down to lower-dimensional superficial layers — referred to as the "grounding process" — forces coexistent states to collapse into fixed binary truth values.
- Threefold Limit: Under the conditions of a single hierarchical layer, zero curvature and full coarse-graining, classical logic and continuous structures emerge on lower-dimensional superficial layers.
Within this framework, the Law of Excluded Middle is no longer an a priori universal rule of thought, but an emergent product arising from the projection of higher-dimensional coexistent states onto lower dimensions.
1.5 Core Theses of This Paper
This paper puts forward and demonstrates the following core arguments:
1. The Law of Excluded Middle does not apply in the higher-dimensional fundamental layer. In the higher-dimensional coexistent state, P and \neg P coexist, with no mandatory rule dictating that one must be true.
2. The Law of Excluded Middle is a product of projection mapping. When a system projects from higher to lower dimensions, coexistent states are rigidly fixed into binary values (true / false), from which the Law of Excluded Middle emerges.
3. Classical logic is a special case of MOC logic. Subject to the single-layer constraint and the threefold limit, MOC logic degenerates into classical logic, lending the Law of Excluded Middle an appearance of universal validity.
4. The binary system is the symbolic embodiment of the Law of Excluded Middle. The 0/1 symbol set constitutes the minimal symbolic system formed after the "grounding" of the Law of Excluded Middle.
1.6 Paper Structure
This paper consists of seven chapters:
- Chapter 1 (Current Chapter): Poses the research problem. It illustrates the dominant position of the Law of Excluded Middle in classical logic and the long-standing theoretical fractures, then introduces the MOC geometric perspective.
- Chapter 2: The Higher-Dimensional Coexistent State — The Matrix of the Law of Excluded Middle: Defines the logical characteristics of the higher-dimensional fundamental layer and proves that the Law of Excluded Middle is invalid therein.
- Chapter 3: Three Types of Non-Classical States in the Higher-Dimensional Truth Value Space: Truth value gap, truth value overflow and indeterminate state.
-Chapter 4: Projection Mapping and State Collapse. This chapter defines the projection mapping \Pi and elaborates the process in which coexistent states are forced to transition into binary states.
- Chapter 5: Emergence of the Binary System — Symbolization of the Law of Excluded Middle: Proves that the binary system is the minimal symbol set corresponding to the Law of Excluded Middle.
- Chapter 6: Reconstruction of the Three Fundamental Laws of Logic: Reinterprets the Law of Identity, the Law of Contradiction and the Law of Excluded Middle within the MOC framework.
- Chapter 7: Conclusion and Prospect: Summarizes the relationship between MOC logic and classical logic, and calls for the establishment of a new hierarchical logic system.
1.7 Significance of This Paper
This paper does not negate classical logic, but rather defines its boundaries of applicability. Just as non-Euclidean geometry does not refute Euclidean geometry but proves the latter to be a special case under zero curvature; just as the theory of relativity does not overturn Newtonian mechanics but reveals it as an approximation at low speeds — this paper demonstrates that classical logic is a special form of MOC logic under the single-layer constraint and the threefold limit.
This conclusion clarifies the origin of the Law of Excluded Middle, and provides a unified geometric interpretation for intuitionistic logic, quantum logic, paraconsistent logic, many-valued logic and other non-classical logics. More importantly, it paves the way for logic to evolve from a two-dimensional domain into a multi-dimensional discipline.
End of Chapter 1