Concept

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?"

◎ See this page's graph and discover linked topics →

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 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: 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, "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, "He cannot deny himself", God's self-consistency grounds non-contradiction.

See 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, "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 ("if Jesus is the way... then no one comes to the Father except through Him"). See 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.

Identity of Indiscernibles (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, 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.

Christian engagement

• God is the source of logic. Logic is not above God but flows from his eternal, rational nature. (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).
• 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, the most-cited individual law.
• Modus Ponens, the foundational inference rule.
• Self-refutation, the move that shows denying LNC defeats itself.
• Transcendental Argument for God, the apologetic argument from the laws of logic.
• Modal Logic, extends the classical laws into modality.
• 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.