Argument

Syllogisms for Logic Itself

Intro

Logic is strange. The law of non-contradiction (a thing cannot be true and false in the same way at the same time) holds everywhere, in every culture, on every planet, at every moment of cosmic history. It does not wear out. It does not depend on whether anyone is thinking about it. It tells you what reasoning must do; it does not just describe what reasoning happens to do.

Where do you get rules like that out of a universe of pure matter? Atoms do not have oughts. Particles do not have universally. So when a person says, the laws of logic are just patterns in our brains that evolution selected, they have not explained where logic comes from. They have just described that brains use logic. A description of usage is not a grounding.

The argument on this page says logic looks much more at home in a theistic universe than in an atheistic one. If reality is grounded in an eternal Mind whose own rational nature is invariant, universal, immaterial, and normative, then the laws of logic make sense as features of that Mind. They are universal because the Mind is over all things. They do not change because the Mind does not change. They are not made of stuff because the Mind is not made of stuff. They tell us how reasoning ought to go because they reflect how the Mind itself reasons.

This is a classic presuppositional argument (Van Til, Bahnsen, Frame). Frank Turek packages a popular version of it as part of his CRIMES acronym. The sharp claim: anyone who argues against God has to use logic to do it, and logic does not fit the worldview they are defending.

In full

The transcendental-argument family that the very laws of logic, the Law of Identity, the Law of Non-Contradiction, the Law of Excluded Middle, themselves require a theistic-Christian foundation to be coherently grounded as universal, invariant, abstract, and normative. On naturalism / atheism, the laws of logic cannot be accounted for; on Christian theism, they are necessary features of the eternal divine mind. The syllogism is therefore in the transcendental family, it argues that the very preconditions of any reasoning, including any reasoning against theism, presuppose theism.

