# Laws of Logic ## Intro Some things are true everywhere, all the time, and you cannot even argue against them without using them. The three classical laws of logic are like that. The Law of Identity says a thing is what it is. A cat is a cat. The Law of Non-Contradiction says a statement cannot be both true and false at the same time in the same sense. You cannot both have a cat and not have a cat in the same room at the same moment. The Law of Excluded Middle says a clear statement is either true or false. Either there is a cat in the room or there is not. Aristotle wrote these down 2,400 years ago, but no one invented them. They are not opinions. They are not cultural. They are not chemicals in our brain. If they were just opinions, then "the laws of logic do not apply" would itself be a claim subject to those laws (is it true or not?). Anyone who tries to deny them ends up using them. That is what philosophers mean when they call the laws *pre-conditions of intelligibility*. This raises a hard question that secular philosophy has trouble with. What kind of thing are the laws of logic? They are not physical objects. They are not opinions. They do not depend on humans (they were true before humans existed). They are universal (true everywhere), immaterial (you cannot touch them), and unchanging. On naturalism, where everything is supposed to be physical, what is their home address? Christian apologetics has an answer. The laws of logic reflect the rational character of God. They are universal because He is everywhere; immaterial because He is Spirit; unchanging because He is. The transcendental argument for God uses this as its main move: only theism gives the laws of logic a natural home. Quick reply: *"You used the laws of logic to formulate your objection. What grounds them on your worldview?"* ## In full The "laws of logic" are the foundational principles that govern rational thought and any meaningful discourse: the Law of Identity (A = A), the Law of Non-Contradiction (¬(P ∧ ¬P)), and the Law of Excluded Middle (P ∨ ¬P). [Aristotle](/codex/aristotle/) codified them in *Metaphysics* IV, and they have been treated ever since as pre-conditions of intelligibility, anything that purports to deny them must use them in the act of denial. In Christian apologetics they are the starting point of the [Transcendental Argument for God](/codex/transcendental-argument-for-god/): their universality, immateriality, and invariance are best explained by a universal, immaterial, invariant Mind. ## The classical three ### 1. Law of Identity **Form:** A = A. A thing is what it is. A is itself, not something else. Each entity has a unique, unchanging identity at any given moment. Without identity, predication ("the apple is red") becomes incoherent because there is no stable subject to predicate of. Scriptural anchor (ris3n's notes): **[Exodus 3:14](/codex/exodus-3-14/)**, "I AM THAT I AM", read as God's self-identification grounding identity in the divine nature. ### 2. Law of Non-Contradiction **Form:** ¬(P ∧ ¬P). A proposition cannot be both true and false in the same sense at the same time. Aristotle calls this "the most certain of all principles", its denial is unintelligible because the denial itself either is or is not its own negation. LNC underwrites *reductio ad absurdum* (deriving a contradiction from an assumption refutes the assumption). Scriptural anchor: **[2 Timothy 2:13](/codex/2-timothy-2-13/)**, "He cannot deny himself", God's self-consistency grounds non-contradiction. See [Law of Non-Contradiction](/codex/law-of-non-contradiction/) for the full hub. ### 3. Law of Excluded Middle **Form:** P ∨ ¬P. For any proposition P, either P is true or its negation is true; there is no third option. Excluded middle is what allows binary dichotomies: either the sky is blue or it is not. Some non-classical logics (intuitionism, fuzzy logic) restrict it; the classical apologetic use assumes it. Scriptural anchor (ris3n's notes): **[Matthew 6:24](/codex/matthew-6-24/)**, "No man can serve two masters", illustrates a clear excluded-middle dichotomy between God and mammon. ## Related logical principles Beyond the classical three, several other principles are often grouped with the "laws": ### Law of Rational Inference (Modus Ponens) If P → Q and P, then Q. This is technically an *inference rule* rather than a metaphysical "law", but ris3n's notes elevate it to "Law of Rational Inference" and anchor it in **[John 14:6](/codex/john-14-6/)** ("if [Jesus](/codex/jesus/) is the way... then no one comes to the Father except through Him"). See [Modus Ponens](/codex/modus-ponens/). ### Law of Contraposition If P → Q, then ¬Q → ¬P. Logically equivalent to the conditional itself; ris3n's notes anchor it in the contrasting wisdom of **[Proverbs 26:4-5](/codex/proverbs-26-4-5/)**. ### Identity of Indiscernibles ([Leibniz](/codex/leibniz/)'s Law) If x and y share all properties, then x = y. Sometimes paired with its converse, the *Indiscernibility of Identicals*: if x = y, they share all properties. Foundational for metaphysics of identity and theological discussions of personal identity, the Trinity (three persons, one essence), and resurrection. ### Transitivity If P → Q and Q → R, then P → R. The engine of chained inference in deductive proofs. ## Ontological vs epistemic readings Two questions about the laws of logic: - **Ontological:** are they features of *reality itself*, built into the structure of being? - **Epistemic:** are they features of *thought*, conventions we adopt because we can't think otherwise? Classical theism takes them as ontological *and* grounded in the divine intellect: God's nature is rational, non-contradictory, and invariant; the laws are descriptions of how reality must be because reality reflects God's mind. Naturalist alternatives treat them as evolutionary cognitive habits, social conventions, or brute necessities of the physical world, each of which faces the difficulty of explaining their *universality* and *invariance* on a purely material substrate. ## The transcendental argument The presuppositional / transcendental argument ([Cornelius Van Til](/codex/cornelius-van-til/), [Greg Bahnsen](/codex/greg-bahnsen/), John Frame, James Anderson) treats the laws of logic as one of the *preconditions of intelligibility* that only theism can ground: 1. Any meaningful argument presupposes the laws of logic. 2. The laws of logic are universal, immaterial, and invariant. 3. Universal, immaterial, invariant truths require a universal, immaterial, invariant Mind to ground them. 4. Therefore meaningful argument presupposes the existence of God. The atheist who *argues against* God's existence must use logic that, on the atheist's worldview, has no adequate grounding. This is the structure of the [Transcendental Argument for God](/codex/transcendental-argument-for-god/). ## Christian engagement - **God is the source of logic.** Logic is not above God but flows from his eternal, rational nature. ([Augustine](/codex/augustine/); Aquinas; classical theism generally.) - **Divine simplicity.** God's rationality, immutability, and truthfulness are not separable attributes but one with his essence (see [Ipsum Esse Subsistens](/codex/ipsum-esse-subsistens/)). - **Scripture assumes the laws.** Biblical reasoning, prophetic contrast, and apostolic argument all presuppose identity, non-contradiction, and excluded middle even when not naming them. - **Voluntarist / Cartesian dissent.** Descartes briefly entertained that God could have made contradictions true, most theologians reject this as confusing God's omnipotence (power over what is *possible*) with the impossible. God cannot make a square circle not because his power is limited but because "square circle" refers to nothing. ## Strengths and weaknesses **Strengths:** - Self-evidently presupposed by any rational discourse, including arguments against them. - Provide a clean, theistically-grounded answer to *why* reality is rationally intelligible (cf. **Weaknesses / objections:** - Non-classical logics (intuitionism, paraconsistency, fuzzy logic) modify or restrict the classical laws for specialized domains. Defenders reply these are *extensions* for narrow technical purposes, not refutations of classical reasoning. - The transcendental move (laws of logic ⇒ God) is contested by naturalists who claim brute or evolutionary grounding suffices. ## See also - [Law of Non-Contradiction](/codex/law-of-non-contradiction/), the most-cited individual law. - [Modus Ponens](/codex/modus-ponens/), the foundational inference rule. - [Self-refutation](/codex/self-refutation/), the move that shows denying LNC defeats itself. - [Transcendental Argument for God](/codex/transcendental-argument-for-god/), the apologetic argument from the laws of logic. - [Modal Logic](/codex/modal-logic/), extends the classical laws into modality. - [Deductive Reasoning](/codex/deductive-reasoning/), relies on these laws in every step. - Aristotle, codifier of the classical three. - Cornelius Van Til, modern presuppositionalist who anchored the transcendental move.
## Common questions this page answers **Q: What are the three classical laws of logic?** The Law of Identity (A = A): a thing is what it is. The [Law of Non-Contradiction](/codex/law-of-non-contradiction/) (¬(P ∧ ¬P)): a statement cannot be both true and false in the same sense at the same time. The Law of Excluded Middle (P ∨ ¬P): a clear statement is either true or false. [Aristotle](/codex/aristotle/) codified them around 350 BC; they govern all rational thought and discourse. **Q: Are the laws of logic universal?** Yes. They were true before humans existed, hold across cultures, and cannot be denied without being used in the denial. Anyone arguing "the laws of logic do not apply" is asserting something definite (not also not-asserting), which uses the laws to deny them. That self-undermining structure is why philosophers call the laws *preconditions of intelligibility*. **Q: Are the laws of logic physical, mental, or something else?** This is the hard question for naturalism. The laws are not physical (you cannot touch them), not opinions (they hold regardless of what people think), not chemicals in our brain (they were true before brains existed). They are universal, immaterial, and unchanging. The Christian-theistic answer ([Transcendental Argument for God](/codex/transcendental-argument-for-god/)) is that the laws of logic reflect the rational character of God: universal because he is everywhere, immaterial because he is Spirit, unchanging because he is. **Q: How does the transcendental argument for God use the laws of logic?** The [TAG](/codex/transcendental-argument-for-god/) (Van Til, Bahnsen, Frame) argues that only theism gives the laws of logic a natural home. The naturalist who uses logic to argue against theism is "stealing from God," relying on something only the Christian worldview can metaphysically ground. The argument is not "logic is hard to explain on naturalism, therefore God"; it is "logic's universal applicability presupposes the Christian metaphysical framework that the atheist denies." See [Stealing from God Argument](/codex/stealing-from-god-argument/). **Q: Can the laws of logic be revised by science?** Quantum mechanics is sometimes invoked to suggest "classical logic does not apply at the quantum level." But the "quantum logic" of Birkhoff and von Neumann (1936) is a different formal system that does not actually deny LNC; it modifies distributivity for measurement contexts. The classical laws still apply to all coherent discourse, including the mathematical formalism quantum logic uses. See [Law of Non-Contradiction](/codex/law-of-non-contradiction/) and [Modal Logic](/codex/modal-logic/).