Jay Dyer vs Stefan Molyneux - God Debate and Commentary Analysis

Navigation

Hub: 60.11.2 Christianity · Argument notes: Transcendental Argument for God · Presuppositional apologetics · Countering Presuppositional Apologetics · Stroud’s critique of transcendental arguments · Counter-apologetics: Atheism · Method: Rhetoric

Sources

• Debate: God! vs God? - Dyer vs Molyneux - Word War Debate II, Nashville, held September 12, 2026 (date and title per Freedomain Substack post, Sept 15, 2026). Livestream: youtube.com/live/mBsUENOg70g at 3:26:42
• Commentary: livestream review of the same debate by a self-described deist / “bare theist” streamer: youtube.com/watch?v=vI5rv5P8C94 at 2:34:10. Channel name and upload date could not be verified (YouTube refused automated fetches), so the commentator is referred to below as “the commentator.”
• Transcripts: user-supplied auto-caption transcripts. The debate transcript runs from 3:27:01 and cuts off mid-sentence during Jay Dyer’s closing at 4:32:55; the commentary transcript covers 1:32:00 to 3:53:24 and includes the missing end of Dyer’s closing.

Source and evidence boundary

Quotations come from auto-captions. I corrected only format and obvious caption errors (for example “Stefon” to “Stefan,” “distological” to “dysteleological,” “Mandelrot” to “Mandelbrot”); wording is otherwise as captioned. Timestamps are the start of the roughly one-minute caption block that contains the quote, so treat them as approximate. “Dyer argues” means the claim appears in his remarks; the verdicts on truth come from the sources in the reference list. The commentator’s statement that Dyer “won all the votes” is his report and was not independently verified.

Bottom line

Verdict in one paragraph

As a performance, Dyer won the room: he kept the frame on Molyneux’s undefended empiricism, and Molyneux’s refusal to restate the transcendental argument (4:17:52) handed Dyer the “whose fault is the train wreck” narrative the commentator describes. As philosophy, Dyer never argued the one premise his argument needs: that only the Christian God can ground logic, induction, universals, meaning and ethics. Everything he pressed (What is common to two brains? How do you justify induction? Where is truth-value located?) is a real open question, but each is equally open for the theist, and each has well-developed non-theistic answers that neither debater mentioned. Molyneux lost the exchange because he answered metaphysical questions with evolutionary history and made sloppy empirical claims, not because the questions have no secular answers. The commentator is fair on several procedural points and right that Molyneux’s empiricism is self-undermining, but his own pro-theism moves (discovered math implies theism, Plantinga’s evolutionary argument, “pi could never be different,” “brute fact means necessary”) each fail on inspection.

The three most important errors in the theistic case:

1. The uniqueness gap. A transcendental argument must show that the alternative is impossible, not that Christianity “makes perfect sense” of the data. Dyer only ever asserted fit.
2. The parity problem. Every demand Dyer made of Molyneux (ground universals, justify induction non-circularly, explain how two minds share one concept) applies to Dyer’s own position. Answering “God” relocates each question without answering it.
3. Equivocation between “immaterial” and “undetectable.” Dyer says a non-material God should not be expected to show up empirically, yet his Orthodox Christianity asserts an incarnation, miracles and answered prayer, all of which are causal claims about the material world.

Map of the debate

Part 1: Jay Dyer’s arguments and where the reasoning fails

1. The transcendental argument, stated fairly

Reconstructed from his opening (3:31:16 to 3:35:36):

1. We have and use logic, causation, induction, identity, meaning and ethical norms.
2. These are universal, invariant and non-material; “they don’t exist as pure matter.”
3. Pure matter “cannot be a universal,” so a materialist worldview cannot account for them.
4. A worldview with an omniscient, personal, rational divine mind can account for them.
5. Therefore the Christian (specifically Orthodox, Trinitarian) God exists.

His own words at the decisive step: “it just so happens that on the Christian worldview with a Christian metaphysic and a Christian epistemology and a Christian ethic, it makes perfect sense why there would be these types of non-empirical things which undergird the very possibility of debate and logic itself” (3:34:29).

The flaw. Step 5 needs a premise that never appears: nothing other than the Christian God could account for (1). “Makes perfect sense on my view” is an explanatory-fit claim, which is the language of abductive reasoning, and abductive reasoning requires comparing rival explanations. A transcendental argument that skips the comparison is not transcendental. This is exactly Barry Stroud’s point that transcendental arguments at best establish what we must believe or presuppose, not what must be true, and never establish uniqueness (see Stroud’s critique of transcendental arguments). Even the sympathetic commentator saw the second gap: “I don’t quite understand how it gets you to Christianity specifically… you have to go through a bunch of extra steps” (1:35:08).

The uniqueness gap has a name in the literature: the “Fristianity” objection. Sean Choi, writing in a Festschrift honoring the Christian apologists Bob and Gretchen Passantino (Reasons for Faith, Crossway, 2007), imagines “a theistic worldview that holds to the doctrine of the quadrinity (one God in four persons) and is otherwise identical to Christianity” (Choi, “The Transcendental Argument,” p.12 (file not included in this release)). Whatever account of logic Christianity gives, Fristianity gives the same one. Choi’s point about the burden of proof applies directly to Dyer: “It is the job of TAG to show that all worldviews (actual and possible) incompatible with Christian theism are incoherent” (p.15 (file not included in this release)), and his verdict is that “a formulation of TAG that purports to establish the rational inescapability of Christian theism (like Bahnsen’s and Butler’s) seems too ambitious and doomed to fail” (p.15 (file not included in this release)). If a quadrinitarian rival survives, so do non-theistic rivals. The same gap has been pressed from inside evangelical scholarship with a real religion rather than an invented one. John J. Johnson, writing in The Evangelical Quarterly, asks of the presuppositionalist appeal to innate knowledge of God (Romans 1): “why shouldn’t this knowledge lead to a belief in Allah, and his prophet Mohammed?” (J. J. Johnson, “Is Cornelius Van Til’s Apologetic Method Christian, or Merely Theistic?”, EQ 75 (2003), p.267 (file not included in this release)). Copan asks the same: “why the Christian God and not the God of the Quran as the ground for rational thought?” (Copan, p.2 (file not included in this release)).

Christian philosophers reject the method, not just atheists. William Lane Craig, responding to the presuppositionalist John Frame: “it commits the informal fallacy of petitio principii, or begging the question, for it advocates presupposing the truth of Christian theism in order to prove Christian theism… It is difficult to imagine how anyone could with a straight face think to show theism to be true by reasoning, ‘God exists. Therefore, God exists.’” (Five Views on Apologetics (excerpt), PDF p.3 (file not included in this release)). Bálint Békefi, writing in a theology journal, adds an internal inconsistency: the Van Tillian “claims both the indispensability of special divine revelation (i.e. the Christian Scriptures) for the understanding of Christian truth, and the sufficiency of transcendental argumentation to demonstrate the truth of CT” (Békefi, “Van Til versus Stroud,” p.22 (file not included in this release)). A purely transcendental proof of Christianity would make revelation unnecessary, which Christianity denies. The evangelical philosopher Paul Copan is blunter: presuppositionalism “begins with the assumption that God exists, and then concludes that God exists. Such reasoning would get you an ‘F’ in any logic class worthy of the name!” (Copan, “Questioning Presuppositionalism,” p.2 (file not included in this release)). And the Reformed authors of Classical Apologetics (R. C. Sproul, John Gerstner and Arthur Lindsley) open their chapter on the method’s circularity with: “In all systems of thought except presuppositionalism circular reasoning is considered demonstrative evidence of error. In presuppositionalism, instead of being a vicious circle, it is a sign of intellectual virtue” (Classical Apologetics, Section III excerpt, PDF p.149 (file not included in this release)). They go further and argue that “presuppositional principles, carried out consistently, undermine the Christian religion itself” (PDF p.4 (file not included in this release)).

“Certain proof” rests on unproven premises. Brian Bosse reconstructs Bahnsen’s case as three premises (all non-Christian worldviews rest on human autonomy; no such worldview can ground rational inquiry; Christianity can) and concludes that “Dr. Bahnsen fails to establish the above three premises in an objectively certain manner merely asserting that they are so. Using Dr. Bahnsen’s own words, ‘Assertion is not proof’” (Bosse, “Van Tillian Presuppositional Apologetics: A Critique Concerning Certainty,” p.19 (file not included in this release)). Bosse’s broader finding is that “there is an inductive element crucial to the method, and as such it does not provide objective certainty” (p.2 (file not included in this release)): you can only refute rival worldviews one at a time, which is induction, the very thing Dyer said needs God.

Stroud’s objection, in his own words. Robert Stern quotes Barry Stroud’s original 1968 formulation: “the skeptic can always very plausibly insist that it is enough to make language possible if we believe that S is true, or if it looks for all the world as if it is, but that S needn’t actually be true” (Stern, Transcendental Arguments and Scepticism, pp.44–45 (file not included in this release)). Stroud’s further point is the one that should embarrass both Dyer and the commentator: to close that gap, a transcendental argument has to assume a version of the verification principle, and “if verificationism must be assumed to make them work, they are redundant” (Stern, p.45 (file not included in this release)). The commentator faulted Molyneux for verificationism; ambitious TAG needs it too.

What even a successful TAG would show. Michael Martin: “if, as Bahnsen claimed, the Christian worldview is presupposed by the deductive validity, it does not follow that the Christian worldview is true… TAG would not establish the truth of the Christian worldview but only the inconsistency of atheists who presuppose deductive validity” (Martin, “Does Logic Presuppose the Existence of the Christian God?”, p.2 (file not included in this release)). At best Dyer could win a charge of inconsistency against Molyneux personally; that is not the existence of God.

Winning versus proving. Choi opens his analysis of Dyer’s model debate, Bahnsen versus Stein (1985), with a sentence that fits this night exactly: “There is nearly unanimous agreement on all sides that Bahnsen won that debate: he clearly outmatched Stein. There is less of an agreement, however, about what Bahnsen actually proved (if he proved anything) during that debate” (Choi, p.1 (file not included in this release)).

2. “Seven versus seven coconuts” and “two arms, different molecules”

Dyer’s most repeated question: your molecules are not my molecules, so what is the same thing that makes both concepts (or both arms) instances of one type? (3:44:06 to 3:47:13)

What is right about it. It is a genuine question: the ancient problem of universals. Molyneux never answered it; he talked about babies, microphones and biology.

What is wrong about it.

• It is not a problem that only atheists have, and it is not solved by theism. The main answers are all available to a naturalist:
  • Aristotelian or immanent realism: universals exist, but only in their instances. David Armstrong defended this as a thoroughgoing naturalist (Universals: An Opinionated Introduction, 1989).
  • Resemblance nominalism and trope theory: two arms are arms because they resemble each other in structure and function; nothing further is required.
  • Functional or structural types: Hilary Putnam’s multiple-realizability argument (“Psychological Predicates,” 1967) is the direct answer to “different molecules, same pattern.” A type is individuated by its organization and causal role, not by its constituent atoms. The same chess game can be played with wooden or plastic pieces; the same program runs on two machines with no shared transistors. “Different molecules” is no objection to “same pattern,” because patterns are the kind of thing that different materials can share. John Heil’s textbook uses Dyer’s own example, arithmetic: “the summing of 7 and 5 to yield 12 is not a vacuum-tube-and-wire process. If it were, it could not be performed on an abacus… or occur in the brain of a 6-year-old learning to do sums” (Heil, Philosophy of Mind, p.93 (file not included in this release)). That is the answer to “seven versus seven coconuts”: the number is not the coconuts, and it is not a ghost either; it is a structure that coconuts, beads and neurons can all realize. Heil adds that this view “could be true, even if it turned out that there are no nonmaterial objects, properties, or events” (p.94 (file not included in this release)).
