The Transcendental Argument for Logic Realism

March 9, 2026 | James D. Longmire | ORCID: 0009-0009-1383-7698

Featured graphic illustrating the relationship between logical laws and physical distinguishability

Abstract

Logic Realism holds that the Three Fundamental Laws of Logic (Identity, Non-Contradiction, and Excluded Middle) are not merely cognitive constraints or linguistic conventions but ontological conditions constitutive of physical distinguishability. This article presents the transcendental argument for this position: we can conceive of logical law violations, yet physical reality never produces them. This asymmetry is the decisive evidence that logic constrains reality, not merely cognition.

The Core Asymmetry

Here is a fact that deserves more attention than it receives: we can imagine contradictions, but we never observe them.

I can form a mental representation of a detector that fires and does not fire simultaneously. I can entertain the proposition “this measurement yielded both A and not-A.” I can conceive of a particle that is, at the outcome level, genuinely both spin-up and spin-down in the same measurement. Nothing in my cognitive apparatus prevents me from thinking these thoughts.

Yet no physical measurement has ever produced such an outcome. After a century of quantum mechanics, a theory that routinely describes superposition and entanglement, no laboratory notebook contains a genuine contradiction at the level of measurement results. No detector has ever recorded P and not-P. No experimental outcome has ever violated the law of identity.

The constraint is on reality, not cognition.

Why Psychologism Fails

The psychologist position holds that logical laws are just how we think. They describe cognitive architecture, nothing more. Reality might be otherwise; we simply cannot conceive of it.

But this gets the evidence backwards. If logical laws were merely cognitive constraints, then conceiving of their violation would be impossible. The fact that we can conceive of contradictions while never observing them indicates that the constraint operates on physical reality, not on mental representation.

Consider the alternative. If our inability to observe contradictions reflected only cognitive limitation, we would expect occasional glimpses, edge cases, anomalous data points that resist logical classification. We would expect physics to occasionally bump up against the limits of our representational capacity. Instead, physics has spent a century probing the strangest corners of physical reality, superposition, entanglement, non-locality, Bell inequality violations, and found that the strangeness always resolves into perfectly classical measurement outcomes. Definite results. One outcome per measurement. No contradictions.

Physicists have actively sought logical anomalies. Experiments testing Bell inequalities, probing quantum contextuality, searching for deviations from standard quantum mechanics represent sustained attempts to find cracks in the logical structure of outcomes. None have succeeded.

The constraint holds not for lack of trying, but because reality enforces it.

The Transcendental Argument

Kant introduced the transcendental argument form: identifying conditions that must obtain for some phenomenon to be possible at all. The question is not “what do we observe?” but “what must be the case for observation to be possible?”

Logic Realism makes a transcendental claim about distinguishability. For there to be distinct things at all, for measurement to yield determinate outcomes, for physics to describe a world rather than a blur, certain conditions must obtain.

Premise 1: Physical measurement yields determinate outcomes.

Every physical measurement ever performed has produced exactly one outcome. Never zero outcomes, never two simultaneous contradictory outcomes, never an outcome that both is and is not what it is.

Premise 2: Determinate outcomes require distinguishability.

An outcome is determinate only if it can be distinguished from alternatives. A measurement that cannot distinguish “spin-up” from “spin-down” has not measured spin. The notion of a “result” presupposes the possibility of distinguishing that result from other possible results.

Premise 3: Distinguishability presupposes the Three Fundamental Laws.

For states A and B to be distinguishable:

Each must be self-identical (Identity: A = A, B = B)
They cannot be both identical and non-identical (Non-Contradiction: not both A = B and A =/= B)
They are either identical or non-identical (Excluded Middle: A = B or A =/= B)

Without identity, nothing would be itself. Without non-contradiction, nothing would differ from anything else. Without excluded middle, there would be no determinate boundaries between states.

Conclusion: Physical measurement presupposes the Three Fundamental Laws as constitutive conditions.

This is not the trivial claim that we think using logic. It is the substantive claim that logic is a condition for the possibility of determinate physical outcomes.

What Makes This Different

The transcendental argument differs from both the rationalist claim that we can derive physics from pure logic and the empiricist claim that logic is just another empirical generalization.

Against rationalism: Logic Realism does not claim to derive the specific content of physics from logical principles alone. The derivation of quantum mechanics from logical foundations requires additional physical axioms (continuity, local tomography, information preservation). The claim is that logical laws are necessary but not sufficient conditions for physics.

Against empiricism: Logic Realism does not claim that the laws of logic could be refuted by empirical observation. Empirical observation presupposes distinguishability, which presupposes the laws of logic. You cannot use observation to test the conditions for the possibility of observation. The laws of logic are not the most general empirical regularities; they are the conditions under which empirical regularity is possible.

