Refuting Dyer’s Is/Ought Challenge to Brook

This maps the strongest Objectivist reply to Jay Dyer’s is/ought challenge in the Dyer vs. Brook debate, then flags where the Objectivist derivation is genuinely vulnerable so the win in the debate doesn’t paper over the live problems in the position itself.

The challenge, stated precisely

Dyer’s attack has three prongs, and separating them is half the work, because Brook lost the exchange by answering the first while Dyer kept escalating to the third.

1. The Humean core. Every answer Brook gives (“you need X to survive,” “life is the good”) is a statement of what is. Restating facts never yields an ought. Where is the derivation?
2. The circularity charge. Brook’s reply “oughts are facts about survival” makes the ought true by definition. That is either circular or analytic, not a justification.
3. The foundational charge. The whole system rests on the “choice to live,” which Brook admits has “no justification.” So the base is a smuggled axiom. And if Brook gets to assert self-evident axioms, Dyer gets to assert God as his axiom, so it is a wash in a debate.

Why the challenge misfires

Rand is not attempting a deductive derivation

Hume’s point (Treatise, Book III, Part I, Section I) is narrow and correct: no valid deduction moves from premises containing only “is” to a conclusion containing “ought,” because the conclusion introduces a term absent from the premises. Dyer’s demand “show me the inference from is to ought” assumes the Objectivist owes a syllogism of that form. She does not attempt one. Rand’s move is conceptual analysis: she analyzes what the concept value means and argues it is inherently biological. The claim is not “here is the missing premise that bridges the gap” but “value was never on the far side of a gap to begin with."

"Good” is agent-relative, not a property in the world

For Rand, value is “that which one acts to gain and/or keep” — a relation between an entity and the goals its life requires, not a Platonic property inhering in states of affairs. This is the pivot Dyer never engages. When he demands justification for “the good out there,” he is presupposing exactly the non-naturalist conception Objectivism denies. On the Objectivist analysis, “O ought to do X” reduces to “X is required for the continued existence of O, given O’s nature.” That reduction is a factual claim in full. It only fails to look like it closes the gap if you insist in advance that a real “ought” must be a categorical, mind-independent imperative — which is Dyer’s premise, not a neutral one.

The load-bearing reframe

Dyer’s circularity charge (“an ought is just another fact”) is not a refutation but a restatement of the Objectivist thesis. Objectivism asserts that normative facts are a species of natural fact within the domain of life. Calling that “circular” only works if you have independently established that value is non-natural. Dyer never argues for that; he assumes it. So prong 2 begs the question against the very position it targets.

The conditional structure dissolves the gap it appears to leave

The honest Objectivist grants that the ought here is hypothetical in form: if an organism is to live, then it must pursue the requirements of its life. That antecedent is not arbitrary sentiment; it is discoverable by studying the organism’s nature. The requirements of a plant’s life, a lion’s, a human’s are matters of fact. So within the antecedent, the entire normative structure is factual. There is no leap.

The choice to live is a precondition, not a premise

This is prong 3, the real battleground. Brook conceded there is “no justification for sustaining life,” and Dyer pounced. But the orthodox Objectivist reply (Peikoff) is that this concession is a feature, not a bug: the choice to live is pre-moral. Moral justification exists only downstream of it, so asking for a moral justification of the choice itself is a category error. Morality is a conditional system whose antecedent is not itself morally mandated.

There is also a performative rejoinder Brook missed. For Rand the “choice to live” is not one momentary decision but is implicit in every goal-directed action a living person takes. Dyer, by arguing at all — by valuing truth, by pursuing the goal of winning the exchange — has de facto chosen to live and to pursue values as a rational being. He cannot coherently demand a justification for valuing while performing the act of valuing. This is the same retortion structure Dyer uses in his own transcendental argument, turned back on him.

Turning the tables: Dyer’s alternative faces the identical gap

This is the move Brook most underused, and it is decisive in a debate even where the underlying philosophy stays contested.

The Euthyphro trap