• Theism relocates the question. Dyer’s answer is that universals exist as ideas in the divine mind. But his challenge was epistemic: how do you know the pattern in your head matches the one in mine? Positing a third, divine copy does not tell Dyer how his neural states latch onto God’s idea any better than onto the world’s structure. He faces the identical access problem, plus a new one.
• The divine-mind answer has its own dilemma. Alex Malpass’s reply to the most rigorous academic version of this argument (Anderson and Welty’s “The Lord of Non-Contradiction”) makes two points that bear directly on Dyer:
  • The key inference is invalid as stated: “1. There are no thoughts without minds. 2. There are necessarily existing thoughts. 3. Therefore, there is a necessarily existing mind… The problem is that this inference seems invalid” (Malpass, “Problems for the Argument from Logic,” p.12 (file not included in this release)).
  • To repair it, the theist has to grant that “thoughts differ from the contents of thoughts, in that the former are not sharable between minds (they are ‘metaphysically private’), whereas the latter are paradigmatically sharable between minds” (p.13 (file not included in this release)). That concession is exactly what Molyneux needed against Dyer: what two brains share is content, not molecules and not mental states. Malpass then argues that identifying a law of logic with a divine thought leaves the divine conceptualist “caught between arbitrariness and vicious regress” (p.14 (file not included in this release)).
• Most professional philosophers are neither Platonists nor theists. In the 2020 PhilPapers Survey, 41.85% accept or lean toward nominalism about abstract objects against 38.38% for Platonism, and 66.95% accept or lean toward atheism (Bourget and Chalmers 2023). The idea that realism about universals is a theistic monopoly does not match the field.
• The leading Christian analytic apologist rejects the premise. William Lane Craig’s God Over All: Divine Aseity and the Challenge of Platonism (OUP, 2016) argues that there are “really no uncreated abstract objects” and defends anti-realist (fictionalist, neutralist) accounts of numbers and properties (as summarized in Graham Oppy’s review, Notre Dame Philosophical Reviews, 2017.05.30). If abstract objects needed God, Craig could not be a nominalist because he is a theist.
• An Eastern Orthodox philosopher rejects the premise too. Richard Swinburne, one of the most prominent Christian philosophers of religion and, like Dyer, a convert to the Orthodox Church, defends “logical nominalism, the thesis that logically necessary truth belongs primarily to sentences and depends solely on the conventions of human language,” and states flatly: “The truth-conditions of necessary sentences are not to be found in any transcendent reality, such as God’s thoughts” (Swinburne, “In Defence of Logical Nominalism,” Religious Studies 46 (2010), p.311 (file not included in this release)). Dyer’s claim that logic must live in the divine mind is not Orthodox doctrine; it is one contested position that a leading Orthodox philosopher denies.
• “Laws of logic” may be a category mistake. Graham Moore borrows Gilbert Ryle’s parade example: the child who watches every battalion march past and then asks when the parade is coming. “When we speak of ‘the law of the excluded middle’, the basic facts that we are speaking of are the (infinitely many) ones that appear on the list above” (each instance of “P or not P”) (Moore, “Against the Reification of Logic,” p.2 (file not included in this release)). Asking where the law “exists” over and above its instances repeats the child’s mistake.

Molyneux’s missed point. His microphone answer (4:10:33) gestured at the correct reply without stating it: concepts are shown to be shared by public success criteria, not by inspecting molecules. Wittgenstein: “For a large class of cases—though not for all—in which we employ the word “meaning” it can be defined thus: the meaning of a word is its use in the language” (Philosophical Investigations, §43 (file not included in this release)). Two people with different neurons share the concept microphone in the sense that matters: they apply it to the same things, correct each other, and coordinate action. Dyer never explained how his view improves on that.

3. The use of Hume on induction and causation

Dyer: “as David Hume pointed out, being consistent with the atheist paradigm, there’s no real justification for causation in the world” (3:33:27); later, the move from particulars to universals is “David Hume 101” (4:23:10).

Fact-check: Hume did not frame the problem as an atheist problem. Hume’s argument is that all reasoning from experience rests on an unprovable assumption:

• “it implies no contradiction that the course of nature may change” (Enquiry §IV Part II, p.36 (file not included in this release))
• “all our experimental conclusions proceed upon the supposition that the future will be conformable to the past.” (Enquiry §IV Part II, p.37 (file not included in this release))
• “If there be any suspicion that the course of nature may change, and that the past may be no rule for the future, all experience becomes useless, and can give rise to no inference or conclusion. It is impossible, therefore, that any arguments from experience can prove this resemblance of the past to the future; since all these arguments are founded on the supposition of that resemblance.” (Enquiry §IV Part II, p.38 (file not included in this release))
• “Custom, then, is the great guide of human life.” (Enquiry §V Part I, p.45 (file not included in this release))

(Page numbers are from the Cambridge Texts in the History of Philosophy edition, ed. Stephen Buckle, 2007.) Note the first line: because a change in nature “implies no contradiction,” uniformity is not a truth of logic. So Dyer’s claim that logic and induction stand or fall together, both needing God, runs together two things Hume carefully separated.

Nothing in this is specific to atheism. It is a problem for any being that learns from experience, including a Christian who learned the Bible’s promises by reading, remembering and trusting that ink and words behave tomorrow as they did today. (The vault already has a parallel case of Dyer repurposing Hume: Misquoting Hume Jay Dyer on Piers Morgan, feat Alex Malpass.)

Why “God guarantees uniformity” does not solve it.

1. Circularity. The theist knows God’s promise of regularity only through revelation, received through the senses, memory and language, which already presuppose uniformity.
2. Miracles. Orthodox Christianity affirms that God suspends natural regularities at will (the Resurrection, answered prayer, sacramental change). A universe governed by a free agent who intervenes is less predictable than one governed by stable laws alone. Maitzen calls this “the problem of magic”: on theism, explanation bottoms out in an agent’s will, not a mechanism, so “If the universe is at bottom magical, then our inescapably nonmagical ways of figuring it out are doomed to fail eventually… Unlike naturalism, theism puts a barrier in the path of our ever-deeper knowledge of the universe” (Maitzen, p.9 (file not included in this release)). This is Michael Martin’s point in the Transcendental Argument for the Nonexistence of God: science “presupposes the uniformity of nature: that natural laws govern the world and that there are no violations of such laws,” which Christianity denies (Martin, “The Transcendental Argument for the Nonexistence of God,” 1996; Martin collection, p.16 (file not included in this release)). Molyneux made a rough version of this argument at 3:58:55 (“billions of people around the world pray every night… God, please change the properties of matter and energy”), and neither Dyer nor the commentator engaged it.
3. Skeptical theism dissolves the guarantee. Martin’s sharpest point: presuppositionalists answer the problem of evil by saying God may have “morally sufficient reasons” we cannot see. Then: “If God could have a morally sufficient reason for the Lisbon earthquake, surely He could have a sufficient reason for causing such a departure” from uniformity (Martin, “Does Induction Presume the Existence of the Christian God?” (Skeptic, 1997), p.12 (file not included in this release)). Nor does the usual proof text help. Bahnsen appealed to God’s promise to Noah (Gen. 8:22), but “the seasons can be continued with huge changes in the uniformity of nature. In winter snow could be green, in spring flowers could have no smell, in summer grass could be pink” (p.13 (file not included in this release)). And Martin notes the obvious: “There is nothing nonsensical in supposing that inductive inference is justified and that Christianity is false” (p.12 (file not included in this release)).
4. Double standard. Dyer demanded a deductive, certain justification for universal claims. No one has one, Dyer included; his claims about God’s attributes are universal claims too. Demanding certainty only from your opponent is special pleading. Keith Parsons names the move Dyer made when he said “have you observed the history of the universe? No. So you don’t have a justification”: “In other words, if we don’t know everything, we can’t know anything” (Parsons, “Is Non-Christian Thought Futile?”, p.2 (file not included in this release)). That is Descartes’ demand for certainty, which nobody meets. Parsons adds that the argument defeats itself when aimed at non-Christians: “Surely I am justified in dismissing out of hand any argument that guarantees that I cannot rationally accept its conclusion” (p.3 (file not included in this release)).

“A pragmatic argument is a fallacy” (4:19:56) is false. Pragmatic and reliabilist justification are mainstream epistemology, not fallacies: Hans Reichenbach’s pragmatic vindication of induction (Experience and Prediction, 1938) argues that if any method finds regularities, induction will; Alvin Goldman’s reliabilism (“What Is Justified Belief?”, 1979) grounds justification in reliable belief-forming processes. And there are non-pragmatic secular answers as well: Armstrong’s non-Humean laws make inductive inference an inference to the best explanation (What Is a Law of Nature?, 1983), and Laurence BonJour defends an a priori justification of induction (In Defense of Pure Reason, 1998). In his textbook BonJour answers Hume’s “the course of nature may change” directly: “the regularity in question is not supposed to be just an ungrounded, coincidental pattern, but rather something that results in some way from the very natures of A and B themselves. Thus as long as those natures persist… the regularity in question is also at least very likely to persist” (BonJour, Epistemology, p.68 (file not included in this release)). That is a secular, non-pragmatic answer grounded in the natures of things, which is the rigorous version of what Molyneux was groping at with “the stable properties of matter.” Dyer treated one naive formulation as if it were the only secular option.

4. Logic “grounded in” God

Dyer: “reason is based on God… what God produces in the universe is the sustainability of rationality” (3:48:14).

The Euthyphro problem for logic. Is the law of non-contradiction true because God thinks or wills it, or does God think it because it is true?

• If God wills it, logic is contingent: God could have made contradictions true. Martin: “Logic presupposes that its principles are necessarily true. However, according to the brand of Christianity assumed by TAG, God created everything, including logic” (Martin, TANG, p.16 (file not included in this release)).
• If it flows from God’s nature, then the statement “God’s nature is non-contradictory” already uses the law it is supposed to ground. Logic is presupposed by the concept of God, not explained by it.

Aquinas, the classical theist Dyer’s tradition often draws on, concedes the key point: “whatever implies contradiction does not come within the scope of divine omnipotence, because it cannot have the aspect of possibility… Hence it is better to say that such things cannot be done, than that God cannot do them” (Summa Theologica I, q.25, a.3, PDF p.325 (file not included in this release)). On Aquinas’s own account, contradictions are impossible in themselves: they fall outside omnipotence “not because of any defect in the power of God, but because it has not the nature of a feasible or possible thing” (PDF p.325 (file not included in this release)). Oppy adds a third horn: if logic were established by God’s free choice, “the ultimate source of these truths would lie beyond God, in whatever it was that causally determined God to ‘establish’ these truths” (The Best Argument against God, p.39 (file not included in this release); full passage in Part 4). See Euthyphro Dilemma.