The transcendental argument occupies a third position: certain structural features are conditions for the possibility of any physical world whatsoever. Not derived from pure reason, not contingent on observation, but constitutive of what it means for there to be a physical world to observe.

Superposition Is Not a Counterexample

The most common objection invokes quantum superposition. A particle in state psi-plus-psi-down is “both up and down.” Does this not violate non-contradiction?

No. A quantum superposition is a single determinate mathematical object in Hilbert space. It is neither up nor down but something else entirely: a superposition state with its own precise identity. The superposition state satisfies identity (it equals itself), non-contradiction (it is not both equal and unequal to any other state), and excluded middle (for any state phi, either psi = phi or psi =/= phi).

The crucial point: measurement always yields definite outcomes. When you measure spin, you get “up” or “down”: never both, never neither. The Born Rule gives you probabilities, and the actual outcome is perfectly classical. Either this or that, not both.

Superposition appears paradoxical only if you insist on describing quantum states using classical predicates. The underlying logic remains classical, as evidenced by the fact that quantum mechanics is formulated in standard mathematics, which presupposes classical logic throughout.

The mystery of quantum mechanics is not that it violates logic. It is that the interface between the non-Boolean structure of quantum possibility and the Boolean structure of classical actuality takes the specific form it does. Logic Realism addresses precisely this question: why does that interface have the structure of quantum mechanics? The answer traces back to the requirements of distinguishability under the Three Fundamental Laws.

The Self-Defeating Objection

Some object that we cannot know whether reality is “really” logical. Perhaps reality is fundamentally illogical and our logical minds simply cannot access its true nature.

This objection is self-defeating. To state “reality might be illogical” is to make a claim. Claims presuppose logic.

If reality were genuinely illogical, the statement “reality is illogical” would be neither true nor false (violating excluded middle). It would be identical to its negation (violating non-contradiction). It would not refer to any definite state of affairs (violating identity).

“Illogical reality” is a pseudo-concept: grammatically well-formed words with no possible referent. Compare: “colorless green ideas sleep furiously” is syntactically valid but semantically null. “Reality that violates non-contradiction” has the same status.

The objection asks us to use logic to consider the possibility that logic might not apply. This is asking us to affirm what we must presuppose to deny. A performative contradiction.

What Logic Realism Does Not Claim

Clarity about limits is as important as clarity about claims.

Logic Realism does not claim to derive the specific values of physical constants. Why the fine structure constant has its value, why there are three generations of fermions, why the cosmological constant is small but non-zero: these remain empirical questions. Logic Realism identifies structural constraints, not contingent parameters.

Logic Realism does not claim to answer why there is something rather than nothing. The transcendental argument shows that if there is a physical world with distinguishable states, then the Three Fundamental Laws must hold. It does not show why there is a physical world at all.

Logic Realism does not claim that every feature of physics follows from logic alone. The physical axioms (continuity, local tomography, information preservation) are empirically motivated. The claim is that given these axioms, the logical structure of distinguishability uniquely determines quantum mechanics. This is a substantive derivation, not a purely logical entailment.

The Philosophical Stakes

If Logic Realism is correct, the relationship between logic and physics is deeper than usually supposed. Logic is not merely a tool for reasoning about physics but a constraint on what physics can be.

This suggests a form of structural realism grounded in logical necessity rather than contingent physical law. The fundamental level of reality is neither physical stuff nor abstract objects but the structure of distinguishability itself, a structure that is simultaneously logical and physical.

The “unreasonable effectiveness of mathematics” in physics (Wigner’s phrase) finds partial explanation. Mathematics is effective because it articulates the logical structure that physical distinguishability presupposes. We are not projecting human concepts onto an alien reality. We are discovering the structure that any reality capable of containing distinguishable things must have.

The laws of logic are not human inventions imposed on the world. They are not cultural conventions we could revise. They are not the most general empirical regularities subject to future refutation. They are the conditions for the possibility of there being a world at all.

Conclusion

The transcendental argument for Logic Realism rests on a single, decisive asymmetry: we can conceive of logical law violations, but physical reality never produces them. This asymmetry shows that the constraint operates on reality, not merely on cognition.

From this follows the constitutive claim: the Three Fundamental Laws, Identity, Non-Contradiction, and Excluded Middle, are not optional features that physics happens to display. They are conditions for the possibility of physical distinguishability. Without them, there would be no distinct states, no determinate outcomes, no physics.

This does not make physics derivable from pure logic. It makes the structure of physics constrained by the requirements of coherent instantiation. The specific content of physics requires empirical input. But the framework within which that content is possible, the space of physically coherent theories, is bounded by logical necessity.

You cannot argue your way out of the conditions that make argument possible. The laws of logic are those conditions.

Human-Curated, AI-Enabled (HCAE) James D. Longmire | ORCID: 0009-0009-1383-7698 March 2026