Dyer’s case in the debate is presuppositional: logic, universals, and the preconditions of knowledge require grounding, only an omniscient personal God can supply it, therefore any reasoning at all presupposes God. Bundled with it are an anti-foundationalism (nothing is self-evident, we have webs of belief with God at the center), a Quinean attack on empiricism, and a mythos-and-telos argument that meaning and human dignity require the imago Dei. The refutations below are ranked by force, each paired with Dyer’s best comeback so the note carries its own contradictions.
1. The false dilemma at the core of TAG
This is the load-bearing crack. Even granting that the preconditions of intelligibility need grounding, the argument establishes at most that some ground exists. It does nothing to exclude the rivals: an impersonal abstract structure, brute necessary truth, Platonic forms, a non-personal absolute, a different deity, or many deities. Dyer’s pivotal claim — that the only thing that could unify and ground the categories is an omniscient mind — is asserted, never argued. It is an argument from ignorance wearing the costume of a proof.
Why this is the strongest line
Every other refutation below is really a way of showing that the “only God” step is unearned. Force Dyer to defend the exclusivity claim directly and the whole transcendental apparatus stalls, because he has no argument that rules out non-theistic and non-Christian grounds — only the assertion that they “cannot account for” logic.
Dyer’s comeback: rival grounds (Platonism, brute necessity) cannot explain the unity, universality, and applicability of logic to the world; only a mind can intend and apply. Why it falls short: this is a further assertion. Abstract-object and structural-realist accounts of why logic applies to the world exist and are defended; Dyer would need to defeat each, not gesture at their supposed inadequacy.
2. The circularity proves too much
Dyer concedes in the transcript that the argument is circular — logic is grounded in God, and logic is used to argue for God — and defends it as transcendental rather than vicious circularity. But self-grounding circularity, once permitted, is available to any worldview that posits its ultimate as the precondition of intelligibility. The Muslim, the Hindu, the absolute idealist, and even Brook’s “existence exists” can each say that denying their ultimate presupposes it. So the move cannot discriminate between rival ultimates, which is precisely the work it is hired to do.
His own parity jab at Brook — “if you can assert a self-evident axiom, so can I with God” — boomerangs. If transcendental circularity legitimizes God as the uncriticizable center, it equally legitimizes logic, existence, or consciousness as brute ultimates, and TAG loses any distinctive claim to be the only account.
Dyer’s comeback: all worldviews are ultimately circular at the transcendental level; the question is which circle is non-arbitrary, and only the Christian one accounts for the preconditions without borrowing. Why it falls short: “only the Christian one” is just refutation 1 again. The non-arbitrariness is asserted, and competing circles claim the same non-arbitrariness with equal right.
3. Euthyphro applied to logic
The dilemma
Are the laws of logic true because God decrees them, or does God conform to them? If God decrees them, they are arbitrary — God could have made contradictions true, which is unintelligible, and “God is rational” becomes contingent and empty. If God conforms to them, the laws hold independently of God, and the claim that they are grounded in God collapses: they are a necessary structure God himself is bound by. Either horn defeats “logic is grounded in God.”
Dyer’s comeback: false trilemma — the laws are neither above God nor arbitrarily willed, but are identical to, or an expression of, God’s necessarily rational nature. Why it falls short: this concedes that God’s nature has a necessary logical structure that could not have been otherwise. But then a brute necessary structure is being accepted as a stopping point — which is exactly what refutation 5 says was available without God in the first place.
4. God is an explanatory idle wheel
Grounding logic in God’s necessary nature does not explain the necessity; it relocates it. We now need an account of why God’s nature has that structure, and the answer is either “it just does” (brute, in which case brute necessity was acceptable all along) or “something further grounds it” (regress). Positing God moves the unexplained necessity up one level without dissolving it. If the theist may terminate the regress in God’s brute necessary nature, the naturalist may terminate it in the brute necessity of logic itself, with one fewer entity.
Dyer’s comeback: God is not one more entity in the chain but the necessary being whose existence is self-explanatory, so the regress stops non-arbitrarily with him. Why it falls short: “self-explanatory necessary being” is a contested and heavily loaded posit; asserting it is not the same as showing that logic-as-brute is less acceptable than God-as-brute.
5. The Quine move backfires
Dyer wields Quine’s “Two Dogmas of Empiricism” to argue that the empiricist cannot justify universals, analyticity, or the a priori, so reason is a kind of faith. But Quine was a thoroughgoing naturalist and atheist. His holism concludes that we revise our web of belief in light of experience with no first philosophy and no appeal to God. Dyer explicitly adopts the web-of-belief picture — and in doing so imports a framework whose author took it to undermine the very God-grounded a priori certainties Dyer wants. Quinean holism makes every node revisable, including God; it does not license an unrevisable theological center. Dyer is citing the branch he is sitting on as the thing that saws it off.
Dyer’s comeback: he adopts the structure of holism (interconnected beliefs) while rejecting Quine’s naturalism, placing God rather than experience at the center. Why it falls short: that is refutation 9 — an unrevisable central node is a foundation, so he has smuggled back the foundationalism he claims to reject, and owes an account of why God gets exempted from the revisability that holism applies to everything else.
6. The anti-foundationalism is performatively inconsistent
Dyer denies that anything is self-evident, rejects axioms, and says even the laws of logic are not “found in nature.” Yet throughout the exchange he deploys the law of non-contradiction against Brook, treats his own inferences as valid, and installs God as the fixed, uncriticizable center of his web. An unrevisable node functions exactly as a foundation. His position is foundationalism wearing a coherentist coat, and it covertly relies on the self-evidence of logic that he denies to his opponent.
7. The mythos, telos, and dignity argument confuses need with truth
Dyer argues that humans need story and telos, and that dignity only makes sense under the imago Dei. Two problems. First, that humans psychologically need meaning is a descriptive fact about human beings; it gives no reason to think the meaning-giving stories are true. Inferring theism from the usefulness of theism is an appeal to consequences. That we need food does not show food is provided. Second, the dignity claim is refutation 1 in ethical dress: secular accounts ground dignity in rational agency (Kant), in sentience and capacities, or in the flourishing of the human life-form (Foot). Dyer asserts that dignity “only” makes sense under imago Dei without ruling these out.
8. Even at full strength, TAG cannot reach Christianity
The decisive debate-level point. Suppose the argument works perfectly. It delivers, at most, a generic mind that grounds logic. It provides no bridge to Christianity specifically — not the Trinity, not the incarnation, not scripture. The conclusion is equally compatible with a deist God, an evil god, Allah, or Brahman. The distance between “a mind grounds the preconditions of intelligibility” and “the God of the Nicene Creed” is never crossed by any transcendental premise. Dyer’s apparatus, even granted, underdetermines his own religion.
How to sequence these against a presuppositionalist
The trap in debating Dyer is chasing him up the abstraction ladder (Quine, foundationalism, the ontological status of logic), which is where he wants the fight, because the altitude hides the unearned exclusivity claim. The efficient order is to refuse the ascent and pin refutation 1 first: demand the argument that rules out every non-theistic and non-Christian ground. Everything else (circularity, Euthyphro, idle wheel) is then a way of showing that no such argument has been given. Close with refutation 8, which holds even if he somehow wins everything else.
The Objectivist counter-refutation
The eight refutations above are the naturalist’s toolkit, and most are negative — they show what TAG fails to establish. Brook, as the Objectivist, has a stronger move available that he never landed in the debate: a positive grounding of logic that meets Dyer’s own transcendental standard while showing God fails it. This is what ultimately counters Dyer rather than merely blocking him.
Brook’s counter-refutation: the axioms pass the test God fails
Dyer demands a ground for the laws of logic and insists only a divine mind will do. The Objectivist answer is that logic needs no external grounder because it is not a rule imposed on reality by any mind — it is the recognition of identity. The law of non-contradiction is the law of identity restated: a thing is what it is, so it cannot be A and not-A in the same respect at the same time. “A is A” is not a decree, divine or human; it is a fact about existence, grasped directly in perception. Logic is grounded in existence-as-identity, not in God.
This is the real transcendental argument, and it turns Dyer’s structure against him. The genuine preconditions of intelligibility are the axioms — existence, consciousness, identity — and they are self-validating because any attempt to deny them employs them: you must exist and be conscious to deny anything, and you must use identity to assert anything at all. God fails exactly this test. As Brook noted in the transcript, one can deny God without self-contradiction, but one cannot deny existence or identity while reasoning. So the axioms meet the standard of an undeniable precondition that Dyer sets, and God does not. The grounding mind is therefore not the precondition of logic but an arbitrary addition on top of it — a claim with no basis in perceptual reality, to be dismissed rather than disproved.
The honest limit, for the contradictions file: Dyer will counter that “existence has identity” and “A is A” are themselves metaphysical abstractions, and will ask why existence is intelligible or law-governed at all rather than chaotic — which reopens his regress at one remove. The Objectivist reply is that this question is illegitimate because it demands a ground for the self-evident, and identity is not a further fact needing explanation but the precondition of there being any facts to explain. Whether that reply satisfies depends on whether one accepts the Objectivist claim that some truths are perceptually self-evident and axiomatic — the same hinge on which the is/ought derivation turns. The counter defeats TAG’s exclusivity claim decisively; it rests, at bottom, on the axiomatic method Dyer rejects wholesale, so the two never share enough common ground for either to compel the other. That standoff, not a knockout, is the true state of the disagreement.
Sources
- Cornelius Van Til, The Defense of the Faith (P&R, 1955) — origin of presuppositional apologetics and TAG (steelman source).
- Greg Bahnsen, Van Til’s Apologetic (P&R, 1998); the Bahnsen–Stein debate (1985) — the strongest popular defense of TAG (steelman).
- John Frame, Apologetics to the Glory of God (P&R, 1994) — presuppositional defense.
- Michael Martin, Atheism: A Philosophical Justification (Temple, 1990); “The Transcendental Argument for the Non-Existence of God” (TANG, 1996) — the parody that isolates the exclusivity problem.
- Graham Oppy, The Best Argument against God (Palgrave, 2013) — parsimony and the idle-wheel line.
- Robert Stern, “Transcendental Arguments,” Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/transcendental-arguments/
- W.V.O. Quine, “Two Dogmas of Empiricism,” The Philosophical Review 60 (1951): 20–43 — the holism Dyer borrows and misuses.
- Plato, Euthyphro — the dilemma, applied here to logic and to dignity.
- Philippa Foot, Natural Goodness (Oxford, 2001) — secular grounding of human evaluation, against the imago-Dei-only claim.