“God explains logic” may not even be a coherent explanation. Stephen Maitzen’s point is short and hard to answer. Since logical truths are necessary, “everything is (trivially) sufficient for the operation of the laws of logic… The existence of cheese is therefore just as (trivially) sufficient for the operation of the laws of logic as the existence of God is” (Maitzen, “The Problem of Magic,” p.2 (file not included in this release)). A real explanation would have to support the counterfactual “If God didn’t exist, then the laws of logic wouldn’t hold. But no sense at all can be attached to the consequent of that conditional.” His conclusion: “In sum, it makes literally no sense to credit God for the fact that logic works” (p.2 (file not included in this release)). (The essay appears in Klaas Kraay, ed., Does God Matter?, Routledge, 2018, pp. 132–146; the page numbers here are the preprint’s.)

5. “Matter in motion, therefore meaningless, therefore no evil”

Dyer: “On Stefan’s paradigm… there’s only matter in motion… an infinite void of nothingness and meaninglessness… everything that Stefan just argued is also by extension meaningless” (3:50:22); “in Stefan’s worldview there is no good other than your own individualistic desires” (3:51:26).

Four errors in one move.

1. Straw man. Molyneux explicitly defends objective, secular, reason-based ethics (4:24:14) and had just told Dyer “I confirm with you whether something is your belief, and you just make these assertions about what I believe” (3:51:26). The claim that he believes only in “individualistic desires” is simply false about his stated position.
2. Fallacy of composition (“nothing-buttery”). That a hurricane is “just” air in motion does not make it unreal. Higher-level properties (meaning, value, argument validity) do not disappear because their substrate is physical.
3. Moral realism is not a theistic monopoly. 62.07% of philosophers in the 2020 PhilPapers Survey accept or lean toward moral realism, in a field that is two-thirds atheist. Erik Wielenberg’s Robust Ethics (OUP, 2014) is a full non-theistic defense of objective moral facts, and it answers Dyer’s “where do they come from?” with the theist’s own move: “To ask of such facts, ‘where do they come from?’ or ‘on what foundation do they rest?’ is misguided in much the way that, according to many theists, it is misguided to ask of God, ‘where does He come from?’ or ‘on what foundation does He rest?’” (Wielenberg, Robust Ethics, p.38 (file not included in this release)). Russ Shafer-Landau makes the “laws need a lawgiver” reply concrete: “Who created the law of gravity? No one. Who made the second law of thermodynamics true? No one” (Shafer-Landau, Whatever Happened to Good and Evil?, p.50). See Why the moral argument for God's existence fails.
4. The is-ought gap cuts both ways. “God commands X” is an is. To get “you ought to do X,” the theist needs a bridge premise (“you ought to obey God”) that is itself not derived from any fact. Dyer’s closing claim that the is-ought problem “plagued David Hume and the skeptical atheist tradition” (4:29:44) ignores that Hume’s point is formal and applies to every moral theory. See Is-Ought Problem.

6. The response to suffering

Dyer: “a really interesting emotional appeal to the audience… That’s a fallacy, by the way” (3:50:22); “the history of the fall… is why the world is also at times irrational and it evidences things like entropy and decay” (3:51:26).

• Mislabel. Molyneux’s argument cited facts (miscarriage rates, childhood cancer) as evidence against a hypothesis. That is the structure of the evidential argument from evil (Rowe 1979; Draper 1989), one of the most discussed arguments in philosophy of religion. Citing suffering is no more an “appeal to emotion” than citing a death rate in a drug trial.
• Scientific fact-check on the Fall explaining entropy and decay. Entropy increase is a law of thermodynamics operating since the earliest universe; death, predation and disease precede humans by hundreds of millions of years. A malignant osteosarcoma has been diagnosed in the dinosaur Centrosaurus apertus, which lived 76 to 77 million years ago (Ekhtiari et al., Lancet Oncology 21(8), 2020). Anatomically modern Homo sapiens dates to roughly 300,000 years ago (Hublin et al., Nature 546, 2017). A human Fall cannot be the cause of cancer that existed 76 million years before humans.
• “Evil presupposes the good” misses the logic of an internal critique. Molyneux argued that if God is loving “by any rational definition,” this world is not what we would expect. A reductio can use the theist’s own standard of goodness without the critic endorsing any metaethics. Whether atheists can ground “evil” is irrelevant to whether theism predicts the world we see.
• Molyneux’s miscarriage figure is discussed in the fact-check ledger below.

7. “If God is not material, why would he be proven in a material way?”

Dyer at 4:17:52. The commentator adds Greg Bahnsen’s “crackers in the pantry” line from the 1985 Bahnsen–Stein debate: we do not investigate numbers, laws or causation the way we check for “a box of crackers in the pantry” (1:59:12).

Why this does not work for Christianity. The analogy fits entities that do nothing causally, like numbers. But Orthodox Christianity is not a thesis about a causally idle abstraction: it claims God became incarnate, rose bodily, performs miracles, answers prayer and acts in history. Causal agents leave causal traces, and those claims are pantry-type claims. The best-controlled test of intercessory prayer, the STEP trial of 1,802 cardiac-bypass patients, found that “intercessory prayer, whether known or unknown, was not associated with reduced complications,” and patients certain they were being prayed for had a higher complication rate (58.6%) than uncertain patients (Benson et al., American Heart Journal 151(4), 2006; summary via American College of Cardiology). Retreating to “God is not the kind of thing you test” amounts to trading Christianity for the commentator’s deism.

Christianity’s own scriptures reject Dyer’s move. The New Testament presents the resurrection as public evidence. Paul in Athens: “He has given proof of this to all men by raising him from the dead” (Acts 17:31). John J. Johnson, an evangelical critic of Van Til, draws the lesson that “in the New Testament the honest intellectual problems of unbelievers are respected and dealt with on their own ground” (J. J. Johnson, EQ 75 (2003), p.266 (file not included in this release)). Copan adds that Scripture itself appeals to “criteria beyond Scripture,” namely the historical evidence for the resurrection (1 Cor. 15:1–19), “things that were not done in a corner” (Acts 26:26) (Copan, p.2 (file not included in this release)). Christianity stakes its claim on evidence, so it can be tested by evidence.

This is also where Molyneux’s best line lived: his invisible mouse whose properties are removed one by one (4:18:52) is Antony Flew’s invisible gardener: “Just how does what you call an invisible, intangible, eternally elusive gardener differ from an imaginary gardener or even from no gardener at all?” … “A fine brash hypothesis may thus be killed by inches, the death by a thousand qualifications” (“Theology and Falsification,” 1950).

8. Omniscience and “what it is like to be a bat”

Dyer: the scholastics distinguish notional from experiential knowledge, so “God can know what it is to be a bat without being a bat because God isn’t restricted to empirical sense data” (4:01:00).

The answer creates the problem it was meant to solve. Thomas Nagel’s point (“What Is It Like to Be a Bat?”, Philosophical Review 83(4), 1974) is precisely that notional knowledge of bat physiology does not give you knowledge of what it is like to be a bat. Frank Jackson’s knowledge argument (“Epiphenomenal Qualia,” 1982) makes the same case with Mary the color scientist. If God has only notional knowledge of bat experience, fear, lust or envy, there is something God does not know, which is in tension with omniscience. Theists have replies (Linda Zagzebski’s “omnisubjectivity,” 2013, holds that God grasps every first-person perspective), but Dyer’s own answer conceded that God lacks experiential knowledge. Graham Oppy states the dilemma this way: “If we suppose that one can only know what it is like to F by having experiences of an appropriate kind, then we might think that the requirement that an omniscient being know what it is like to F… will have the consequence that orthodox monotheistic gods are certainly not omniscient. It is hardly orthodox to suppose that our world was made by a monotheistic god who has experienced the taste of vegemite” (Oppy, Describing Gods, p.231 (file not included in this release)). In fairness, Oppy’s own preferred resolution is deflationary: he reads “knowing what it is like” as an ability rather than a proposition, which would spare omniscience (p.232 (file not included in this release)). But that is not the scholastic answer Dyer gave, and his “notional knowledge” answer lands on the first horn. He also slipped in an irrelevant jab (“which don’t justify Stefan’s universal storytelling”) instead of addressing the question.

9. The Mandelbrot closer

Dyer: “I’m quoting from the mathematician and physicist Paul Davies… The Mandelbrot set is not an invention of the human mind. It was discovered like Mount Everest… they go beyond the possibility of any individual finite mind to conceptualize. That means they were not created by the human mind… Mandelbrot sets themselves disprove [materialism]” (4:30:50 to 4:32:55; 3:47:04 to 3:49:10).

• Misattribution. The words are Roger Penrose’s, from The Emperor’s New Mind (1989), ch. 3: “The complete details of the complication of the structure of Mandelbrot’s set cannot really be fully comprehended by any one of us, nor can it be fully revealed by any computer. It would seem that this structure is not just part of our minds, but it has a reality of its own.” And: “Like Mount Everest, the Mandelbrot set is just there!” (Dyer may have been reading Davies quoting Penrose.)
• The authority cuts the other way. Penrose is a mathematical Platonist and not a theist. He is a patron of Humanists UK, and he described himself as one of those “who, like me, hold to no religious doctrine.” A leading Platonist who rejects religion is a living counterexample to “mind-independent mathematics implies God.”
• The inference proves the opposite of what Dyer needs. If the Mandelbrot set is “not just part of our minds” but “just there,” it is mind-independent. A mind-independent structure needs no mind to ground it, God’s included. Platonism is a rival to theistic conceptualism, not a route to it.
• Complexity from a simple rule. The whole set is generated by iterating z → z² + c, a rule a child can write down. Unbounded detail from a finite, humanly specified rule is a standard illustration of how complexity arises without a designing mind, which undercuts the “only a mind explains complexity” intuition in his opening.
• Non sequitur. “No finite mind can visualize all of it” does not entail “no finite mind defined it.” Humans defined the rule; its consequences outrun our ability to compute them, just as with the digits of pi.

10. Debate conduct: labels in place of rebuttals

Dyer’s recurring moves were labels, not arguments: “storytelling,” “filibustering,” “tu quoque,” “pragmatic fallacy,” “emotional appeal,” “Reddit argumentation,” “T-shirt level” (4:15:44, 4:21:02).

• “Tu quoque” is misapplied. A tu quoque dismisses a claim because the speaker is inconsistent. But TAG is comparative: it says only Christianity can account for X. Asking “how does your view account for X?” is not a fallacy against a comparative argument; it is the test the argument must pass.
• “Storytelling” is partly fair and partly not. Fair: an evolutionary history of brains explains how concept-users arose, not what concepts are or why valid inference is valid (the genetic fallacy distinction). Unfair: evolutionary and developmental evidence is exactly what a naturalist uses to show that concept-possession depends on physical systems, which bears on whether a disembodied mind is plausible.
• Truth-value “in the microscope” (4:04:11) was a category confusion on Dyer’s side, not a gotcha. Truth-makers (the stable properties) are in the world; truth-bearers (propositions, beliefs) are representations; truth is the correspondence relation. Molyneux eventually gave exactly this answer (4:06:16), which even the commentator granted was “finally” an answer.
• Both men traded insults. Molyneux’s “NPC” and “Jay doesn’t know what an arm is” were no better than Dyer’s “dummy” and “T-shirt level.”

Part 2: Where Molyneux’s case was weak

The focus here is the theistic side, but an honest note records why Molyneux lost.

