There are exceptions to the principle of the excluded middle in logic

the verdict

SUPPORTED

the evidence backs this

Recorded sources

4 sources for · 0 against

Counts group repeated records of the same source within each side. They do not measure evidence strength or source independence.

Is it true that there are exceptions to the principle of the excluded middle in logic?

Yes. Non-classical logical systems, such as intuitionistic logic, quantum logic, and certain paraconsistent or partial frameworks, explicitly reject or do not require the law of the excluded middle.

Verdict: SUPPORTED · 4 sources for, 0 against · Last checked 31 Jul 2026

The analysis

The claim is a well-established fact in mathematical logic and philosophy: non-classical logics (such as intuitionistic logic and quantum logic) deliberately drop or reject the law of the excluded middle. Papers [2], [5], [8], and [11] provide direct theoretical support demonstrating that alternative logics exist and operate without this principle.

Evidence for · 4

On Some Intuitionistic Modal Logics

1977

Discusses modal logics based on weaker logics than classical logic, such as intuitionistic systems.

Get citation

Ono, H. (1977). On Some Intuitionistic Modal Logics. doi.org. https://doi.org/10.2977/prims/1195189604

See more details

More for · 3

Intuitionistic Quantum Logic of an n-level System

2009

Explicitly demonstrates that the law of the excluded middle fails in certain quantum and intuitionistic logical frameworks.

Get citation

Caspers, M., Heunen, C., Landsman, N. P., & Spitters, B. (2009). Intuitionistic Quantum Logic of an n-level System. doi.org. https://doi.org/10.1007/s10701-009-9308-7

On Partial and Paraconsistent Logics

1999

Examines partial logics and systems where fundamental classical principles like bivalence fail.

Get citation

Muskens, R. (1999). On Partial and Paraconsistent Logics. doi.org. https://doi.org/10.1305/ndjfl/1022615616

A Topological Surface Network Model of the Brain Suggests That There Is No Law of Excluded Middle in the Brain’s Logic

2026

Argues and provides theoretical modeling suggesting that non-standard logics, specifically lacking the law of the excluded middle, can apply to complex systems like the brain.

Get citation

Sen, S. (2026). A Topological Surface Network Model of the Brain Suggests That There Is No Law of Excluded Middle in the Brain’s Logic. doi.org. https://doi.org/10.20944/preprints202510.0962.v2

Related receipts

Is it true that the principle of explosion is provable in classical logic? SUPPORTED related question, same topic

Receipt History

first checked31 Jul 2026

judged → SUPPORTED · 8831 Jul 2026

Anyone with this link can read the claim and its public receipt, including any personal information in that text. Open permanent receipt.

Check your own claim

Challenge the receipt

I have a source that contradicts this verdict I have a source that supports it No source: request a receipt review Requests are recorded for review. This does not start an automatic check or guarantee a response time.

See the evidence timeline

Citation formatting by citeproc-js (Frank Bennett) and the Citation Style Language project. Source and licenses.

This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work