Dyer grounds oughts in God. But “God exists and commands X” is still an is. To reach “I ought to do X” you need the prior normative premise “one ought to obey God” — which is itself a brute ought that cannot be deduced from the bare fact of God’s existence. Divine command theory does not cross Hume’s gap; it relocates it one step up. And it walks straight into Euthyphro: either things are good because God commands them, making goodness arbitrary and “God is good” an empty tautology, or God commands them because they are already good, in which case goodness is independent of God and Dyer still owes an account of what makes them good — the exact grounding question he claims only God can answer.

So Dyer’s “if you can assert an axiom, so can I” cuts against him. At least the Objectivist’s brute starting point (life as the standard) points to observable facts about living organisms. Dyer’s points to an unobservable being whose existence and goodness are both asserted, and whose command-structure reproduces the is/ought problem internally.

The move Brook should have made

Dyer kept climbing to the meta-level: epistemic justification, foundationalism versus coherentism, Quine on the impossibility of justifying empiricism. Brook answered by restating the content of Objectivist ethics, which is why he looked like he was going in circles. The structural answer he needed:

Validation versus proof

No ultimate standard of value can be proved by deduction without infinite regress — and that is true of Dyer’s position too, since he concedes God sits at the uncriticizable center of his web of belief. The Objectivist claim is that life as the standard is validated, not proved: it is the one standard presupposed by the very act of valuing, so every rival candidate either presupposes life or is a floating abstraction. Demanding deductive proof of the base, then asserting your own undeducible base, is the move Dyer makes against Brook while exempting himself.

Where the derivation is genuinely contested

This is the part that matters more for the rights-grounding project than the debate scorecard. The reply above defeats Dyer’s version of the challenge, but the is/ought derivation has stronger critics who do not share his theistic commitments.

• Nozick, “On the Randian Argument” (1971). The most cited scholarly objection. Rand slides between life as a necessary condition for having any values and life as the sole ultimate value. That valuing presupposes being alive does not show that staying alive is what one ought to value above all else. This is the gap Brook could not have closed on stage.
• Huemer, “Critique of ‘The Objectivist Ethics’.” Argues the derivation equivocates: even granting life-conditional values, the move from “life requires X” to “you ought to do X” still needs “you ought to pursue your life,” the very point in question. And the hypothetical structure (“if you choose to live”) undercuts the categorical, other-regarding force Rand wants — why can’t one choose to live and harm others when that serves one’s life?
• Searle, “How to Derive ‘Ought’ from ‘Is’” (1964). Cuts the other way against Dyer: the is/ought gap is more porous than the textbook version, since institutional facts (promising) can generate oughts. Worth holding because it shows “Hume’s is/ought problem” is itself contested terrain, not a settled cudgel.
• The flourishing reconstruction (Rasmussen and Den Uyl; Roderick Long). Friendly critics who think Rand’s bare-survival framing is too thin and rebuild the derivation on neo-Aristotelian flourishing rather than mere survival. This handles much of Nozick and Huemer at the cost of the strict survivalist standard — and it is the branch closest to your own flourishing / rational-agency / non-coercion framework.

The through-line for your notes: Brook can win this exchange because Dyer’s theistic alternative shares the structural defect and adds Euthyphro on top. But the survivalist derivation’s real weakness is internal (Nozick, Huemer), and the flourishing reconstruction is where the position gets rebuilt rather than merely defended.

Sources

• David Hume, A Treatise of Human Nature (1739), Book III, Part I, Section I. Public domain: https://www.gutenberg.org/ebooks/4705
• Ayn Rand, “The Objectivist Ethics,” in The Virtue of Selfishness (Signet, 1964).
• Leonard Peikoff, Objectivism: The Philosophy of Ayn Rand (Dutton, 1991) — validation of axioms; the pre-moral choice to live.
• Harry Binswanger, The Biological Basis of Teleological Concepts (ARI Press, 1990).
• Tara Smith, Viable Values: A Study of Life as the Root and Reward of Morality (Rowman & Littlefield, 2000); Ayn Rand’s Normative Ethics: The Virtuous Egoist (Cambridge, 2006).
• Robert Nozick, “On the Randian Argument,” The Personalist 52 (1971): 282–304.
• Michael Huemer, “Critique of ‘The Objectivist Ethics’.” https://www.owl232.net/rand.htm
• John Searle, “How to Derive ‘Ought’ from ‘Is’,” The Philosophical Review 73:1 (1964): 43–58.
• Douglas Rasmussen and Douglas Den Uyl, Norms of Liberty (Penn State, 2005); The Perfectionist Turn (Edinburgh, 2016).
• Roderick Long, Reason and Value: Aristotle versus Rand (Objectivist Center, 2000).
• Plato, Euthyphro — for the dilemma applied to divine command theory.