• Verificationism. He defined existence as “that which conforms to reason and evidence… evidence of the senses” (3:37:37). That defines God out of existence instead of arguing, and the criterion fails its own test (it is not itself known by the senses). The commentator is right about this (1:48:40 to 1:51:49).
• Certainty inflation. “Matter is perfectly consistent, perfectly stable, perfectly predictable. That is the maximum certainty” (3:38:43). The defensible claim is tight empirical bounds, not perfection. For example, the Oklo natural nuclear reactor constrains any change in the fine-structure constant over about two billion years to the order of one part in ten million (Damour and Dyson, Nuclear Physics B 480, 1996). That supports very high, fallible confidence, which is all a fallibilist needs, and it would have defused Dyer’s “have you observed the whole universe?” line.
• He had a far better version of his own thesis available. “Logic is derived from the stable properties of matter” is a caricature of a serious position. Penelope Maddy’s Second Philosophy (OUP, 2007) argues that “(1) rudimentary logic is true of the world insofar as it’s a KF-world, and in many but not all respects it is, (2) human beings believe the simple truths of rudimentary logic because their most primitive cognitive mechanisms allow them to detect and represent KF-structures in the world, and (3) the primitive cognitive mechanisms of human beings are this way because we live in a largely KF-world” (Maddy, Second Philosophy, p.271 (file not included in this release)). (“KF-structure” means a world of objects with properties, relations and dependencies.) She backs it with the same infant-cognition research Molyneux gestured at: “humans are able to detect and represent some of the world’s KF-structures from a very young age” (p.264 (file not included in this release)). Stated this way, the evolutionary story is not “storytelling”; it is a naturalistic explanation of why logic applies to the world and why we grasp it.
• Physics errors. “Matter can’t be created or destroyed. We know that from the conservation of energy” (3:57:50): matter is routinely created and annihilated (pair production), and in general relativity energy is not globally conserved in an expanding universe. Sean Carroll: “When the space through which particles move is changing, the total energy of those particles is not conserved” (“Energy Is Not Conserved,” 2010). “If everything changed all at once, it would mean that information was traveling faster than the speed of light” (3:58:55) is a non sequitur: a uniform change in a law is not a signal.
• Refusing to restate TAG (4:17:52). The single worst moment. A two-sentence restatement (“You claim the Christian God is the necessary precondition of intelligibility; your unargued premise is that nothing else could be”) would have exposed the uniqueness gap and won the credibility exchange.
• “God is self-contradictory.” Several items are disanalogies with biological life, not contradictions (“alive but never born,” “complex but never evolved”). Classical theists deny God is alive in the biological sense. The stronger points (a mind without a brain, a timeless being acting in time) needed to be developed as evidential arguments, not asserted as contradictions.
• Theologians’ disagreement (4:03:03) is a real argument (religious diversity and confusion; see Atheism > Religious Confusion) but “that’s how you know God doesn’t exist” overstates it, and “100 to 200,000 years” of theology is unsupported (see ledger). Maitzen states the defensible version with honest dates: “Even theologians must admit that few things in human history are as glaringly unequal as (c) the growth of our knowledge about God since 1200 and (d) the growth of our knowledge about nature since 1543” (Maitzen, “The Problem of Magic,” p.10 (file not included in this release)). That is Molyneux’s scientists-versus-theologians point made with dates that hold up.
• Off-motion closing. Anti-statism and peaceful parenting did nothing for the motion.

Part 3: What Molyneux should have said in the moment

Part 4: The strongest counter-theological case, including arguments not made in the debate

If you bring only one argument against TAG: parity plus uniqueness

Every worldview bottoms out somewhere. The naturalist says the most basic structures of reality (including whatever makes logic necessary and nature regular) are brute or necessary; the theist says the same of God. Theism is naturalism’s foundation plus a mind with intentions, knowledge and power, so it takes on more commitments while explaining the same data no better. A transcendental argument can only escape this by proving the naturalist’s foundation impossible, and no presuppositionalist has done so. Russell to Copleston, 1948: “I should say that the universe is just there, and that’s all.” Dyer called this “T-shirt level,” but his own foundation is “God just is.”

Graham Oppy develops this as a comparison of theoretical virtues in The Best Argument against God (Palgrave, 2013). Three passages do most of the work against Dyer:

• Parity at the foundation (p.24 (file not included in this release)): “Given that Naturalist and Theist have exactly the same options when it comes to explaining why there is causal stuff rather than complete absence of causal stuff – each can hold that it is necessary that there is causal stuff, and each can hold that it is a brute fact that there is causal stuff – considerations about global causal structure do not count in favour of one view rather than the other.”
• Simplicity (p.19 (file not included in this release)): “It is clear that Naturalism is simpler than Theism: it postulates fewer kinds of entities, fewer kinds of primitive properties and fewer kinds of primitive principles. According to Theism, there are two kinds of entities – natural and supernatural – whereas according to Naturalism, there is only one kind.”
• Logic and mathematics cannot be “established” by God (p.39 (file not included in this release)): if God established the truths of logic, there would have to be a point prior to their establishment; but God’s own identity and unity require those truths at every point, so “the truths of mathematics, and the truths of statistics, and the truths of logic, and the truths of metaphysics cannot be causally derivative necessities.” And if they were established by a free divine choice, “the ultimate source of these truths would lie beyond God, in whatever it was that causally determined God to ‘establish’ these truths.”
• Knowledge of mathematics is a draw (p.41 (file not included in this release)): “If we are guided by the range of positions that is taken seriously in contemporary philosophy of mathematics, then we shall suppose that considerations about our knowledge of mathematics do not differentially support either Theist or Naturalist.”
• Moral truth is a draw (p.43 (file not included in this release)): “The view that moral truth is necessary and/or primitive is available to both Theist and Naturalist: it provides the same explanatory advantages and incurs the same theoretical costs in each case.”

Taken together, these answer every one of Dyer’s transcendental categories (logic, mathematics, causation, ethics) with the same move: whatever the theist says is necessary or brute, the naturalist can say too, at lower theoretical cost.

A. The Transcendental Argument for the Nonexistence of God (Martin 1996)

Text: Martin collection, p.16 (file not included in this release). Turns TAG around: logic, science and objective morality each presuppose something Christianity denies (logic’s necessity, which a creator of everything would make contingent; nature’s uniformity, which miracles violate; moral objectivity, which divine command makes dependent on will). The point is not that Martin’s argument is decisive, but that transcendental reasoning is symmetric: if “X presupposes Y” arguments work, they can be run in the opposite direction, which is strong evidence they settle nothing on their own. The Reddit analysis already in the vault makes the same mirror-image observation (Countering Presuppositional Apologetics).

B. Divine hiddenness (Schellenberg)

The most apt argument against Dyer’s claim that God should not be expected to be empirically detectable. Schellenberg’s own statement, in his chapter “Evil, Hiddenness, and Atheism” in The Cambridge Companion to the Problem of Evil (Cambridge Companion to the Problem of Evil, PDF pp.211–212 (file not included in this release)):

1. “If a perfectly loving God exists, then there exists a God who is always open to a personal relationship (i.e., an explicit, conscious, interactive relationship) with any finite person.”
2. “If there exists a God who is always open to a personal relationship with any finite person, then no finite person is ever nonresistantly in a state of nonbelief in relation to the proposition that God exists.”
3. “If a perfectly loving God exists, then no finite person is ever nonresistantly in a state of nonbelief in relation to the proposition that God exists (from 1 & 2).”
4. “Some finite persons are or have been nonresistantly in a state of nonbelief in relation to the proposition that God exists.”
5. “No perfectly loving God exists (from 3 & 4).”
6. “If no perfectly loving God exists, then God does not exist.”
7. “God does not exist (from 5 & 6).”

(A later, modalized version appears in Schellenberg’s The Hiddenness Argument, 2015; see the Stanford Encyclopedia of Philosophy, “Hiddenness of God.”)

Dyer’s “why would he be proven in a material way?” is an admission of the hiddenness the argument starts from. See Atheism > Divine Hiddenness.

C. The evidential argument from suffering (Rowe, Draper), which Molyneux started

• Rowe (1979): “There exist instances of intense suffering which an omnipotent, omniscient being could have prevented without thereby losing some greater good or permitting some evil equally bad or worse.” His example: “In some distant forest lightning strikes a dead tree, resulting in a forest fire. In the fire a fawn is trapped, horribly burned, and lies in terrible agony for several days before death relieves its suffering” (American Philosophical Quarterly 16(4), 1979, pp. 336 to 337).
• Draper (1989): the distribution of pain and pleasure is far more probable on the “Hypothesis of Indifference” than on theism, where HI is: “Neither the nature nor the condition of sentient beings on earth is the result of benevolent or malevolent actions performed by nonhuman persons” (Noûs 23(3), 1989, pp. 331 to 350; quoted in Perrine and Wykstra’s chapter on skeptical theism, Cambridge Companion to the Problem of Evil, PDF p.171 (file not included in this release)). This is the rigorous version of Molyneux’s miscarriage point: pain that tracks biological function and indifference to moral desert fits indifference better than love.
• Darwin (letter to Asa Gray, 22 May 1860): “There seems to me too much misery in the world. I cannot persuade myself that a beneficent & omnipotent God would have designedly created the Ichneumonidae with the express intention of their feeding within the living bodies of caterpillars, or that a cat should play with mice.” (Darwin Correspondence Project, DCP-LETT-2814.)

See Atheism > Problem of Evil.

D. The Euthyphro-for-logic dilemma plus Aquinas’s concession

Covered in Part 1, §4. Its value in a live debate is that it uses the theist’s own tradition: Aquinas says contradictions are impossible in themselves, so logic’s authority does not come from God’s will.

E. Mind-brain dependence against a disembodied mind

Molyneux’s “God is a mind without a brain” should have been evidential, not a charge of contradiction. Every mind we know of varies with its brain: anesthesia switches consciousness off, lesions remove specific capacities, development and aging track neural change. On that evidence a mind with no physical substrate is improbable, and an eternal, omniscient one more so. (The case is developed in Keith Augustine and Michael Martin, eds., The Myth of an Afterlife: The Case against Life after Death, 2015.) Paul Churchland gives the clinical detail. Mental capacities come apart along neural lines: “Isolated physical damage to a specific area of the brain’s temporal lobe… produces a strange condition known as facial agnosia,” the loss of the ability to recognize faces (Churchland, The Engine of Reason, the Seat of the Soul, PDF p.39 (file not included in this release)). And consciousness itself can be switched off piece by piece: “through oxygen deprivation or anesthetics, one can lose visual consciousness while briefly retaining, for example, auditory and somatosensory consciousness” (PDF p.222 (file not included in this release)). A mind that fragments when the brain does is evidence that minds depend on brains. That is the evidential form of Molyneux’s “mind without a brain” objection.

F. Falsifiability (Flew) and the prayer test

Covered in Part 1, §7. The combination is strong: either God makes testable differences (and the best tests show none) or he makes none (and the hypothesis dies “the death by a thousand qualifications”).

G. The best theistic version of Dyer’s argument, and where it breaks

Dyer’s “universals need a divine mind” is a loose version of what Edward Feser calls the Augustinian proof, the most careful contemporary statement of it (Feser, Five Proofs of the Existence of God, pp.109–110 (file not included in this release)). It is worth knowing because it shows exactly which premises carry the weight:

