# Stroud Objection to Transcendental Arguments Defeater ## Intro The [Transcendental Argument for God](/codex/transcendental-argument-for-god/) says that logic, knowledge and moral reasoning only make sense if God exists. The sharpest reply to it is not "that's circular." It comes from the philosopher Barry Stroud, and it goes like this: even if you prove that we *have to think* a certain way, you have only proved something about our thinking. You have not proved that the world itself is that way. Picture a pair of goggles that tint everything blue. You could prove, beyond doubt, that everything you see through them will look blue. That tells you about the goggles. It tells you nothing about whether the world is blue. Stroud says transcendental arguments risk the same gap: they show what our minds require and then claim to have shown what reality contains. The objection is real, and it deserves a real answer. The answer has three parts. First, the laws of logic are not quirks of human psychology; they are laws about what can and cannot *be*. Second, the gap Stroud points to binds the critic as tightly as the Christian: anyone who says "our minds can never show us reality" has just made a claim about reality. Third, only a worldview in which one rational Source made both the knowing mind and the known world can explain why the structure of thought fits the structure of being at all. That is the bridge Stroud asks for, and Christianity is the view that has it. ## Cheatsheet **The 30-second reply:** > You are right that "we must think X" is not yet "X is real." So be consistent. When you say our minds can never tell us what reality is like, you are telling me what reality is like. And non-contradiction is not a habit of my brain, it is a law of being: nothing can be and not be in the same respect. The only question left is why the laws that govern thought also govern the world. If mind and world come from one rational Creator, that fit is expected. If they do not, it is a coincidence you cannot explain. **The fast facts:** 1. **Source.** Barry Stroud, "Transcendental Arguments," *Journal of Philosophy* (1968). It targeted Strawson's anti-skeptical arguments and, behind them, Kant. 2. **The gap.** From "we cannot think coherently without presupposing P" it does not follow, without a further premise, that "P is true of mind-independent reality." 3. **The fix inside TAG.** State the key premise metaphysically: intelligibility could not *actually obtain* unless God exists. That is a claim about being, not about psychology. 4. **The symmetry.** The skeptic's own conclusion ("cognition cannot disclose being") is a claim about how cognition relates to being, so it needs the bridge it denies. 5. **The bridge.** Knower and known from one Logos ([John 1:1-3](/codex/john-1-1-3/)) is an ontological explanation of why thought fits being. **The 3 strongest counter-moves:** - *"Is the law of non-contradiction a fact about my brain, or about everything that exists?"* Almost no one will say "only my brain." Once it is about being, the gap has closed for the most basic precondition. - *"Is your claim that cognition cannot reach reality itself true of reality?"* If yes, it crossed the bridge. If no, it is only a report about your thinking and binds no one. - *"Why does mathematics worked out on paper predict the behaviour of planets and particles?"* Stroud's gap would make that fit a brute accident. **Reciprocal concessions (grant the small point, then collect a bigger one):** - *Grant:* "we must presuppose P" and "P is true" are two different propositions. *Now collect:* then "we can never know reality as it is" is also only a report about your thinking, and you cannot use it to overturn anyone's metaphysics. - *Grant:* some transcendental arguments in the literature stop at conceptual necessity. *Now collect:* TAG's premise about logic is not one of them; non-contradiction is a law of being, as Aristotle already argued, and naturalism has no account of why being obeys it. - *Grant:* the Christian must argue for the bridge, not assume it. *Now collect:* the naturalist must too, every time he trusts inference to tell him about the world, and his worldview supplies no bridge at all. **The closing line:** > Stroud asks how the conditions of thought reach the conditions of being. That is exactly the question theism answers and naturalism cannot: they meet because the same Mind made both. ## In full Barry Stroud's 1968 paper argued that transcendental arguments, which move from some undeniable feature of experience or thought to its necessary conditions, characteristically establish less than they claim. What they can show, at best, is that we must *believe* or *presuppose* some proposition P in order to think or speak coherently. What they claim to show is that P is *true*, that the world is as P says. Unless some further principle connects the two, the argument has proved a thesis about the structure of our conceptual scheme and then spoken as though it had proved a thesis about mind-independent reality. Stroud's own targets were Strawson's arguments against skepticism about other minds and material objects, and behind them Kant's project in the *Critique of Pure Reason*, which famously investigated the conditions under which experience is possible and left open how those conditions relate to things as they are in themselves. Applied to the [Transcendental Argument for God](/codex/transcendental-argument-for-god/), the objection runs: suppose it is shown that no one can reason without presupposing universal laws of logic, the uniformity of nature and a real distinction between truth and error, and that only Christian theism coherently supplies these. It would follow that we must *think as if* God exists. It would not yet follow that God exists. The critic concludes that TAG either stops at a conclusion about human thinking or smuggles in an unargued bridge premise. The defeater accepts the logical point and denies that it harms a properly stated TAG. Three moves carry it. (1) **Reformulation.** TAG's load-bearing premise is metaphysical: rational intelligibility *actually obtains*, and it could not actually obtain unless God exists. That is a modus ponens whose conclusion is about being, and its burden falls on the second premise, where the substantive debate belongs. (2) **Ontological status of the preconditions.** The most basic precondition, the law of non-contradiction, is not a psychological regularity. Aristotle stated it in *Metaphysics* IV as a principle of being: the same attribute cannot at once belong and not belong to the same thing in the same respect. Denying that it governs reality is not a coherent option, because the denial must itself be true rather than also false. (3) **Symmetry.** The gap Stroud identifies is not a weapon only against theism. Any thesis that cognition cannot disclose being is a thesis about the relation of cognition to being, so it presupposes the very access it denies; and every naturalist who reasons from evidence to the world trusts the bridge daily. (4) **The theistic bridge.** Christian theism supplies what the objection demands: a single rational source of both the knower and the known ([John 1:1-3](/codex/john-1-1-3/)), which makes the fit between the structure of thought and the structure of the world an expectation rather than an accident. Naturalism supplies no such ground and must treat that fit as brute. The objection therefore shifts the debate from "must we think this way?" to "which ontology explains why thinking this way reaches reality?", which is the ground on which TAG was built to fight. ## Argument structure | # | Premise | |---|---| | **P1** | Stroud's objection is valid only against transcendental arguments whose conclusion is merely conceptual ("we must presuppose X"). | | **P2** | TAG's decisive premise is ontological: intelligibility actually obtains, and could not actually obtain unless God exists; and its paradigm precondition, non-contradiction, is a law of being, not of psychology. | | **P3** | The objection's own conclusion, that cognition cannot disclose being, is itself a claim about being, so the critic needs the same bridge he demands. | | **P4** | Christian theism supplies an explanation of the bridge (one rational Source of knower and known); naturalism supplies none. | | **C** | **Therefore Stroud's objection does not defeat TAG; it relocates the debate to the question of which ontology grounds the fit between thought and being, where theism has the advantage.** | ## Form **Defensive.** The page does not itself prove God's existence; it removes the most sophisticated philosophical objection to the transcendental argument by showing (P1-P2) that it misdescribes TAG's structure, (P3) that it is self-applying, and (P4) that the question it raises is one theism answers. The positive argument lives at [Transcendental Argument for God](/codex/transcendental-argument-for-god/) and [Presuppositionalism](/codex/presuppositionalism/). --- ## P1, The objection only lands on merely conceptual conclusions ### Affirmative case (second-order arguments) 1. **The objection is about a gap between two propositions.** "Necessarily, we presuppose P" and "P" differ. An argument that establishes only the first has not established the second. That is the whole of Stroud's logical point, and it is correct. 2. **Its original targets were conceptual-scheme arguments.** Strawson argued from the conditions of identifying particulars in our conceptual scheme; Kant from the conditions of possible experience. Both, in different ways, keep the conclusion inside the scope of experience or thought. Stroud pressed exactly that scope limit. 3. **An argument whose premise already concerns being is not in that class.** If the argument's conditional says "reality could not be intelligible unless G", the conclusion "G" is about reality by construction. The objection has nothing to grip. ### Anticipated objections 1. **"Every transcendental argument starts from how we think, so every one is in the conceptual class."** 2. **"You are just asserting that the conditional is about being. Asserting it does not make it so."** ### Rebuttals 1. **The starting point and the conclusion are different things.** TAG begins from a feature we encounter in thought (that reasoning succeeds, that inference is valid, that some claims are true) but the feature is not a mood of ours; it is the *success* of thought at reaching truth. Success is a relation between thought and the world, so an argument from it is already an argument about both terms. **Failure mode: confusing the epistemic starting point with the logical scope of the conclusion.** 2. **Correct, and TAG accepts the burden openly.** The conditional must be argued, not asserted, and the argument is the whole of [Transcendental Argument for God](/codex/transcendental-argument-for-god/) P2, including the Anderson-Welty argument that necessary truths require a necessary mind (see [Argument from Mathematical Truth](/codex/argument-from-mathematical-truth/)). Stroud's objection does not show the conditional false; it shows where the argumentative weight sits, which TAG's defenders already locate there. **Failure mode: treating "you must argue for it" as "it is false."** ### Live-cite kit - **Scripture:** [Romans 1:19-20](/codex/romans-1-18-21/) (what may be known of God is shown in the things that are made, a claim about the world, not merely about the knower) - **Scholarly:** Stroud, "Transcendental Arguments" (1968); Strawson, *Individuals* (1959); Kant, *Critique of Pure Reason* - **Aphorism:** "Show me the bridge, he says. Fine: it runs through the premise, not around it." ### Tactical notes - Grant the logical point immediately and warmly. It is true, and granting it signals you know the literature. - Then ask which premise of TAG is merely conceptual. Make the critic point to it. - **What NOT to defend:** that every historical transcendental argument (Kant's, Strawson's) escapes Stroud. You do not need them to. You need only TAG's premise. --- ## P2, TAG's decisive premise is ontological ### Affirmative case (second-order arguments) 1. **Non-contradiction is a law of being.** Aristotle treats it in *Metaphysics* IV as the firmest principle of all, and as a principle about beings: nothing can both have and lack the same attribute at the same time in the same respect. It is not "humans find contradictions hard to believe"; it is "contradictory states of affairs cannot obtain." The strongest precondition TAG names is therefore already on the far side of Stroud's gap. 2. **Denying its ontological scope is self-defeating.** Suppose someone says non-contradiction governs thought but not reality. Then reality could both be and not be as he says it is, and his statement about reality would be as false as it is true. The denial cannot even be stated as a claim about the world without the principle holding of the world. (Compare [Law of Non-Contradiction](/codex/law-of-non-contradiction/), [Self-refutation](/codex/self-refutation/).) 3. **The argument's conditional is about actual intelligibility.** Stated carefully: (i) objective rational intelligibility actually exists; (ii) it could not actually exist unless an eternal rational Mind grounds necessary truths and orders the world; (iii) therefore that Mind exists. Premise (ii) is contested, as every important metaphysical premise is, but it is a claim about being. ### Anticipated objections 1. **"Aristotle's claim about being is itself only how Aristotle had to think."** 2. **"Quantum mechanics and paraconsistent logics show non-contradiction is optional."** 3. **"Premise (ii) is where all the work is, and you have not proved it here."** ### Rebuttals 1. **Then the objection has become global skepticism, and it eats itself.** If every claim about being is "only how someone had to think," so is the objector's claim, including the claim that this is so. At that point the dispute is not with TAG but with the possibility of saying anything true, and the objector is still using non-contradiction to press it. **Failure mode: regress into self-refuting skepticism.** 2. **Neither shows a true contradiction in reality.** Superposition is a well-defined mathematical state, not "the particle is and is not spinning up in the same respect." Paraconsistent logics are formal systems for reasoning with inconsistent data without explosion; their users still hold that their own theorems are true and not also false. See [Laws of Logic](/codex/laws-of-logic/). **Failure mode: equivocating on "contradiction."** 3. **Correct, and it is argued elsewhere.** This page is a defeater: its job is to show the objection does not block TAG. Premise (ii) is defended at [Transcendental Argument for God](/codex/transcendental-argument-for-god/) P2 and P3, [Anyone Who Affirms Universals Must Affirm God](/codex/anyone-who-affirms-universals-must-affirm-god/) and [Argument from Intelligibility](/codex/argument-from-intelligibility/). **Failure mode: demanding that a defeater carry the whole positive case.** ### Live-cite kit - **Scripture:** [Hebrews 1.3](/codex/hebrews-1-3/) (the Son upholds all things, the ground of order in being, not only in thought) - **Scholarly:** Aristotle, *Metaphysics* IV; Anderson and Welty, "The Lord of Noncontradiction" (2011) - **Aphorism:** "Non-contradiction is not a rule for my head. It is a rule for everything that is." ### Tactical notes - Lead with non-contradiction, because it is the one precondition nobody can coherently relocate into psychology. - **Force-commit:** "Can reality contain a state of affairs that both obtains and does not obtain?" A no answers Stroud for the most basic precondition. --- ## P3, The objection needs the bridge it denies ### Affirmative case (second-order arguments) 1. **The critic's conclusion is metaphysical.** "Necessary conditions of our cognition cannot be known to be conditions of reality" is a claim about the relation between cognition and reality. Whoever asserts it as true claims to know something about reality: namely that it may outrun our cognition in a specific way. 2. **The critic reasons from thought to world constantly.** Every inference from evidence to a conclusion about the world, every scientific prediction, trusts that the valid forms of our reasoning track how things are. The naturalist relies on the bridge in every argument he makes against TAG. 3. **The same standard strikes his other moves.** A critic who says "because describing an experience requires concepts, the experience itself is derivative," or "if everything were blue there would be no blue," has moved from a condition of *recognizing* or *describing* something to a claim about what *exists*. That is the very move he forbids the transcendentalist. ### Anticipated objections 1. **"I am not asserting anything about reality. I am only withholding assent."** 2. **"Science is justified pragmatically. It works; no bridge needed."** ### Rebuttals 1. **Then there is no objection, only a mood.** A critic who asserts nothing cannot claim TAG has failed, because "TAG fails" is an assertion. Pure withholding gives no reason for anyone else to withhold. Stroud himself framed his point as a challenge to be met, not as a proof that it cannot be met. **Failure mode: presenting suspended judgment as a refutation.** 2. **"It works" is the bridge, assumed.** To say a method works is to say its outputs match the world. That is exactly the correspondence between the order of thought and the order of being whose explanation is in dispute. See [Argument from the Reliability of Reason](/codex/argument-from-the-reliability-of-reason/). **Failure mode: using the explanandum as the explanation.** ### Live-cite kit - **Scripture:** [Proverbs 1:7](/codex/proverbs-1-7/) (knowledge has a starting point outside the knower) - **Scholarly:** Stroud (1968), read as a challenge; Plantinga, *Where the Conflict Really Lies* (2011), on naturalism and the reliability of cognition - **Aphorism:** "You cannot tell me what reality is not like with a mind you say cannot reach it." ### Tactical notes - This is the move that turns the room. Deliver it as a question, not a charge: "Is that claim about the limits of our minds true of reality?" - Link the critic's own previous examples (the goggles, the blue universe) to the standard he has just laid down. --- ## P4, Theism explains the bridge; naturalism does not ### Affirmative case (second-order arguments) 1. **One Source for knower and known.** On Christian theism the world is made through the Logos and the human mind bears the image of the same Maker ([John 1:1-3](/codex/john-1-1-3/), [Genesis 1:27](/codex/genesis-1-27/)). The fit between the necessary structure of thought and the structure of being is therefore not a lucky match between two unrelated things; both are expressions of one rational order. 2. **Naturalism has no ground for the fit.** If minds are products of processes that answered only to survival, and the world's order is brute, then that the laws governing valid inference also govern the world is at best a coincidence that must simply be accepted. See [Argument from Reason](/codex/argument-from-reason/) and [Fitness Beats Truth Argument](/codex/fitness-beats-truth-argument/). 3. **The objection's question is the argument's answer.** Stroud asks what licenses the move from the conditions of thought to the conditions of being. TAG's conclusion is precisely the existence of what licenses it. ### Anticipated objections 1. **"This just assumes God to answer Stroud, which is circular."** 2. **"Evolution explains the fit: minds that tracked the world survived."** ### Rebuttals 1. **It is inference to the explanation of an admitted fact.** Both sides accept that reasoning reaches the world. The question is what explains that. Offering God as the explanation of a shared datum is abductive, not circular; the critic is free to offer a rival explanation. See [Abductive Reasoning](/codex/abductive-reasoning/). **Failure mode: calling every explanation of a premise a presupposition of the conclusion.** 2. **Survival explains useful tracking of local, medium-sized objects, not necessary truths.** Evolution could at most select for beliefs that were adaptive in ancestral environments. It cannot explain why the laws of logic hold necessarily, or why abstract mathematics reaches quantum fields and galaxies that no ancestor ever encountered. **Failure mode: explaining a contingent, local fit and claiming a necessary, universal one.** ### Christian satisfaction Christian theism holds that the eternal Logos is at once the reason in God, the pattern of the world and the light that enlightens every person ([John 1:9](/codex/john-1-9/)). That single doctrine supplies all three things Stroud's objection separates: the necessary conditions of thought, the structure of reality, and the correspondence between them. ### Live-cite kit - **Scripture:** [John 1:1-3](/codex/john-1-1-3/), [John 1:9](/codex/john-1-9/); [Colossians 1:16-17](/codex/colossians-1-16-17/) (in Him all things hold together) - **Scholarly:** Plantinga (2011); Anderson and Welty (2011) - **Aphorism:** "Thought fits being because the same Word made both." ### Tactical notes - Keep this for last. The room will accept it once P3 has shown the critic needs a bridge too. --- ## Master objections to the whole argument 1. **"You have granted Stroud's point, so TAG is weaker than presuppositionalists claim."** Rebuttal: what is granted is a truth of logic that TAG never contradicted. What is denied is that TAG's premises are merely conceptual. A properly stated TAG loses nothing, and the objector's own position now carries a burden it did not carry before. 2. **"This is just Kant's problem, and Kant never solved it."** Rebuttal: Kant's system restricted knowledge to appearances and could not recover things in themselves; that is why Stroud's objection bites Kant. Christian theism is not Kantian idealism. It holds that the created mind is fitted to a created world by the same Creator, which is exactly what Kant's framework lacked. 3. **"Presuppositionalists say you cannot argue from neutral ground, so why argue here at all?"** Rebuttal: the defeater argues from ground the critic already occupies: that his own claims are true of the world. See [Presuppositionalism](/codex/presuppositionalism/) and [Apologetic Method Comparison](/codex/apologetic-method-comparison/). ## Tactical opening / closing **Opening:** "Stroud's objection is the best one there is, so let us take it seriously: from 'we must think X' you cannot get 'X is real' without a bridge. Agreed. Now let us see who has one." **Closing:** "The question on the table is how the laws of thought reach the world. My answer is that one Mind made both. Your answer, if you have one, has to be something other than luck." ## Connection to Scripture - **[John 1:1-3](/codex/john-1-1-3/)**, the Word through whom all things were made: the common source of reason and reality - **[John 1:9](/codex/john-1-9/)**, the light that enlightens every person: the ground of the mind's access - **[Romans 1:19-20](/codex/romans-1-18-21/)**, God's power and divinity understood through the things that are made: knowledge of the world reaching its Maker - **[Colossians 1:16-17](/codex/colossians-1-16-17/)**, all things created through Him and holding together in Him - **[Hebrews 1.3](/codex/hebrews-1-3/)**, the Son upholding all things ## See also - [Transcendental Argument for God](/codex/transcendental-argument-for-god/), the argument this page defends - [Presuppositionalism](/codex/presuppositionalism/), the method TAG belongs to - [Law of Non-Contradiction](/codex/law-of-non-contradiction/), the precondition that is a law of being - [Laws of Logic](/codex/laws-of-logic/), their universality and necessity - [Argument from the Reliability of Reason](/codex/argument-from-the-reliability-of-reason/) and [Argument from Reason](/codex/argument-from-reason/), the naturalist's own bridge problem - [Fitness Beats Truth Argument](/codex/fitness-beats-truth-argument/), why survival-selected minds do not guarantee truth - [Cartesian Skeptical Argument and Christian Responses](/codex/cartesian-skeptical-argument-and-christian-responses/), Stroud's other famous problem, skepticism about the external world - [Analytic-Synthetic Distinction](/codex/analytic-synthetic-distinction/), the neighbouring debate about truth by meaning and truth by fact - [Immanuel Kant](/codex/immanuel-kant/), the transcendental method and its limits
## Common questions this page answers **Q: What is Stroud's objection to transcendental arguments?** Barry Stroud argued in 1968 that transcendental arguments usually prove only that we must believe or presuppose something in order to think coherently, not that it is true of reality. Without a further bridge premise, "we must think X" does not give "X is real." **Q: Does Stroud's objection refute the transcendental argument for God?** No. It lands on arguments whose conclusions are merely about our conceptual scheme. TAG's decisive premise is about reality: intelligibility actually exists and could not exist unless God does. Its most basic precondition, the law of non-contradiction, is a law of being, not a feature of human psychology. **Q: Isn't TAG only showing how humans have to think?** That is the Stroud worry. The reply is that anyone who says our minds can never show us what reality is like has just made a claim about reality, so the critic needs the same bridge. Christian theism explains the bridge: the same rational Creator made the mind and the world it knows. **Q: How does Christianity explain why logic applies to the real world?** The Logos through whom all things were made ([John 1:1-3](/codex/john-1-1-3/)) is also the light that enlightens every person ([John 1:9](/codex/john-1-9/)). Mind and world share one rational source, so the fit between the laws of thought and the order of being is expected rather than accidental. **Q: Can the law of non-contradiction fail in reality?** No coherent case shows it failing. Quantum superposition is a well-defined state, not something both being and not being in the same respect, and paraconsistent logics are tools for handling inconsistent data whose users still treat their own theorems as true and not also false.