Realist and Anti-Realist Replies to “You Can’t Defeat Hume”

The Objectivist reply above is one school’s answer. The challenge as Dyer usually runs it is broader and aimed at any secular ethics. On Piers Morgan he put it to Danny as a trump card: “You cannot get an [ought] from an is. You’re an atheist.” (auto-transcript, via Misquoting Hume Jay Dyer on Piers Morgan, feat Alex Malpass). The implied claim is that a secular moral theory must defeat Hume’s gap and cannot, while theism somehow can.

Two major metaethical positions answer this without needing Rand. They answer in opposite ways, and each one turns the gap back on Dyer by its own route:

• The moral realist says: I never tried to deduce ought from is, so the gap does not touch my position. It touches yours.
• The anti-realist says: the gap is my argument. Hume was on my side, and you have cited him against yourself.

Before either speech, the passage itself. Most of the debate value is in one clause Dyer never quotes.

Hume, Treatise 3.1.1.27

“In every system of morality, which I have hitherto met with, I have always remark’d, that 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. This change is imperceptible; but is, however, of the last consequence. For as this ought, or ought not, expresses some new relation or affirmation, ‘tis necessary that it shou’d be observ’d and explain’d; and at the same time that a reason should be given, for what seems altogether inconceivable, how this new relation can be a deduction from others, which are entirely different from it.”

“Establishes the being of a God” is in the text. The theistic moralists of Hume’s day were among the systems he said commit the fallacy. Hume’s gap was never an atheist-only problem.

The moral realist’s rebuttal

Delivered as a rebuttal speech.

“Jay, I’ll start by granting your premise completely, because it doesn’t do what you need it to do. Hume’s point is about logical validity. You can’t get a normative conclusion out of premises that contain no normative content. I agree. So does every serious moral philosopher, theist or not. But look at what that principle actually says: no ought in the conclusion without an ought in the premises. It doesn’t say oughts don’t exist. It says they can’t be manufactured out of pure description. That’s a constraint every theory has to respect, and it isn’t a refutation of any theory that respects it.

“My position respects it. I’m a moral realist. I hold that there are moral truths — that gratuitous cruelty is wrong, that torturing a child for fun is wrong — and that they are true whether or not anyone believes them. I don’t claim to deduce those truths from physics. I claim some of them are basic: known the way we know the basic principles of logic and mathematics, by rational reflection, not by inference from something non-normative. That’s the tradition of Moore, Ross, Parfit, Huemer, and Enoch. And notice this: Hume’s gap is actually one of the best arguments for my view. If oughts can’t be reduced to or deduced from mere facts, then normative truths are their own category of truth. That is exactly what I’m asserting.

“If you want the naturalist version, it holds up too. ‘Water is H₂O’ can’t be deduced a priori from a chemical description. You can’t get the word ‘water’ out of premises about hydrogen and oxygen. But the identity is still true, discovered a posteriori. The Cornell realists — Boyd, Sturgeon, Brink — say moral terms can pick out natural properties the same way. The gap is a fact about inference, not about what exists. You keep treating a logical point as though it were a metaphysical one.

“Now here’s the problem for you. You are going to tell me tonight that I ought to accept your argument. That I ought not to hold contradictory beliefs. That I ought to believe what’s justified. Those are oughts. Epistemic oughts. Your entire transcendental argument runs on normative claims about how reasoning should go. If Hume’s gap makes my moral oughts groundless, it makes your epistemic oughts groundless too, and your argument can’t get started. You can’t use normativity to argue that normativity is impossible without God, and then say it’s fine for you but not for me. Terence Cuneo calls this the normative web: moral and epistemic facts stand or fall together.