• It needs “2. There are decisive arguments in favor of realism” and “3. There are insuperable objections against nominalism.” In a field where nominalism is the plurality view (41.85% in PhilPapers 2020), and where Craig and Swinburne (both Christians) reject realism about abstracta or logic, “decisive” and “insuperable” are the whole argument.
• It defines the naturalist rival out of existence. Premise 8 reads “If Aristotelian realism is true, then abstract objects exist only in human or other contingently existing intellects.” That is not the Aristotelian realism naturalists hold. Armstrong’s version puts universals in things, not in intellects, so the rival Feser refutes is not the one a naturalist would defend.
• Feser himself reports that some fellow Scholastic realists reject the proof. They hold “that while their brand of realism is the correct account of abstract objects, it doesn’t provide the basis for an argument for God’s existence.” Peter Coffey’s reason is that the argument presupposes necessary possibilities, and asks “how could we know this unless we already knew that there is a necessarily existing intellect in which these possibilities are grounded?” (Feser, p.115 (file not included in this release)). That is the circularity charge Craig made against presuppositionalism, raised from inside Feser’s own tradition.

So even the strongest version of Dyer’s argument depends on contested premises and a mischaracterized rival. It is not a demonstration.

Part 5: The commentary, analyzed and countered

The commentator is a self-described deist or “bare theist,” explicitly “predisposed to side with Jay because of theism” (3:28:08). His procedural observations are often fair; his philosophical additions for theism are the weak part.

Where the commentator is right

• Molyneux’s empiricism is self-undermining as a metaphysics and he never stated his own (1:49:46 to 1:51:49).
• “Brute fact” is a standard philosophical term, not a religious one (2:41:25).
• The problem of suffering is harder for theism than the problem of moral evil; he concedes this honestly (2:24:34).
• Molyneux did not answer the ontology-of-concepts question, and his refusal to restate TAG was a rhetorical disaster (3:27:01 to 3:33:26).
• The moderator repeatedly pulled a relevant argument “off prompt” (2:18:00).

Claim 1: “Discovered implies theism; invented implies atheism” (1:40:19)

“If these things are discovered, that tends to be evidence for theism… if these are things that we invented, that tends to point towards atheism.”

False dichotomy, refuted by the actual map of positions:

Every cell is populated on both sides, so no position on abstract objects predicts theism. Oppy’s summary of the state of the field: “considerations about our knowledge of mathematics do not differentially support either Theist or Naturalist” (The Best Argument against God, p.41 (file not included in this release)). When Plantinga himself proposed an “argument from natural numbers” (the view “that numbers are ideas in the mind of God”), Oppy’s assessment was that “there is a large promissory note here on which payment remains to be made” (Oppy, “Natural Theology,” in Alvin Plantinga (Cambridge, 2007), p.38 (file not included in this release)). Michael Martin made the historical point decades ago: “Bertrand Russell, for example, was an atheist but believed in abstract mathematical entities” (Martin, p.2 (file not included in this release)). And as shown with the Mandelbrot set, genuine discovery of mind-independent structure is evidence that the structure needs no mind at all.

Claim 2: The pi and pyrite examples (2:35:12, 2:34:07)

“Every time you create a circle, pi will always be derivable. Always… You could destroy the universe and rebuild it. Pi will be the same… It’s impossible to have a circle that doesn’t have it.”

Mathematically false as stated. The ratio of circumference to diameter equals π only in flat (Euclidean) geometry. On a curved surface it differs: on a sphere, a circle’s circumference divided by its diameter (measured along the surface) is always less than π, and for the equator it is exactly 2 (circumference 2πR, surface diameter πR). Physical space is curved by gravity according to general relativity, so no physical circle has a ratio of exactly π. What is necessary is a conditional: if Euclid’s axioms, then C/d = π. This supports a well-known naturalist picture: we choose (invent) axiom systems and then discover their consequences. The necessity lives in the logical relation between axioms and theorems, not in circles “out there.”

Pyrite (a chat comment the commentator endorsed: “pyrite attempts to form perfect cubes”): pyrite commonly grows as cubes but also as octahedra, pyritohedra and dozens of combinations, all from the same cubic atomic lattice. Near-perfect cubes appear only when growth proceeds at nearly identical rates along all three axes under stable conditions (FossilEra, “Pyrite Mineral and Crystal Guide”; mindat). Crystal shape is explained by lattice structure and growth kinetics; “attempts to form” is teleological language projected onto chemistry.

Claim 3: “Logic, meaning and purpose are unsurprising on theism and surprising on naturalism” (1:43:28, 2:21:14)

• Necessary truths cannot be evidence. If the laws of logic hold in every possible world, their probability is 1 on naturalism and 1 on theism. A fact with equal probability on both hypotheses cannot favor either. Logic’s existence is therefore not surprising on naturalism.
• Elastic likelihoods. Elliott Sober’s likelihood analysis of design arguments (“The Design Argument,” 2004) stresses that a hypothesis has high likelihood on evidence only if it predicts that evidence independently. “God would want meaning” is stipulated after the fact; the same God is also said to have reasons for suffering we cannot see. A hypothesis that accommodates everything predicts nothing in particular.
• Linguistic meaning is expected on the evolution of cooperative, communicating primates; nothing about sentences “presupposing meaning” requires a cosmic purpose.
• Internal inconsistency. The commentator repeatedly says empiricism cannot bear on metaphysics (2:58:35), yet his own “surprising or unsurprising” framing is a Bayesian, evidential method, which is exactly how metaphysical hypotheses can be tested against empirical data (compare naturalized metaphysics: Ladyman and Ross, Every Thing Must Go, 2007).

Claim 4: Plantinga’s evolutionary argument against naturalism (1:59:12 to 2:01:14)

“If theism is true, you have reason to believe that all your beliefs are true.”

• The symmetry objection. Branden Fitelson and Elliott Sober: “If a low value for Pr(R | E&N) suffices to reject evolutionary naturalism, then one should reject traditional theism as well” (“Plantinga’s Probability Arguments Against Evolutionary Naturalism,” Pacific Philosophical Quarterly 79, 1998). Theism does not specify that God wants us to have reliable faculties about everything. Graham Oppy adds a second symmetry: metaphysicians disagree about almost everything, so our faculties are not reliable about metaphysics on any view. “There is no problem here for evolutionary naturalism that is not equally a problem for theism,” and the right response is “sensible fallibilism about the bulk of one’s metaphysical speculations” (Oppy, “Anti-Naturalistic Arguments from Reason,” Roczniki Filozoficzne 70 (2022), p.24 (file not included in this release)).
• Skeptical theism undermines the theist’s own guarantee. Theists answer the problem of evil by saying God may have reasons beyond our ken. Erik Wielenberg shows that the same reasoning means God might have reasons beyond our ken to deceive us (“Sceptical theism and divine lies,” Religious Studies 46(4), 2010). You cannot use inscrutable divine reasons against the problem of evil and then assume God’s reasons are transparent enough to guarantee your cognition. Daniel Linford presses this against Van Tillian presuppositionalism specifically: “if God possessed morally sufficient reasons to deceive us — however inscrutable such reasons may be — God could allow people to believe they have correct, clear, and immediate recognition of God’s word and its true interpretation when they do not” (Linford, “On Knowledge Without God,” p.16 (file not included in this release)). The “thousands of Christian denominations and myriad, conflicting interpretations of the Bible” he mentions in the same passage are the empirical side of the point.
• The claim is false on its face. Theists hold contradictory beliefs about God, salvation and morality; Orthodox theology itself teaches that the Fall darkened human reason. Theism plainly does not give reason to think “all your beliefs are true.”
• A leading Christian philosopher rejects the older version. The commentator’s argument descends from C. S. Lewis’s “argument from reason.” Peter van Inwagen, a Christian and one of the most respected living metaphysicians, examined it and concluded that “Lewis’s argument fails to show that naturalism implies that none of our beliefs is based on reasoning” (van Inwagen, “C. S. Lewis’s Argument Against Naturalism,” p.1 (file not included in this release)).
• Selection for truth where truth matters. Beliefs guide behavior, and false beliefs about predators, food and cliffs get you killed. Molyneux’s “lions don’t hunt rocks” (4:06:16) is a crude version of the standard reply.

Claim 5: Free will and “compatibilism is a rhetorical trick” (1:53:53, 3:50:12)

• In the 2020 PhilPapers Survey, 59.16% of philosophers accept or lean toward compatibilism, 18.83% libertarianism and 11.21% no free will. Calling the majority view “a rhetorical trick” is an assertion, not an argument (see Free Will). It is also an old insult the field has moved past. The standard textbook, co-written by a compatibilist (Michael McKenna) and an incompatibilist (Derk Pereboom), recalls that “the classical incompatibilists accused compatibilists of subterfuge—indeed, wretched subterfuge,” and then gives the modern verdict: “The competitor views are respectable theses, and no one is in a position to claim with great confidence that their opposition is simply out to lunch” (McKenna and Pereboom, Free Will: A Contemporary Introduction, p.67 (file not included in this release)).
• Libertarian free will has its own well-known conflict with divine foreknowledge (the foreknowledge dilemma), a problem the commentator’s “omnis” inherit.
• Free will is irrelevant to the motion: whether Molyneux can consistently be “a free will guy” says nothing about whether God exists.

Claim 6: “Brute fact” means “necessary,” so Molyneux believes there are no other possible worlds (2:43:46 to 2:53:21)

This is the commentator’s longest philosophical construction, and it rests on a conflation.

• A brute fact is standardly a fact with no explanation, and typically a contingent one. Russell’s “the universe is just there, and that’s all” is the classic brute-contingency view. “Matter just is” and “the laws are stable” are compatible with the universe having been otherwise. Stable laws are not necessary laws; on a Humean view they are contingent regularities.
• “Naturalism assumes random chance” is not the standard definition; naturalism is the view that nothing supernatural exists. Deterministic and indeterministic naturalisms both exist.
• The modal-collapse charge boomerangs. The accusation that a view makes everything necessary is a leading objection to classical theism: if God is simple, necessary and identical with his act of willing creation, creation appears necessary too (R. T. Mullins, “Simply Impossible: A Case Against Divine Simplicity,” Journal of Reformed Theology 7, 2013). Orthodox theology tries to escape this with the essence-energies distinction, but the problem is the theist’s, not the naturalist’s.
• “The theist posits one thing, he posits infinitely many necessary things” undercounts theism: the one being must contain knowledge of every possible world, a will, intentions and power. The naturalist can equally posit one necessary foundation (for example, a basic field or state) with contingent unfolding.

Claim 7: The free-will-and-stakes theodicy for suffering (2:23:30 to 2:26:43)

“What is the use of free will in a world with no stakes?”

• Natural suffering predates free choices. Hundreds of millions of years of animal predation, parasitism and disease occurred before any moral agent existed (dinosaur cancer above; Darwin’s ichneumon wasps). No human choice gives those “stakes.”
• The problem of heaven. If heaven contains free, meaningful creatures without suffering, suffering is not necessary for meaningful freedom; if heaven lacks free will, free will is not so valuable that God must permit evil to secure it (Nagasawa, Oppy and Trakakis, “Salvation in Heaven?”, Philosophical Papers 33(1), 2004). J. L. Mackie made the same point in 1982. His question: “if God has made men such that in their free choices they sometimes prefer what is good and sometimes what is evil, why could he not have made men such that they always freely choose the good?” And against theists who hope for heaven: “they are explicitly recognizing the possibility of a state of affairs in which created beings always freely choose the good. If such a state of affairs is coherent enough to be the object of a reasonable hope or faith, it is hard to explain why it does not obtain already” (Mackie, The Miracle of Theism, PDF p.163 (file not included in this release)).
• Proves too much. “Stakes make choices meaningful” would justify any amount of suffering, including childhood cancer, as a stakes-generator. A principle that cannot distinguish a gratuitous from a necessary evil does not answer Rowe.