This is the most fundamental presuppositional argument in the Presuppositionalism tradition (Van Til, Bahnsen, John Frame). The popular-deployment version (Frank Turek's Stealing from God, 2014) packages it as part of the broader CRIMES acronym: the atheist steals Causality, Reason, Information, Morality, Evil, and Science from the Christian worldview while denying the worldview that makes them possible.

Argument structure (the basic syllogism)

	Claim
Premise 1	The laws of logic exist and are universal (true everywhere), invariant (do not change), abstract (not physical objects), and normative (prescribe how reasoning ought to proceed).
Premise 2	On atheism / naturalism / materialism, there is no adequate account of how such entities could exist or have universal-invariant-abstract-normative character.
Premise 3	On Christian theism, the laws of logic are necessary features of the eternal divine intellect, they are universal because God's mind extends over all reality, invariant because God is immutable, abstract because God is immaterial, and normative because they reflect God's own rational nature.
Premise 4	Therefore the existence of the laws of logic is best explained by Christian theism.
Conclusion	The laws of logic are evidence for the existence of God.

The argument is abductive (inference to the best explanation), though Van Tilian deployment frames it as deductive-via-reductio: assume the laws of logic AND naturalism, derive a contradiction (naturalism cannot account for the laws it relies on), conclude naturalism is false.

P1, the four features of the laws of logic

The laws of logic (especially the Law of Non-Contradiction, A and not-A cannot both be true at the same time and in the same sense) have four features that any account must explain:

Universal, they hold at every place and time, including places and times we have never observed.
Invariant, they do not change with culture, language, brain-chemistry, or evolutionary history. The LNC was true before there were minds to think it and would remain true if all minds ceased to exist.
Abstract, they are not physical objects (you cannot point at the LNC; it has no spatial location, no mass, no energy).
Normative, they are not merely descriptive of how minds happen to function; they prescribe how reasoning ought to proceed. A mind that violates the LNC is not just unusual; it is malfunctioning.

These features are not optional. Any working account of logic must explain all four.

P2, naturalism's account-failure

Naturalist accounts of the laws of logic face structural difficulties on each feature:

Materialism

If only matter and energy exist, the laws of logic must be reducible to physical states. But:

Material states are local (located somewhere); the laws of logic are universal. Reductive account fails on universality.
Material states change; the laws of logic are invariant. Reduction fails on invariance.
Material states are concrete; the laws of logic are abstract. Reduction fails on abstraction.
Material states are descriptive (they are what they are); the laws of logic are normative. Reduction fails on normativity.

Materialism cannot account for the laws of logic.

Psychologism (logical laws as features of human minds)

If the laws of logic are features of how human minds happen to think:

They become anthropocentric, pre-human minds (animal, alien) would have different "laws of logic," which contradicts the universality claim.
They become contingent, if humans had evolved differently, the laws would be different. Contradicts invariance.
They become descriptive (this is how human minds work) rather than normative (this is how reasoning ought to proceed). The 10th-c. Norman mind that violates the LNC is "malfunctioning"; the psychologist who thinks logic is just human-mind-features cannot say why.

Psychologism cannot account for the normativity-features of logic.

Conventionalism (logical laws as social agreements)

If the laws of logic are conventions humans have agreed on:

They cannot be universal (different conventions are possible).
They cannot be invariant (conventions change).
They cannot be normative (no convention can compel; conventions are followed by agreement, not by logical necessity).

Conventionalism cannot account for any of the four features.

Platonism (laws of logic as abstract objects in a Platonic realm)

Atheist Platonists (W. V. O. Quine, contemporary mathematical Platonists) accept the universal-invariant-abstract features but face:

The interaction problem, how do material minds access non-material Platonic abstracta? Platonism plus naturalism is unstable.
The normativity gap, Platonic objects don't prescribe; they just exist. The normativity of logic is not accounted for.

Platonist atheism is the most sophisticated alternative but faces the interaction-and-normativity gaps.

P3, the theistic account

On Christian theism, the laws of logic are necessary features of the eternal divine intellect:

Universal, God's mind extends over all reality; the laws as features of His mind apply universally.
Invariant, God is immutable; the laws as features of His nature are equally immutable.
Abstract, God is immaterial; the laws as features of His mind are correspondingly non-material.
Normative, God is the source of all rational normativity; the laws as features of His nature are constitutively normative.

The theist also has resources for the human-mind-access question: God created humans in His image (imago Dei, see Imago Dei; Innate Knowledge of God), with rational faculties that participate in the divine rational order. Human access to the laws of logic is the participation of human minds in the divine mind, not a brute-fact interaction problem.

This is the Augustinian / Anselmian / classical theistic account, Augustine (City of God VIII.6) developed the divine ideas doctrine in which abstract truths (mathematical, logical, moral) are eternal features of the divine intellect. The doctrine recurs across the Christian-philosophical tradition (Aquinas, Bonaventure, the Reformed scholastics).

Second-order arguments

Second-order argument #1, the self-undermining of naturalism

If naturalism cannot account for the laws of logic, but the naturalist's argument for naturalism uses logic, then the naturalist's position is self-undermining. The naturalist is using a tool (logic) the naturalist's own worldview cannot account for. This is Reductio ad Absurdum in its classic transcendental shape.

Second-order argument #2, atheist-philosopher concessions

Some atheist philosophers concede that materialism cannot ground the laws of logic and bite the bullet with logical conventionalism or anti-realism. But the concession costs them the use of logic in argument, if logic is just convention, the atheist's argument against theism is just one convention against another. The atheist who wants to deploy logic with normative force against theism must adopt a metaphysics richer than materialism, at which point the door is open to theism as the best such metaphysics.

Second-order argument #3, mathematics-and-logic parallel

The same argument applies to mathematics (Wigner's "unreasonable effectiveness of mathematics in the natural sciences"). The naturalist must explain why purely formal mathematical structures successfully describe the physical world, an alignment between abstract structure and concrete reality that is inexplicable on naturalism. The Christian framework explains: God created the cosmos in His own rational order; the mathematical structure of physical reality and the rational structure of human minds are both reflections of the divine rational order. This is the broader Argument from Reason family.

Master opponent objections

Objection 1, Question-begging

The atheist responds: "the theist is just defining the laws of logic as features of God; that's question-begging."

Rebuttal. The theistic account is not arbitrary stipulation; it is the best explanation of the four features that any account must explain. The atheist is welcome to offer an alternative best-explanation; the argument predicts that no naturalist alternative explains all four features without further explanatory deficits.

Objection 2, Platonism

The atheist Platonist accepts the abstract-invariant features but denies the divine-mind grounding.

Rebuttal. Platonism + naturalism faces (a) the interaction problem (how do material minds access Platonic abstracta?) and (b) the normativity gap (Platonic objects don't prescribe). Christian theism solves both via the imago Dei participation account. The argument is comparative, theism provides a more complete explanation than Platonist-atheism.

Objection 3, Evolutionary epistemology

The atheist responds: "evolution selected for cognitive faculties that track logical truth because logical truth is survival-conducive."

Rebuttal. This is the Argument from Reason terrain, the evolutionary-epistemological response either (a) commits to logic-as-survival-feature, which is psychologism and fails the universality-and-invariance features, or (b) commits to logic-as-tracking-real-features-of-reality, which is what the theist is arguing for. Evolution selects for survival, not for tracking abstract necessary truths.

Objection 4, Brute necessity

The atheist responds: "the laws of logic are simply necessary truths; their existence is brute-fact, not in need of further explanation."

Rebuttal. Brute necessities are theoretically possible but explanatorily extravagant, the principle of sufficient reason (see Principle of Sufficient Reason) presses for explanation. The Christian framework provides explanation (grounded in divine nature); the atheist must accept brute-necessity as the limit of explanation. The choice between "grounded in eternal divine mind" and "brute unexplained necessity" is the choice between a more parsimonious and a less parsimonious metaphysics. The theist position is the more theoretically virtuous.

Live-cite kit

Opening line for the atheist:

"Here's the thing, every argument you've made today has used the laws of logic. The Law of Non-Contradiction is necessary for your argument to mean anything. But on your worldview, pure naturalism, matter and energy, where do the laws of logic come from? They're not physical (you can't weigh the LNC). They don't change (the LNC was true before there were minds to think it). They prescribe how reasoning ought to proceed (a mind that violates them is malfunctioning, not just unusual). Materialism can't account for any of those features. Christian theism can, the laws of logic are features of the eternal divine mind, and we participate in them because God created us with rational faculties in His own image. So when you reason against God, you're using a tool only God's existence can adequately explain."

Scholarly anchors:

Cornelius Van Til, The Defense of the Faith (P&R, 1955), foundational presuppositional treatment
Greg Bahnsen, Presuppositional Apologetics: Stated and Defended (American Vision, 2008)
James Anderson, "If Knowledge Then God" (Calvin Theological Journal, 2005), analytic presuppositional version
Augustine, City of God VIII.6; De libero arbitrio II, divine ideas doctrine
C. S. Lewis, Miracles ch. 3-4, the Argument from Reason
Edward Feser, The Last Superstition (St. Augustine's Press, 2008), Thomist deployment
Frank Turek, Stealing from God (NavPress, 2014), popular CRIMES deployment

Aphorism for memorability:

"The atheist breathes God's air to argue God doesn't exist." (Turek paraphrase)