“And what does God add? ‘God exists’ is an is. ‘God commands X’ is an is. To get to ‘I ought to do X’ you still need a normative bridge premise: one ought to obey God, or God’s nature is the standard of good. If you say, as an Orthodox Christian would, that God is the Good itself, that’s fine. But that’s a necessary identity between a being and goodness, asserted as a brute, ungrounded truth. I assert that moral truths are necessary and don’t need grounding in anything further. Erik Wielenberg’s point is that we are in exactly the same position, except that you have added a being to the picture and kept the brute normative claim. Your axiom does no extra work against Hume. It relocates the gap. It doesn’t close it.

“So the question tonight isn’t who can defeat Hume. Nobody defeats Hume, including you. The question is whose basic normative premises are more credible. ‘Torturing children for fun is wrong’ is more certain than any premise in any argument for God you could give me. I’ll put my foundation up against yours any day.”

Where the realist is exposed. Dyer’s strongest return is epistemological, not logical: if moral facts are causally inert abstracta, why would evolved primate brains track them? That is Sharon Street’s Darwinian dilemma and Mackie’s argument from queerness, and Dyer would frame it as “your intuitions are just neurons firing.” The realist answers with Enoch’s third-factor reply (survival and moral truth are correlated because survival-promoting behavior is also in fact good) and with parity (the same debunking argument threatens mathematical and logical knowledge, which Dyer needs). This exchange is live, not settled, and it is where a skilled opponent would actually press.

The anti-realist’s rebuttal

Delivered as a rebuttal speech.

“Jay, thank you for bringing up David Hume, because you’ve just cited my guy. Hume wasn’t a realist, and he wasn’t a theist. The is/ought passage is the first step of his argument for moral sentimentalism. The very next sentence says that paying attention to the gap would show ‘that the distinction of vice and virtue is not founded merely on the relations of objects, nor is perceiv’d by reason.’ The sentence before it says what morality is founded on: ‘when you pronounce any action or character to be vicious, you mean nothing, but that from the constitution of your nature you have a feeling or sentiment of blame from the contemplation of it.’ You haven’t found a hole in my position. You’ve quoted the argument for it.

“So no, I don’t need to defeat the gap. I accept it. I have never claimed that moral facts are deduced from physical facts. My claim is that morality is grounded in the attitudes, sentiments, and commitments of valuing creatures like us. Whether you cash that out as expressivism — Blackburn, Gibbard — or constructivism — Street, Korsgaard — the structure is the same. When I say ‘cruelty is wrong’, I am not reporting a fact I read off the universe. I am taking a stand. And given the ends I actually hold — that I care about suffering, that I care about other people — hypothetical oughts follow validly: if you care about X, and Y undermines X, you have reason not to do Y. No gap is crossed, because I never pretended the ought came from nowhere.

“Now you’ll say, ‘Then you can’t condemn Hitler.’ Yes I can. I condemn him right now: the Holocaust was monstrously wrong, and it would have been wrong even if the Nazis had won and everyone had been raised to approve of it. I say that sincerely. That counterfactual is itself a moral judgment, and it expresses my standards, which do not make rightness depend on who happens to approve. That’s Blackburn’s quasi-realism. What I deny is an extra metaphysical layer sitting behind the judgment. And you haven’t shown you have that layer either. You’ve just said the word ‘God.’

“Because here’s the problem. The is/ought gap is only a problem for someone who says there are obligations that bind independently of anyone’s attitudes, and that they come from facts. That’s your position, not mine. ‘God commands X’ is a fact about God. To get from there to ‘you ought to do X’ you need a bridge. If what makes X good is that God wills it, then morality is grounded in an attitude — just a very powerful one. That’s stance-dependence. You’re an anti-realist with one privileged mind. If instead God wills X because X is good, then goodness is independent of God’s will and you’re back to needing the brute normative facts you say I can’t have. That’s Euthyphro, and Hume’s gap sits right in the middle of it.

“Last point. You’ll ask: without God, why should anyone care about morality? Hume answered that: ‘Reason is, and ought only to be the slave of the passions.’ Nobody is moved to act by a bare fact, including a fact about God. You are moved by your love of God, your hope, your fear of judgment. Those are attitudes. At the bottom of your moral motivation there are sentiments, just as there are at the bottom of mine. The only difference is that I’m honest about where the ought comes from, and you’ve hidden it behind a premise you haven’t defended.”