Claim 8: “Evil only makes sense on theism” (his friend Daniel’s argument, 2:27:47)

Answered in Part 1, §5 and §6: moral realism does not require theism (Wielenberg 2014; PhilPapers 62%), and the argument from evil is an internal critique that does not require the critic to hold any metaethics.

Claim 9: “Bare theism is compatible with science; great scientists were theists” (3:35:34)

True but beside the point. Compatibility is not evidence; many false hypotheses are compatible with science. Molyneux’s actual target was interventionist theism (prayer changing matter), which is not a deist view. The commentator’s own position, a God who does not intervene, is the retreat that Flew’s gardener parable describes.

Claim 10: The steelman moment decided the debate (3:24:56 to 3:33:26)

As an account of persuasion, this is the best part of the commentary. But:

• Dyer never steelmanned Molyneux either; he answered the suffering argument with “emotional appeal,” the evolutionary account with “storytelling,” and the prayer point not at all.
• Who is to blame for a train wreck is a question about rhetoric. The commentator slides from “Stefan couldn’t restate TAG” to “Jay won the debate easily” to implicit vindication of TAG. Losing the exchange does not make the unargued uniqueness premise true.
• Audience votes at a live, entertainment-format event measure performance, and the commentator concedes his own predisposition.

Part 6: Checking the philosophy against the sources

This part checks the philosophers, texts and technical terms that Dyer and the commentator invoked against the primary texts and standard references in the personal library. Verdicts: Accurate, Partly accurate, Misattributed, Misapplied (the term exists but does not fit the case), or Inaccurate.

What the sources show

The pattern is consistent. When Dyer cites a philosopher, the philosopher is usually real and relevant, but the text either applies to theism as much as to atheism (Hume on induction and on is-ought), was written by someone who drew the opposite conclusion (Kant, Aristotle, Penrose), or belongs to a different author and century (the “notional vs experiential” distinction). His fallacy labels mostly do not match their textbook definitions. The commentator’s technical vocabulary has the same problem at a lower level: “Euthyphro,” “brute fact,” “foundationalist,” “type-A physicalist,” “naturalism” and “the problem of evil is solved by free will” are each used in a sense the standard reference does not support.

A. Jay Dyer’s references

1. Hume on causation and induction. Partly accurate. Dyer is right that Hume ties induction to causation: “All reasonings concerning matter of fact seem to be founded on the relation of Cause and Effect” (Enquiry §IV Part I, p.29 (file not included in this release)), and right that Hume found no observable necessary connection: “One event follows another; but we never can observe any tie between them. They seem conjoined, but never connected” (Enquiry §VII Part II, p.68 (file not included in this release)). What is inaccurate is the framing “being consistent with the atheist paradigm.” Hume’s argument concerns all reasoning from experience (Part 1, §3), and the Oxford Handbook of Hume records a long interpretive tradition in which Hume himself believed in real causal powers: “There is nothing new in the claim that Hume was committed to the existence of objective causal power or necessary connection between cause and effect” (Oxford Handbook of Hume, p.69 (file not included in this release)). Hume’s skepticism is about rational proof of causal necessity, not a denial that causes exist, and it binds the theist equally.

2. Hume and the is-ought gap. Misapplied. Dyer called it a problem that “plagued David Hume and the skeptical atheist tradition.” Hume’s original passage names theistic moralists among its targets. In every system of morality he had met, “the author proceeds for some time in the ordinary way of reasoning, and establishes the being of a God, or makes observations concerning human affairs; when of a sudden I am surpriz’d to find, that instead of the usual copulations of propositions, is, and is not, I meet with no proposition that is not connected with an ought, or an ought not” (Treatise 3.1.1.27, p.302 (file not included in this release)). Establishing that God exists is one of the “is” steps Hume says cannot by itself yield an “ought.”

3. “The laws of logic cannot be found in any individual’s sense data.” Contested; Dyer’s own classical tradition disagrees. Aristotle, the philosopher behind the scholastic tradition Dyer draws on, holds that the first principles of knowledge are reached from perception by induction: “Thus it is clear that it is necessary for us to become familiar with the primitives by induction; for perception too instils the universal in this way” (Posterior Analytics II.19, 100b3–5, Complete Works (Barnes), PDF p.275 (file not included in this release)). That is an empiricist account of how universals enter the mind, and it requires no divine intellect.

4. “How do you prove that logic actually is logical?” (4:19:56). A demand the classical tradition itself rejects. On the law of non-contradiction, Aristotle writes: “Some indeed demand that even this shall be demonstrated, but this they do through want of education, for not to know of what things one may demand demonstration, and of what one may not, argues simply want of education. For it is impossible that there should be demonstration of absolutely everything; there would be an infinite regress, so that there would still be no demonstration” (Metaphysics IV.4, 1006a5–11, PDF p.2561 (file not included in this release)). By Aristotle’s standard, Dyer’s repeated demand that Molyneux prove logic is the error, and it is one no theist can meet either. Wittgenstein makes the same point in modern form: “to be sure there is justification; but justification comes to an end” (On Certainty §192, p.27).

5. “The transcendental argument.” Misapplied as a proof of God. The term comes from Kant, and Kant concluded the opposite: “all attempts of a merely speculative use of reason in regard to theology are entirely fruitless and by their internal constitution null and nugatory… if one did not ground it on moral laws or use them as guides, there could be no theology of reason at all” (Critique of Pure Reason A636/B664 (file not included in this release)). The Cambridge Dictionary’s entry records where the method ended up after Stroud: P. F. Strawson “conceded this: transcendental arguments belong within descriptive metaphysics and should not be regarded as attempts to provide an external justification of our conceptual scheme. In truth no such external justification is possible or needed” (Cambridge Dictionary of Philosophy, p.1028 (file not included in this release)).

6. God as the guarantee of reason. An old strategy with a famous defect. Grounding the reliability of reason in God is Descartes’ project, and the decisive objection came from a Catholic theologian, Antoine Arnauld: “how can the author avoid arguing in a circle, when he says we know for certain that the things we clearly and distinctly perceive are true, only because God exists? But we can only be certain God exists, because this is clearly and distinctly perceived by us” (Descartes, Meditations, Fourth Objections (AT VII 214), p.137 (file not included in this release)). This is the “Cartesian circle,” and Dyer’s version inherits it: he needs reliable reasoning to know God exists, and God to know reasoning is reliable.

7. “The medieval scholastics… notional idea of things versus experiential knowledge” (3:59:59). Misattributed terminology; substance partly right. “Notional” versus “real” is John Henry Newman’s 19th-century distinction between two kinds of assent, not a medieval distinction about divine knowledge (Cambridge Dictionary of Philosophy, “Newman,” p.714 (file not included in this release)). The scholastic distinction Aquinas actually draws is between God’s “knowledge of vision” (of what is, was or will be) and his “knowledge of simple intelligence” (of mere possibilities) (Summa I, q.14, a.9 (file not included in this release)). And Aquinas’s answer to how God knows evil is not “notional knowledge” but the privation theory: “since this is the essence of evil that it is the privation of good, by the very fact that God knows good things, He knows evil things also; as by light is known darkness” (Summa I, q.14, a.10 (file not included in this release)). Dyer’s point that God need not do evil to know it matches Aquinas, but the privation account covers knowing that something is bad, not knowing what it is like to be a bat, which was the question at issue (Part 1, §8).

8. “Evil presupposes the good.” Accurate to Augustine; answers a different question. Augustine: “For evil is not a positive substance: the loss of good has been given the name of ‘evil’” (City of God XI.9 (file not included in this release)). This is a thesis about what evil is. It does not say why an omnipotent, good God permits so much of it, which is what the evidential argument asks.

9. “A coherent justified true belief” (4:28:40). Outdated as stated. Dyer offered “justified true belief” as epistemology’s precise standard. Since 1963 that has been the textbook example of an analysis that fails: Gettier’s paper “seemed to many to show clearly that the traditional conception was at the very least seriously incomplete and quite possibly even more badly mistaken” (BonJour, Epistemology, p.40 (file not included in this release)). And JTB is an account of knowledge; Dyer was demanding justification, a different notion.

10. “The same type of question is asked in set theory or in metalogic: how do we know that logic is actually logical?” (4:29:44). Misapplied. Metalogic studies formal systems “from the point of view of their consistency, axiomatizability (of various types), completeness, and categoricity” (Cambridge Dictionary of Philosophy, “metalogic,” p.659 (file not included in this release)). Its proofs use logic; it does not ask, and could not answer, whether logic is “logical” in Dyer’s metaphysical sense.

11. Fallacy labels. Checked against the Cambridge Dictionary of Philosophy entry on informal fallacies:

• “Emotional appeal… that’s a fallacy.” Misapplied. The appeal to pity “can have a legitimate place in some discussions… But they can also put emotional pressure on a respondent in an attempt to cover up a weak case” (p.514 (file not included in this release)). Molyneux cited miscarriage and cancer rates as evidence, not as pressure in place of evidence.
• “Tu quoque.” Misapplied. The dictionary lists it as a variant of ad hominem: “the arguer attacked by an ad hominem argument turns around and says, ‘What about you? Haven’t you ever lied? You’re just as bad’” (p.515 (file not included in this release)). Asking how Dyer’s own worldview grounds the things TAG says only it can ground is a test of a comparative premise, not a personal attack.
• “Storytelling.” Not a named fallacy. The closest real one is the genetic fallacy, “drawing an inappropriate conclusion about the goodness or badness of some property of a thing from the goodness or badness of some property of the origin of that thing” (p.514 (file not included in this release)). Molyneux’s evolutionary account did not do that; it gave a causal explanation of how reasoning creatures arose. Dyer’s fair point is that an origin story is not a justification, but that is not a fallacy by Molyneux.
• “Matter in motion, so everything is meaningless.” This is Dyer’s own error, the fallacy of composition run in reverse: “arguing from a property of parts of a whole to a property of the whole” (p.514 (file not included in this release)). Particles lacking meaning does not make sentences lack meaning.

12. Burden of proof. Molyneux’s invisible mouse has a classic ancestor. Russell: “Many orthodox people speak as though it were the business of sceptics to disprove received dogmas rather than of dogmatists to prove them. This is, of course, a mistake,” followed by his “china teapot revolving about the sun in an elliptical orbit” (Russell, “Is There a God?”, p.6 (file not included in this release)). Dyer’s strategy throughout was to demand that Molyneux justify everything while exempting his own premise from proof.

B. The commentator’s philosophical terms

1. Calling the moderator’s question a “Euthyphro dilemma” (2:53:21). Misapplied. The question was “how can God know what is wrong if he is incapable of doing anything wrong?”, a question about divine knowledge. The Euthyphro asks something else: “is the pious being loved by the gods because it is pious, or is it pious because it is being loved by the gods?” (Euthyphro 10a (file not included in this release)). The dictionary defines the Euthyphro problem as “a problem concerning the center of gravity for normative values: do these lie in the thing valued or originate with those who attribute value to the thing?” (Cambridge Dictionary, p.337 (file not included in this release)). Nothing about God’s knowledge of wrongdoing is at issue.