Where the anti-realist is exposed. Dyer will say “then it’s all just preference, so it’s arbitrary.” The reply is that attitude-grounded does not mean random: human moral sentiments converge enormously, and Hume’s own account corrects for bias through the “general point of view.” Harder problems exist, and a better-read opponent would press them: the Frege–Geach problem for expressivism, whether quasi-realism’s “mind-independence” is borrowed or earned, and whether constructivism can bind someone whose values are thoroughly monstrous (Street bites that bullet; Korsgaard tries to derive constraints from rational agency itself). None of these are Hume problems, and none favor theism, but they are real.

Quick replies to Dyer’s likely comebacks

Cross-examination questions to put to Dyer

1. Write out your syllogism from “God exists” to “I ought not murder.” Which premise contains the ought, and how do you know it?
2. Hume lists systems that “establish the being of a God” among those that commit the fallacy. Was Hume wrong about that?
3. Is something good because God wills it, or does God will it because it is good? If the first, is morality stance-dependent? If the second, what makes it good?
4. When you say I ought to accept your argument, where does that ought come from, and why isn’t it subject to Hume’s gap?

The through-line for these notes: the gap is a logical constraint that every metaethic has to live with. It isn’t a weapon that only works against atheists. The realist lives with it by positing basic normative truths. The anti-realist lives with it by grounding oughts in attitudes. The theist lives with it by positing a bridge premise about God. Once the debate is reframed that way, Dyer’s challenge stops being “defeat Hume” and becomes “defend your bridge premise” — which is a burden he carries just as much as anyone.

Related: Is-Ought Problem and Secular Ethics · Naturalistic fallacy · Expressivism · Quasi-realism · Euthyphro Dilemma · Transcendental Argument for God · God and stance-dependence

Sources for this section

• David Hume, A Treatise of Human Nature (1739–40), 3.1.1.26–27 and 2.3.3.4. Hume Texts Online: https://davidhume.org/texts/t/3/1/1 and https://davidhume.org/texts/t/2/3/3
• Jay Dyer on Piers Morgan Uncensored, as clipped and discussed in Phil Halper and Alex Malpass, “Misquoting Hume: Jay Dyer on Piers Morgan” (2025). https://www.youtube.com/watch?v=fgBYw6Ch8YY
• G.E. Moore, Principia Ethica (Cambridge, 1903).
• Derek Parfit, On What Matters, vols. 1–2 (Oxford, 2011).
• David Enoch, Taking Morality Seriously: A Defense of Robust Realism (Oxford, 2011) — includes the third-factor reply to debunking.
• Russ Shafer-Landau, Moral Realism: A Defence (Oxford, 2003).
• Michael Huemer, Ethical Intuitionism (Palgrave Macmillan, 2005).
• Richard Boyd, “How to Be a Moral Realist,” in Geoffrey Sayre-McCord (ed.), Essays on Moral Realism (Cornell, 1988).
• Philippa Foot, Natural Goodness (Oxford, 2001).
• Terence Cuneo, The Normative Web: An Argument for Moral Realism (Oxford, 2007).
• Erik Wielenberg, Robust Ethics: The Metaphysics and Epistemology of Godless Normative Realism (Oxford, 2014).
• J.L. Mackie, Ethics: Inventing Right and Wrong (Penguin, 1977), ch. 1 — the argument from queerness.
• Sharon Street, “A Darwinian Dilemma for Realist Theories of Value,” Philosophical Studies 127 (2006): 109–166; “What Is Constructivism in Ethics and Metaethics?” Philosophy Compass 5 (2010): 363–384.
• Simon Blackburn, Spreading the Mind (Oxford, 1984); Ruling Passions (Oxford, 1998).
• Allan Gibbard, Wise Choices, Apt Feelings (Harvard, 1990).
• Christine Korsgaard, The Sources of Normativity (Cambridge, 1996).
• Plato, Euthyphro, 10a.

Handwritten journal source

Consolidated source: PDF p. 175 (file not included in this release)
Source boundary: These are handwritten source pages. Use the scan for exact wording; verify quotations and factual claims before reuse.
Embedded preview:
March 21-June 9 2026.pdf (file not included in this release)
Open the journal routing table

Handwritten Notebook Pages

Source

Open Hume’s is/ought gap notebook pages — start at notebook p. 84 (file not included in this release).