2. “Brute fact” treated as “necessary” (2:43:46 to 2:53:21). Inaccurate. The dictionary defines brute facts as facts “lacking any explanation or ground whatever” and contrasts the brute-fact view of existence with the necessity view: “Some would say that the fact that there is something rather than nothing is a brute fact. Others contend that there could not have been nothing and offer putative explanations for this supposed modal fact” (Cambridge Dictionary, p.124 (file not included in this release)). Those are two different positions, so Molyneux’s “matter just is” does not commit him to “no other possible worlds.” Hume’s Philo even considered the stronger view respectable: “why shouldn’t the material universe be the necessarily existent being?” (Hume, Dialogues Part IX, Bennett’s modernized text, p.39 (file not included in this release)).

3. “Naturalism assumes random chance” (2:44:53). Inaccurate. The standard definition: “naturalism, the twofold view that (1) everything is composed of natural entities – those studied in the sciences… and (2) acceptable methods of justification and explanation are continuous, in some sense, with those in science” (Cambridge Dictionary, p.698 (file not included in this release)). Chance is not part of it.

4. “You can be a foundationalist… I assume these things are true” (3:29:12). Inaccurate. Foundationalism is “the view that knowledge and epistemic (knowledge-relevant) justification have a two-tiered structure: some instances of knowledge and justification are non-inferential, or foundational” (Cambridge Dictionary, p.376 (file not included in this release)). Foundational beliefs are justified non-inferentially, not merely assumed. Wittgenstein rejects the “assumption” picture explicitly: “some propositions are exempt from doubt, are as it were like hinges on which those turn… But it isn’t that the situation is like this: We just can’t investigate everything, and for that reason we are forced to rest content with assumption. If I want the door to turn, the hinges must stay put” (On Certainty §§341–343, p.44). That picture also answers Dyer: bedrock certainties are not arbitrary assumptions, and they are not proofs of God.

5. “He might be a type-A physicalist” (3:07:56, 3:09:01). Misapplied. In David Chalmers’s taxonomy, which is where the term comes from, “Type-A views hold that consciousness, insofar as it exists, supervenes logically on the physical, by accepting a broadly functionalist or eliminativist position” (Chalmers, The Conscious Mind, PDF p.165 (file not included in this release)). The category concerns whether there is a separate “hard problem” of consciousness at all. Molyneux said nothing about that. He called concepts “neuron patterns” and the mind something “derived from” matter, which fits several physicalist views, and the commentator’s own gloss (“mind is an emergent property of matter”) is not what type-A means.

6. “The problem of evil is solved by free will” (2:23:30). Overstated. Free will is the standard response to the logical problem only: “This is the logical problem of evil, and the most successful response to it has been the free will defense. Unlike a theodicy, this defense does not speculate about God’s reasons for permitting evil but merely argues that God’s existence is consistent with the existence of evil” (Cambridge Dictionary, p.819 (file not included in this release)). The same entry notes why soul-making responses fall short on suffering: “much animal suffering occurs unnoticed and child abuse often destroys rather than strengthens the moral character of its victims” (p.819 (file not included in this release)). The commentator’s split between “the problem of evil” (solved) and “the problem of suffering” (harder) is not standard terminology either; natural evil and suffering are part of the problem of evil (Mackie, Rowe, Draper).

7. “Stefan’s example is based on induction… on naturalism induction is not rationally justifiable” (2:38:18). Partly accurate. The commentator is right that long uniformity does not deductively guarantee the future, and Molyneux’s “faithful wife for 14 billion years” analogy is exactly the reasoning Russell mocked: “The man who has fed the chicken every day throughout its life at last wrings its neck instead, showing that more refined views as to the uniformity of nature would have been useful to the chicken” (Russell, The Problems of Philosophy, p.29 (file not included in this release)). But the problem is not naturalism’s: Hume’s argument binds everyone (Part 1, §3), and there are secular responses (BonJour, Armstrong, Reichenbach).

8. “If these things are discovered, that tends to be evidence for theism.” Russell, an atheist, was a realist about universals, which he said “must be placed in a world which is neither mental nor physical” (The Problems of Philosophy, p.43 (file not included in this release)). Realism about abstracta and atheism have long coexisted.

Fact-check ledger

Compressed rebuttals for debate use

• “TAG has two premises. You’ve spent the night proving we use logic. Now prove nothing but your God could ground it.”
• “Hume’s problem is everyone’s problem. You learned God’s promises by induction, and your God does miracles.”
• “Different molecules can share a pattern. That’s what patterns are. Same program, two computers.”
• “If math is discovered and ‘just there,’ like Penrose says, it needs no mind, God’s included. And Penrose holds to no religious doctrine.”
• “Pi isn’t built into every circle. On a sphere the ratio is less than pi. The necessity is in the axioms.”
• “Logic can’t come from God’s will, or God could make contradictions true. Aquinas agrees.”
• “Your God isn’t a number. He rises from the dead and answers prayer. Those are pantry claims, and the prayer trials came back empty.”
• “A world run by a God who suspends the laws on request is less uniform, not more.”
• “If God can have hidden reasons for the Lisbon earthquake, he can have hidden reasons to turn the snow green. Your guarantee of uniformity just dissolved.” (Martin)
• “William Lane Craig says your method begs the question ‘with a straight face.’ Richard Swinburne, Orthodox like you, says logic’s truth isn’t found in God’s thoughts. Start with them.” (Craig; Swinburne)
• “Seven plus five isn’t a vacuum-tube process or a bead process or a neuron process. It’s a structure all three can realize. That’s the common thing.” (Heil)
• “Cheese is as ‘sufficient’ for logic as God is, because logic holds no matter what. So ‘God explains logic’ explains nothing.” (Maitzen)
• “Paul didn’t say ‘don’t expect evidence.’ He said God ‘has given proof of this to all men by raising him from the dead.’ Your own scripture treats God as testable.” (Acts 17:31; J. J. Johnson)
• “Aristotle said demanding a proof of non-contradiction is ‘want of education.’ You’re demanding one from me; produce yours first.” (Metaphysics IV.4)
• “Hume’s is-ought passage names the moralist who ‘establishes the being of a God’ as one of his targets. It’s your problem too.” (Treatise 3.1.1.27)
• “Kant invented the transcendental argument and concluded that speculative proofs of God are ‘entirely fruitless.’” (Critique A636/B664)
• “Winning the room isn’t proving the premise. Everyone agrees Bahnsen beat Stein; nobody agrees on what he proved.” (Choi)

Library sources (PDF++)

Every book and paper quoted from the personal library has been copied into the vault. Links open the exact PDF page in PDF++. Printed page numbers are given where the PDF carries them; otherwise the PDF page is shown.

Presuppositionalism and TAG (60.11 Religion/Books/Presuppositionalism Papers/)

• Sean Choi, “The Transcendental Argument” (in Reasons for Faith, 2007): open PDF (file not included in this release)
• William Lane Craig, response to John Frame, Five Views on Apologetics (Zondervan, 2000), excerpt: open PDF (file not included in this release)
• Bálint Békefi, “Van Til versus Stroud,” TheoLogica (2017): open PDF (file not included in this release)
• Michael Martin, collected papers on presuppositionalism, including “Does Logic Presuppose the Existence of the Christian God?” (2000), “Does Induction Presume the Existence of the Christian God?” (1997) and TANG (1996): open PDF (file not included in this release)
• Alex Malpass, “Problems for the Argument from Logic,” Sophia (2020): open PDF (file not included in this release)
• Richard Swinburne, “In Defence of Logical Nominalism,” Religious Studies 46 (2010): open PDF (file not included in this release)
• Graham Moore, “Against the Reification of Logic” (blog essay, 2019): open PDF (file not included in this release)
• Keith Parsons, “Is Non-Christian Thought Futile?” (Antithesis, 1991): open PDF (file not included in this release)
• Daniel Linford, “On Knowledge Without God: Van Tillian Presuppositionalism and Divine Deception” (paper; publication venue not verified): open PDF (file not included in this release)
• Graham Oppy, “Anti-Naturalistic Arguments from Reason,” Roczniki Filozoficzne 70 (2022): open PDF (file not included in this release)
• Paul Copan, “Questioning Presuppositionalism” (scanned; no text layer, quotes checked by OCR): open PDF (file not included in this release)
• R. C. Sproul, John Gerstner and Arthur Lindsley, Classical Apologetics (Zondervan, 1984), Section III, “A Classical Critique of Presuppositional Apologetics” (excerpt): open PDF (file not included in this release)
• John J. Johnson, “Is Cornelius Van Til’s Apologetic Method Christian, or Merely Theistic?”, The Evangelical Quarterly 75:3 (2003): open PDF (file not included in this release)
• Brian Bosse, “Van Tillian Presuppositional Apologetics: A Critique Concerning Certainty” (2005): open PDF (file not included in this release)
• Stephen Maitzen, “The Problem of Magic” (preprint of the chapter in Does God Matter?, Routledge, 2018): open PDF (file not included in this release)
• Peter van Inwagen, “C. S. Lewis’s Argument Against Naturalism”: open PDF (file not included in this release)

Philosophy of religion (60.11 Religion/Books/)

• Graham Oppy, The Best Argument against God (2013): open PDF (file not included in this release)
• Graham Oppy, Describing Gods (2014): open PDF (file not included in this release)
• J. L. Mackie, The Miracle of Theism (1982): open PDF (file not included in this release)
• Edward Feser, Five Proofs of the Existence of God (2017), the theistic steelman: open PDF (file not included in this release)
• Chad Meister and Paul K. Moser, eds., The Cambridge Companion to the Problem of Evil (2017): open PDF (file not included in this release)
• Thomas Aquinas, Summa Theologica Part I, vol. 1: open PDF (file not included in this release)

Epistemology, mind, logic, ethics (60.9 Philosophy/60.9.5 Books/)

• David Hume, An Enquiry Concerning Human Understanding (Cambridge, ed. Buckle, 2007): open PDF (file not included in this release)
• Laurence BonJour, Epistemology: Classic Problems and Contemporary Responses: open PDF (file not included in this release)
• Robert Stern, Transcendental Arguments and Scepticism (2000): open PDF (file not included in this release)
• John Heil, Philosophy of Mind: A Contemporary Introduction: open PDF (file not included in this release)
• Penelope Maddy, Second Philosophy: A Naturalistic Method (2007): open PDF (file not included in this release)
• Ludwig Wittgenstein, Philosophical Investigations: open PDF (file not included in this release)
• Erik Wielenberg, Robust Ethics (2014): open PDF (file not included in this release)
• Russ Shafer-Landau, Whatever Happened to Good and Evil? (2004): open PDF
• Michael McKenna and Derk Pereboom, Free Will: A Contemporary Introduction (Routledge, 2016): open PDF (file not included in this release)
• Paul Churchland, The Engine of Reason, the Seat of the Soul (MIT Press, 1995): open PDF (file not included in this release)
• Deane-Peter Baker, ed., Alvin Plantinga (Contemporary Philosophy in Focus, Cambridge, 2007), with Oppy’s chapter “Natural Theology”: open PDF (file not included in this release)

Primary texts and reference works used in Part 6 (60.9 Philosophy/60.9.5 Books/; City of God was already in the vault under 60.13 Wars/Philosophy of War/Books/, so the note links that copy instead of duplicating it)

• Aristotle, The Complete Works of Aristotle, ed. Jonathan Barnes (Princeton, 1984), Posterior Analytics and Metaphysics: open PDF (file not included in this release)
• Plato, Complete Works, ed. John M. Cooper (Hackett, 1997), Euthyphro: open PDF (file not included in this release)
• Augustine, City of God (Penguin Classics): open PDF (file not included in this release)
• René Descartes, Meditations on First Philosophy, with Selections from the Objections and Replies, trans. Michael Moriarty (Oxford World’s Classics, 2008): open PDF (file not included in this release)
• David Hume, A Treatise of Human Nature, vol. 1, ed. David Fate Norton and Mary J. Norton (Clarendon, 2007): open PDF (file not included in this release)
• David Hume, Dialogues Concerning Natural Religion, modernized text by Jonathan Bennett (Early Modern Texts): open PDF (file not included in this release)
• Paul Russell, ed., The Oxford Handbook of Hume (Oxford, 2016): open PDF (file not included in this release)
• Immanuel Kant, Critique of Pure Reason, trans. Paul Guyer and Allen W. Wood (Cambridge Edition, 1998): open PDF (file not included in this release)
• Bertrand Russell, The Problems of Philosophy (1912): open PDF (file not included in this release)
• Bertrand Russell, “Is There a God?” (1952): open PDF (file not included in this release)
• Ludwig Wittgenstein, On Certainty, trans. Denis Paul and G. E. M. Anscombe (Blackwell, 1969): open PDF
• David Chalmers, The Conscious Mind (Oxford, 1996): open PDF (file not included in this release)
• Robert Audi, ed., The Cambridge Dictionary of Philosophy (3rd ed.): open PDF (file not included in this release)

Worth reading next from the same library folder (not quoted here, and not copied into the vault):

• Naturalist accounts of logic: Richard Carrier, “The Ontology of Logic”; Ernest Nagel, “Logic Without Ontology.”
• Replies to the argument from reason: David K. Johnson, “Naturalism Undefeated” and “Retiring the Argument from Reason”; Wielenberg, “God and the Reach of Reason.”
• More Christian critiques of presuppositionalism: Andrew Loke on Frame; Gary Habermas on Bahnsen; Keith Mathison, “Christianity and Van Tillianism”; Thomas V. Morris, Francis Schaeffer’s Apologetics: A Critique; Billy Dunaway on Duns Scotus’s argument against divine illumination.
• On “everyone reasons in a circle”: Lawrence Sanger’s dissertation Epistemic Circularity.
• Book-length and debate treatments: Dan Courtney, A Gift From God: How Presuppositionalism Undermines Christianity; the Drange–Wilson debate.

References

• Aquinas, Thomas. Summa Theologiae I, q. 25, a. 3. https://www.newadvent.org/summa/1025.htm
• Armstrong, D. M. What Is a Law of Nature? Cambridge University Press, 1983.
• Armstrong, D. M. Universals: An Opinionated Introduction. Westview, 1989.
• Augustine, Keith, and Michael Martin, eds. The Myth of an Afterlife: The Case against Life after Death. Rowman & Littlefield, 2015.
• Benson, Herbert, et al. “Study of the Therapeutic Effects of Intercessory Prayer (STEP) in Cardiac Bypass Patients.” American Heart Journal 151(4) (2006): 934–942. https://pubmed.ncbi.nlm.nih.gov/16569567/ ; summary: https://www.acc.org/latest-in-cardiology/clinical-trials/2010/02/23/19/21/step
• BonJour, Laurence. In Defense of Pure Reason. Cambridge University Press, 1998.
• Bourget, David, and David Chalmers. “Philosophers on Philosophy: The 2020 PhilPapers Survey.” Philosophers’ Imprint 23 (2023). Results: https://survey2020.philpeople.org/survey/results/all
• Carroll, Sean. “Energy Is Not Conserved.” Preposterous Universe, Feb. 22, 2010. https://preposterousuniverse.com/blog/2010/02/22/energy-is-not-conserved/
• Craig, William Lane. God Over All: Divine Aseity and the Challenge of Platonism. Oxford University Press, 2016. Review by Graham Oppy, NDPR 2017.05.30: https://ndpr.nd.edu/reviews/god-over-all-divine-aseity-and-the-challenge-of-platonism/
• Damour, Thibault, and Freeman Dyson. “The Oklo Bound on the Time Variation of the Fine-Structure Constant Revisited.” Nuclear Physics B 480 (1996): 37–54. https://arxiv.org/abs/hep-ph/9606486
• Darwin, Charles. Letter to Asa Gray, 22 May [1860]. Darwin Correspondence Project, DCP-LETT-2814. https://www.darwinproject.ac.uk/letter?docId=letters%2FDCP-LETT-2814.xml
• Draper, Paul. “Pain and Pleasure: An Evidential Problem for Theists.” Noûs 23(3) (1989): 331–350. https://philpapers.org/rec/DRAPAP
• Ekhtiari, Seper, et al. “First Case of Osteosarcoma in a Dinosaur: A Multimodal Diagnosis.” Lancet Oncology 21(8) (2020): 1021–1022. https://www.thelancet.com/journals/lanonc/article/PIIS1470-2045(20)30171-6/abstract
• Field, Hartry. Science Without Numbers. Princeton University Press, 1980.
• Fitelson, Branden, and Elliott Sober. “Plantinga’s Probability Arguments Against Evolutionary Naturalism.” Pacific Philosophical Quarterly 79 (1998): 115–129. http://fitelson.org/plant.pdf
• Flew, Antony. “Theology and Falsification.” University (1950); repr. in Flew and MacIntyre, eds., New Essays in Philosophical Theology (1955). https://infidels.org/library/modern/antony-flew-theologyandfalsification/
• Goldman, Alvin. “What Is Justified Belief?” In G. Pappas, ed., Justification and Knowledge. Reidel, 1979.
• Hublin, Jean-Jacques, et al. “New Fossils from Jebel Irhoud, Morocco and the Pan-African Origin of Homo sapiens.” Nature 546 (2017): 289–292. https://www.nature.com/articles/nature22336
• Hume, David. An Enquiry Concerning Human Understanding (1748), §§IV–V. https://www.gutenberg.org/files/9662/9662-h/9662-h.htm
• Humanists UK. “Patron: Professor Sir Roger Penrose.” https://humanists.uk/about/our-people/patrons/sir-roger-penrose/
• Izard, Véronique, et al. “Newborn Infants Perceive Abstract Numbers.” PNAS 106(25) (2009): 10382–10385. https://www.pnas.org/doi/10.1073/pnas.0812142106
• Jackson, Frank. “Epiphenomenal Qualia.” Philosophical Quarterly 32(127) (1982): 127–136.
• Ladyman, James, and Don Ross. Every Thing Must Go: Metaphysics Naturalized. Oxford University Press, 2007.
• Martin, Michael. “The Transcendental Argument for the Nonexistence of God.” New Zealand Rationalist & Humanist (Autumn 1996). https://infidels.org/library/modern/michael-martin-martin-frame-tang/
• Mullins, R. T. “Simply Impossible: A Case Against Divine Simplicity.” Journal of Reformed Theology 7 (2013): 181–203. https://philpapers.org/rec/MULSIA-2
• Nagasawa, Yujin, Graham Oppy, and Nick Trakakis. “Salvation in Heaven?” Philosophical Papers 33(1) (2004): 97–119. https://www.tandfonline.com/doi/abs/10.1080/05568640409485137
• Nagel, Thomas. “What Is It Like to Be a Bat?” Philosophical Review 83(4) (1974): 435–450.
• Oppy, Graham. Arguing about Gods. Cambridge University Press, 2006.
• Oppy, Graham. The Best Argument against God. Palgrave Macmillan (Palgrave Pivot), 2013. DOI: 10.1057/9781137354143. Quoted pp. 19, 24, 39, 41, 43 (from the copy in the personal library, Library/Philosophy/Religion).
• Stroud, Barry. “Transcendental Arguments.” Journal of Philosophy 65(9) (1968): 241–256.
• Penrose, Roger. The Emperor’s New Mind. Oxford University Press, 1989, ch. 3 “Mathematics and Reality.” Excerpt: https://neilgreenberg.com/a-penrose-2002/
• Plantinga, Alvin. Warrant and Proper Function. Oxford University Press, 1993, ch. 12.
• Putnam, Hilary. “Psychological Predicates.” In W. H. Capitan and D. D. Merrill, eds., Art, Mind, and Religion. University of Pittsburgh Press, 1967.
• Quenby, Siobhan, et al. “Miscarriage Matters.” Lancet 397(10285) (2021): 1658–1667. https://wrap.warwick.ac.uk/152428/
• Reichenbach, Hans. Experience and Prediction. University of Chicago Press, 1938.
• Rowe, William. “The Problem of Evil and Some Varieties of Atheism.” American Philosophical Quarterly 16(4) (1979): 335–341. Summary: https://iep.utm.edu/evil-evi/
• Russell, Bertrand, and F. C. Copleston. “A Debate on the Argument from Contingency.” BBC, 1948. https://www.ditext.com/russell/debate.html
• Schellenberg, J. L. The Hiddenness Argument. Oxford University Press, 2015. SEP entry: https://plato.stanford.edu/entries/divine-hiddenness/
• Smithsonian National Museum of Natural History, Human Origins Program. “Brains” and “Qafzeh: Oldest Intentional Burial.” https://humanorigins.si.edu/human-characteristics/brains ; https://humanorigins.si.edu/evidence/behavior/burial/qafzeh-oldest-intentional-burial
• Sober, Elliott. “The Design Argument.” In W. Mann, ed., The Blackwell Guide to the Philosophy of Religion. Blackwell, 2004.
• Wielenberg, Erik. “Sceptical Theism and Divine Lies.” Religious Studies 46(4) (2010): 509–523. https://philpapers.org/rec/WIESTA
• Wielenberg, Erik. Robust Ethics. Oxford University Press, 2014.
• Wilcox, Allen J., et al. “Incidence of Early Loss of Pregnancy.” New England Journal of Medicine 319(4) (1988): 189–194. https://www.nejm.org/doi/abs/10.1056/NEJM198807283190401
• Wittgenstein, Ludwig. Philosophical Investigations (1953), §43 (wording checked against the copy in the personal library).
• Xu, Fei, and Vashti Garcia. “Intuitive Statistics by 8-Month-Old Infants.” PNAS 105(13) (2008): 5012–5015. https://pubmed.ncbi.nlm.nih.gov/18378901/
• Zagzebski, Linda. Omnisubjectivity: A Defense of a Divine Attribute. Marquette University Press, 2013.

Related notes

• Transcendental Argument for God · Presuppositional apologetics · Countering Presuppositional Apologetics · Stroud’s critique of transcendental arguments
• Presuppositionalism Destroyed Like You've Never Seen! Dr. Alex Malpass · Arguments in Apologetics The TAG Argument A Debate Between Dr. Alex Malpass & Jay Dyer · Jay Dyer Doesn't Understand Logic · Misquoting Hume Jay Dyer on Piers Morgan, feat Alex Malpass
• Atheism · Euthyphro Dilemma · Why the moral argument for God's existence fails · Is-Ought Problem · David Hume · Free Will · Stefan Molyneux