ris3n's Apologetics Codex

Argument

Euthyphro Dilemma Objection Defeater

Euthyphro Defeater, Euthyphro Objection Defeater, Euthyphro dilemma answer, is the good good because God commands it, answering the Euthyphro dilemma, Euthyphro rebuttal

Intro

There are ads on our codex that pay for hosting and keep the codex free. If you can, please consider whitelisting ris3n.com or allowing scripts to support the work.

Sponsored

Brands, events, influencers advertise here

The oldest objection to grounding morality in God is also the shortest, which is why it has outlived every other objection in its class. Socrates asked Euthyphro whether the holy is holy because the gods love it, or whether the gods love it because it is holy. Bertrand Russell pointed the question at monotheism, and every atheist debater since has kept it in the opening kit.

Turned against Christianity it runs: is an act good because God commands it, or does God command it because it is good? Take the first and morality is arbitrary, since God could have commanded torture and torture would then be good. Take the second and God is a middleman, since goodness stands above him and he is merely reporting it. Either way the moral argument for God collapses.

The defeat is not a dodge and it is not new. The dilemma is exhaustive only on an assumption it never states: that goodness and obligation are the same property. Once they come apart, a third position opens that takes neither horn. Goodness is grounded in what God is, so morality is not arbitrary. Obligation is grounded in what God commands, so God is not a middleman reporting a standard external to him. The two horns each attack one half of a position that holds both halves at once.

The last move is the one worth keeping for the end of an exchange. The dilemma is not a problem for theism specifically. Ask the objector the same question about his moral foundation, whatever it is, and the identical fork appears. Anything offered as bedrock either has an explanation, in which case it was not bedrock, or does not, in which case it is the arbitrary horn. A dilemma that dissolves every possible metaethic is not evidence against one of them.

In full

Defeater syllogism for the objection: "Christianity grounds morality in God. Either that grounding is arbitrary divine will, in which case anything at all could have been good, or it defers to a standard of goodness independent of God, in which case God is explanatorily idle. Theistic ethics is therefore either monstrous or superfluous."

Deployed by Bertrand Russell (Why I Am Not a Christian, 1927), Michael Martin (Atheism: A Philosophical Justification, 1990), Richard Dawkins (The God Delusion, 2006), Erik Wielenberg in its sophisticated academic form, and across the popular debate circuit as the standard first reply to any moral argument. The concept treatment sits at Euthyphro Dilemma; this page is the debate-prep engagement. The positive account the defeat rests on is set out at Divine Command Theory.

Distinct from Atheist Moral Realism Defeater, which engages the objector's own positive metaethic, and from Moral Argument, which is the constructive theistic argument this objection is aimed at.

Argument structure

# Premise
P1 The dilemma is exhaustive only if moral goodness and moral obligation are a single property.
P2 They are not a single property: value and duty come apart, and obligation is irreducibly relational.
P3 Christianity grounds goodness in God's nature, which defeats the arbitrariness horn without conceding the second.
P4 Christianity grounds obligation in God's command, which defeats the redundancy horn without conceding the first.
P5 The regress objection to P3 terminates at divine simplicity rather than continuing indefinitely.
P6 Run consistently, the dilemma applies to every metaethical foundation, including the objector's, so it is not an argument against theism.
C The Euthyphro dilemma is a false dilemma, and its generalised form is a problem for moral realism as such rather than for theistic ethics.

Form

Defensive, working by distinction rather than by counter-assertion. P1 and P2 do the real work: they identify the suppressed premise that makes the fork look exhaustive and then deny it. P3 and P4 show that the resulting third position is not a compromise between the horns but a rejection of the assumption generating them. P5 closes the standard follow-up. P6 is a reversal, not a proof, and should be deployed last, because leading with it looks like a change of subject rather than the conclusion of an argument already won.

Cheatsheet

30-second reply: "The dilemma only forces a choice if being good and being obligatory are the same thing. They aren't. Goodness is God's nature, which is why he can't command torture, so it isn't arbitrary. Obligation is God's command, which is why duties are owed to someone rather than floating free, so he isn't a middleman. And ask yourself the same question: whatever you put at the bottom of your ethics, is it good because of something else or just brutely good? You get the same fork. A dilemma that hits every position isn't an argument against mine."

Fast facts:

  • The dilemma dates to Plato's Euthyphro, c. 399-395 BC, and concerned piety and the plural Greek gods, whose arbitrariness was the point of the dialogue.
  • The nature-grounded answer is not a modern patch. Augustine holds it in the fourth century, Aquinas formalises it in the thirteenth.
  • The voluntarist position the first horn describes was rejected by the Christian mainstream centuries before atheists adopted it as a target. It is associated with Ockham, not with the tradition.
  • Robert Adams's Finite and Infinite Goods (1999) is the standard contemporary treatment, and it is where the value and obligation split is made explicit.

Counter-moves:

  1. Ask which horn is being pressed. Most objectors have not decided, and the two require different answers.
  2. Refuse voluntarism out loud. Agreeing that an unconstrained divine will would be indefensible costs nothing and removes the objector's best material.
  3. Draw the value and duty distinction before answering anything else. Every subsequent move depends on it.
  4. Concede moral knowledge immediately. The objector will try to convert the ontological claim into an epistemological one.
  5. Close with the generalisation, not with it as an opener.

Concessions to grant, and what each one collects:

  • Grant that voluntarism is monstrous. Collects the admission that the objection is aimed at a position Christianity also rejects, so the dilemma is no longer an objection to Christianity.
  • Grant that atheists know right from wrong perfectly well. Collects the concession that the dispute is about moral ontology, which is the ground the theist wants to fight on.
  • Grant that "God's nature is good" needs an account rather than an assertion. Collects the right to introduce divine simplicity, and the objector's agreement that explanation has to stop somewhere, which is precisely what P6 then uses.

Closing line: "Plato's dilemma worked on Plato's gods. They were powerful, quarrelsome and had no particular relation to goodness, so asking whether their approval tracked the good or created it was a real question with two bad answers. The God of classical theism is not a very large Greek god. He is goodness itself, and the question the dilemma asks does not have a grip on him."


P1, The dilemma is exhaustive only if goodness and obligation are a single property

Affirmative case (second-order arguments)

  1. The fork is stated in one vocabulary and applied in another. "Is it good because God commands it" uses the language of value. "Then God could make torture obligatory" uses the language of duty. The objection slides between them without argument, and its force depends entirely on the slide going unnoticed.
  2. Exhaustiveness is a logical claim requiring proof. A dilemma is only valid if the disjunction is genuinely exclusive and exhaustive. The Euthyphro is presented as if this were self-evident, but X is grounded in God's nature while Y is grounded in God's command is a consistent third option, and no version of the objection argues against it.
  3. The dialogue's original target had no third option available. Plato's question is sharp against the Olympian gods precisely because they are contingent beings with characters that could have been otherwise. A god who might have been cruel gives you only the two horns. The objection has been transplanted to a theology that removed the feature making it work.

Anticipated objections

  1. "This is an ad hoc distinction invented to escape the dilemma."
  2. "Value and obligation are obviously connected. You cannot just declare them separate."
  3. "You have not escaped anything. Just run the dilemma on obligation alone: is an act obligatory because God commands it, or does he command it because it is obligatory?"

Rebuttals

  1. Not ad hoc, and the dating settles it. The value and duty distinction is load-bearing across secular metaethics, where the difference between the good and the right organises the entire deontological and consequentialist debate independently of any theological motive. Augustine and Aquinas hold the nature-grounded account of goodness centuries before the objection was aimed at Christianity, so it was not built in response to it.
  2. Connected is not identical. The theist affirms the connection: God's commands are not unrelated to his goodness, they flow from it. What is denied is the identity. Objection two would have to show that value and duty are one property, which is a substantive metaethical thesis that most secular philosophers also reject.
  3. This is the strongest version, and it has an answer. Run on obligation alone the theist takes the first horn without embarrassment: acts are obligatory because God commands them. That horn was only alarming when it implied that goodness was arbitrary, because it produced the torture counterexample. Once goodness is fixed independently by God's nature, a will that necessarily expresses that nature cannot command torture, so the horn's only frightening consequence is unavailable. What remains is the unobjectionable claim that duties are generated by the requirements of a perfectly good being.

Live-cite kit

  • Scripture: Micah 6:8, the good and the required named in one sentence and not conflated; Romans 2:14-15, moral knowledge without special revelation.
  • Scholarly: Robert Adams, Finite and Infinite Goods (1999), the standard statement of the split; William Alston, "Some Suggestions for Divine Command Theorists" (1990).
  • Aphorism: "Knowing which thing is better does not yet tell you what you owe anyone."

Tactical notes

  • Lead here against a philosophically trained opponent, who will recognise the value and duty distinction as standard and will not want to defend their identity in public.
  • Against a popular-level opponent, lead with P3 instead, because the arbitrariness horn is the one they actually care about and answering it first buys attention for the rest.
  • Force-commit move: "Which horn are you pressing? If it's the first, you're worried morality is arbitrary. If it's the second, you're worried God is redundant. They need different answers and you can't have both at once."

P2, Value and duty come apart, and obligation is irreducibly relational

Affirmative case (second-order arguments)

  1. Supererogation proves the gap directly. Some acts are better than required. Throwing yourself on a grenade is good and not obligatory. If goodness and obligation were one property, the entire category of the praiseworthy but not required would be incoherent, and it is not.
  2. Obligation has a grammar that value does not. Duties are owed to someone, can be waived by the party owed, generate guilt rather than mere regret when breached, and require accountability. None of that structure attaches to value. Goodness is a property of an act or state; obligation is a relation between persons.
  3. Anscombe's diagnosis, made against secular philosophy rather than for apologetics. In "Modern Moral Philosophy" (1958) Elizabeth Anscombe argued that the concept of moral obligation is the survivor of a law conception of ethics, and that retaining the notion after discarding the lawgiver leaves a word without the framework that gave it sense. She was not defending theism. She was telling her secular colleagues that they had inherited a term they could no longer pay for.

Anticipated objections

  1. "Obligations can be perfectly impersonal. Chess rules obligate without anyone commanding."
  2. "Guilt is just an evolved social emotion. It doesn't need a person on the other end, it needs a species that lived in groups."
  3. "You are smuggling in the conclusion. Saying obligation is 'irreducibly relational' just asserts what you need to prove."

Rebuttals

  1. Institutional obligations are the wrong category and prove the point. Chess rules bind conditionally: they obligate you only if you have chosen to play, and you can stop. Moral obligations are categorical, binding whether or not you signed up and with no exit. If the objector's model of obligation is the conditional institutional kind, he has given up the categorical force that made moral duty worth arguing about.
  2. This explains the feeling and leaves the fact untouched. An evolutionary account of why humans feel guilt is compatible with there being nothing anyone is actually guilty of, which is the position Sharon Street and other debunkers accept honestly. The reply concedes the theist's point: on that view guilt is systematically non-veridical, tracking group cohesion rather than any genuine breach. The theist is not claiming atheists lack the feeling. He is asking what, on their ontology, the feeling is about.
  3. It is an argument, not an assertion, and it runs through the failure of the alternatives. The claim is supported by the three structural features in point two, each of which the value-only account has to reinterpret as an illusion. Reinterpreting a feature as illusory is a live option, but it is a cost, and naming the cost is not question-begging.

Live-cite kit

  • Scripture: Psalm 51:4, sin named as against God specifically rather than as a bad outcome; James 4:12, one lawgiver and judge.
  • Scholarly: G. E. M. Anscombe, "Modern Moral Philosophy" (Philosophy 33, 1958); Robert Adams on obligation as the demands of a loving God; C. Stephen Evans, God and Moral Obligation (2013).
  • Aphorism: "Regret is what you feel about outcomes. Guilt is what you feel toward someone."

Tactical notes

  • The guilt line is the most effective single move on this premise in front of a live audience, because it is experiential rather than technical.
  • Do not overreach into claiming atheists cannot be good people. It is false, it is offensive, and it loses the room instantly.
  • What not to defend live: the full literature on categorical versus hypothetical imperatives. Make the chess point and move on.

P3, Goodness is grounded in God's nature, which defeats the arbitrariness horn

Affirmative case (second-order arguments)

  1. The counterexample requires a possibility the doctrine excludes. "God could have commanded torture" assumes God's character is contingent. On classical theism it is not. God is essentially loving, just and faithful, so a command to torture for its own sake is not an option God declines to take, it is not an option.
  2. The tradition is unanimous and predates the objection. Augustine grounds goodness in the divine nature rather than the divine will; Thomas Aquinas formalises it in the treatment of eternal law, where God's will follows his intellect, which follows his essence, so that God cannot will the irrational (Summa Theologiae I-II q.93 a.1; De Veritate q.23 a.6).
  3. "God is good" stays informative. The horn's sharpest form is that nature-grounding makes the sentence empty, meaning only "God does what God does." It does not, because it predicates specific attributes of the divine essence, holiness, justice, faithfulness, mercy, each with determinate content and each entailing determinate commands.

Anticipated objections

  1. "You have just relocated the arbitrariness. God's nature is what it is for no reason, so it is arbitrary bedrock."
  2. "The Old Testament has God commanding things that look exactly like the torture case."
  3. "If God cannot do otherwise, he is not free, and a being with no choice is not praiseworthy for being good."

Rebuttals

  1. Anticipated, and it is P6's material. Necessary features are not arbitrary in the sense the objection needs. Arbitrary means "could have been otherwise and was settled by nothing." God's nature could not have been otherwise, so it fails the first condition. This is also the point at which the objector's own foundation faces the identical demand, which is where the exchange should be steered.
  2. A change of subject, and it belongs elsewhere. This is the abhorrent-command objection, which is a question about OT ethics and not about metaethics. Answer it at Canaanite Conquest and Herem, Divine Wipeouts and Their Justification, OT Atrocities Descriptive vs Prescriptive Objection Defeater and Amalekite Genocide Objection Defeater. Say so explicitly and offer to take it up separately rather than fighting two arguments in one.
  3. This is a general objection to perfect-being theology, not to the Euthyphro answer. The classical reply distinguishes freedom from indifference: God acts freely in the sense of acting from himself without external constraint, not in the sense of being able to act against his own nature. A being who could choose cruelty is not more admirable than one who cannot, any more than a person who genuinely cannot be bribed is less trustworthy than one who is merely undecided.

Live-cite kit

  • Scripture: Exodus 34:6-7, the character-self-disclosure the whole tradition treats as definitional; Malachi 3:6 and James 1:17 on unchangeableness; Titus 1:2 and Hebrews 6:18, God cannot lie, an explicit scriptural limit set by nature rather than by will.
  • Scholarly: Thomas Aquinas, Summa Theologiae I-II q.93 a.1; William Lane Craig on the third horn; Robert Adams on excellence as resemblance to God.
  • Aphorism: "He cannot command cruelty for the same reason he cannot lie. Not because a rule forbids it, but because of who he is."

Tactical notes

  • Hebrews 6:18 is the single most useful citation on this premise, because it is a scriptural statement that there are things God cannot do, and it locates the limit in his nature. Objectors expect the theist to claim unlimited divine power and are unprepared for it.
  • Redirect objection two immediately and by name. Allowing the exchange to become an OT-atrocities debate is the most common way this argument is lost.

P4, Obligation is grounded in God's command, which defeats the redundancy horn

Affirmative case (second-order arguments)

  1. The second horn assumes goodness is the whole of morality. "God commands it because it is good, so God is superfluous" holds only if the good exhausts the moral. Add obligation as a distinct thing needing a ground and God is doing work no impersonal standard can do, since impersonal standards do not require anything of anyone.
  2. The standard is not above God because the standard is God. The second horn pictures goodness as a Platonic form God consults. Classical theism denies the picture: there is no independent moral order to which God conforms, because the order is his nature. See Ipsum Esse Subsistens, on which goodness is convertible with being and God is subsistent being itself.
  3. Commands are also the epistemic route. Even where nature is the ontological ground, promulgation matters, through conscience, created human nature, and revelation. See Conscience and General Revelation.

Anticipated objections

  1. "Then obligation is arbitrary even if goodness isn't. You have moved the first horn rather than defeating it."
  2. "Commands only bind those who hear them, so anyone who never heard is off the hook."
  3. "An impersonal moral order can obligate. Kant thought reason alone obligates."

Rebuttals

  1. A will that necessarily expresses a fixed nature is not arbitrary. God's commands are not selected from an unconstrained menu; they follow from what he is. Arbitrariness requires that the choice could have gone any way and was settled by nothing, and neither condition holds.
  2. This is the promulgation objection, and it is answered by the modes of promulgation. Commands are not exclusively verbal. The structure of created human nature and conscience are modes of promulgation, which is exactly Paul's argument in Romans 2:14-15 that those without the law show its work written on their hearts. The objection lands on a naive model nobody defends.
  3. Kant's system is the strongest form of this, and it is unstable. He keeps the entire apparatus of law, duty and a moral order that must finally cohere with happiness, then reintroduces God as a postulate of practical reason to secure it. The concession is instructive: the most rigorous attempt to ground categorical obligation in reason alone found it necessary to bring God back at the end. See Immanuel Kant.

Live-cite kit

  • Scripture: Romans 2:14-15, promulgation through conscience; James 4:12, one lawgiver; Micah 6:8, what is required and by whom.
  • Scholarly: Robert Adams, Finite and Infinite Goods (1999); C. Stephen Evans, God and Moral Obligation (2013); John Hare, God's Call (2001).
  • Aphorism: "A standard can tell you what is better. Only a person can tell you what you owe."

Tactical notes

  • This premise is where the objector most often switches from ontology to epistemology. Name the switch when it happens.
  • Useful force-commit: "Name the thing that obligates you, and then tell me what happens if you ignore it."

P5, The regress terminates at divine simplicity

Affirmative case (second-order arguments)

  1. The regress requires goodness to be a property God has. If God instantiates goodness, one can ask why the instantiated property is good, and the regress starts. Divine simplicity denies the antecedent: God does not have goodness, God is goodness. See Divine Simplicity and Actus Purus.
  2. Every account terminates somewhere. Explanation cannot regress infinitely on any view. The question is whether the terminus is principled or arbitrary, and a terminus at a necessarily existent being whose nature is goodness itself is considerably more principled than a terminus at a brute contingent fact.
  3. This is the academic form of the objection and deserves the academic answer. Erik Wielenberg and Russ Shafer-Landau press the regress rather than the popular arbitrariness version, and the reply engages metaphysics rather than rhetoric. See Erik Wielenberg and Atheist Moral Realism Defeater.

Anticipated objections

  1. "Divine simplicity is incoherent. It makes all God's attributes identical, so his mercy is his justice, which is nonsense."
  2. "'God is goodness' is a category error. Goodness is a property and God is a being."
  3. "Stopping the regress by definition is cheating."

Rebuttals

  1. A real dispute, and it is not this one. Simplicity has serious defenders and serious critics, and the debate is internal to classical theism rather than between theism and atheism. Note also that the defeat does not require the strongest formulation: any account on which God's goodness is essential rather than accidental blocks the regress, and that is a far weaker commitment than full simplicity. Do not stake the argument on the strongest version when a weaker one suffices.
  2. It is a category claim, deliberately made. Classical theism holds that God is not a being among beings but subsistent being itself, and the goodness convertible with being is not a property in the ordinary sense. The objector may reject the metaphysics, but calling it an error assumes the framework it denies.
  3. It is not stipulation, it is where the argument arrives. The terminus is reached by argument from the nature of a necessarily existent being, not asserted to end the discussion. And the objector needs a terminus too, which is P6.

Live-cite kit

  • Scripture: Exodus 3:14, the divine name as self-existence; 1 John 4:8, God is love in the predicative-identity register rather than the attributive.
  • Scholarly: Thomas Aquinas, Summa Theologiae I q.3; Eleonore Stump and Norman Kretzmann on simplicity; Erik Wielenberg, Robust Ethics (2014), for the objection in its serious form.
  • Aphorism: "Every account stops somewhere. The question is whether it stops at something that could not have been otherwise, or at something that just happens to be."

Tactical notes

  • Do not open with simplicity. It is technical, it is contested inside Christian theology, and it sounds evasive to a general audience.
  • Retreat to the weaker essentialist claim whenever simplicity itself becomes the battlefield. It blocks the regress and costs far less to defend.

P6, The dilemma applies to every metaethical foundation

Affirmative case (second-order arguments)

  1. The generalised fork. For any proposed moral bedrock B: either B is good because of something further, in which case B was not bedrock, or B is just brutely good, in which case B is arbitrary in exactly the sense the first horn condemns. This is not a theistic problem. It is a feature of grounding as such.
  2. Applied to the standard alternatives. Non-natural moral realism terminates at brute necessary moral facts with no explanation of their necessity. Naturalism terminates at whatever flourishing or wellbeing is stipulated to matter, and cannot say why that is the thing that matters. Contractarianism terminates at the agreement, and cannot obligate those outside it or those who would do better defecting.
  3. The theistic terminus is at least as principled. It stops at a necessarily existent being whose nature could not have been otherwise, which satisfies the non-arbitrariness condition better than a brute contingent fact does. The theist is not claiming a magic exemption from the regress; he is claiming a better stopping point.

Anticipated objections

  1. "Tu quoque. Showing my view has the same problem does not solve yours."
  2. "Brute necessary moral facts are fine. Necessity is its own explanation."
  3. "This proves too much. If nothing can ground morality, moral realism is false full stop, which helps neither of us."

Rebuttals

  1. The charge would land if this were the whole defeat, and it is not. P1 through P5 dissolve the dilemma on its own terms. P6 is a further claim about the objection's scope: it is offered as an argument against theistic ethics specifically, and if it applies universally, that specific claim is false. Establishing the scope of an objection is a legitimate move, not a fallacy.
  2. Then the theist has the identical resource, and the objection collapses. If brute necessity is an acceptable terminus, God's necessarily good nature is an acceptable terminus, and the arbitrariness horn is answered by the objector's own standard. The reply cannot be used selectively.
  3. The conclusion drawn is more modest than that. The claim is not that nothing can ground morality but that grounding must terminate, so terminating is not itself a defect. The competition is between stopping points, and that is a comparison the theist is content to run.

Live-cite kit

  • Scripture: Hebrews 6:13, the oath sworn by God's own self because there was no greater, an explicit treatment of what happens when explanation reaches the end.
  • Scholarly: Erik Wielenberg, Robust Ethics (2014), for brute necessary moral facts stated candidly; J. L. Mackie, Ethics: Inventing Right and Wrong (1977), for the queerness argument that cuts the same way against non-theistic realism.
  • Aphorism: "A dilemma that defeats every possible answer is not an objection. It is a description of what grounding is."

Tactical notes

  • Deploy last, always. Used as an opener it reads as deflection; used as a closer it reframes the entire exchange.
  • Best delivered as a question rather than an assertion: "What do you put at the bottom, and is it good because of something else or just brutely good?"
  • Expect the tu quoque charge and have the scope answer ready, because it is the one objection here that sounds strong to an audience.

Conclusion

The Euthyphro dilemma is a false dilemma, and its generalised form is a problem for moral realism as such rather than for theistic ethics specifically. The fork looks exhaustive only because value and obligation are run together in a single word. Pulled apart, goodness is grounded in a nature that could not have been otherwise, which answers arbitrariness, and obligation is grounded in the command of the being whose nature that is, which answers redundancy. The regress objection stops at the same place every account must stop, and the theistic stopping point is the one that best satisfies the objection's own standard for non-arbitrariness.

Master objections to the defeater as a whole

  • "This is all very sophisticated, but ordinary believers mean the simple thing: God said so." Partly true and not to the point. Ordinary believers also mean the simple thing by "God made the world," and the sophistication of the doctrine of creation is not an indictment of them. Popular formulation is not the measure of a position's best form, and the objector's own metaethics does not survive being stated at street level either.
  • "You have defended a philosophical God who has little to do with the God of the Bible." The attributes the defeat uses, essential goodness, unchangeableness, inability to lie, are scriptural before they are philosophical: Exodus 34:6-7, Malachi 3:6, Titus 1:2, Hebrews 6:18, James 1:17. The philosophy systematises the text rather than replacing it.
  • "Even granting all this, you have not shown God exists, only that theistic ethics is coherent." Correct, and that is all a defeater claims. The constructive case is at Moral Argument. What this page establishes is that the oldest objection to that argument does not defeat it.

Tactical opening and closing

Opening line: "Before I answer, tell me which half worries you. That morality would be arbitrary, or that God would be unnecessary. They are different objections and they need different answers, and the reason the dilemma feels strong is that it lets you switch between them."

Closing landing strip: "The dilemma was built for gods who might have been cruel and happened not to be. Ask it about a being whose goodness is not one of his features but his whole nature, and it has nothing to catch on. Then ask it about your own foundation and watch it do the same work there. That is the tell. An objection that dissolves every answer is not evidence against one of them."

See also

Common questions this page answers

Q: How do you answer the Euthyphro dilemma?

By denying that it is exhaustive. The fork forces a choice only if moral goodness and moral obligation are the same property. Christianity grounds goodness in God's nature, so morality is not arbitrary, and grounds obligation in God's command, so God is not a redundant middleman reporting an external standard. Both horns attack one half of a position that holds both halves together.

Q: Could God have made torturing children morally good?

No, and not because a rule above him forbids it. God is essentially loving and just, so a command to torture for its own sake is not an option he declines but no option at all. Scripture makes the same kind of statement in a different register when it says God cannot lie (Titus 1:2, Hebrews 6:18), locating the limit in his nature rather than in his power.

Q: Isn't saying "goodness is God's nature" just moving the problem back a step?

Only if goodness is a property God happens to have, which would invite the question why that property is good. Classical theism denies it: God does not possess goodness, God is goodness, which is what the doctrine of divine simplicity states. Every account of morality has to stop somewhere, and stopping at a being whose nature could not have been otherwise is a better terminus than stopping at a fact that merely happens to hold.

Q: Does the Euthyphro dilemma work against atheism too?

Yes, in its generalised form. Whatever an atheist puts at the foundation of ethics, wellbeing, flourishing, brute necessary moral facts, a social contract, the same question applies: is it good because of something further, in which case it was not the foundation, or is it just brutely good, in which case it is arbitrary in exactly the way the first horn condemns. An objection that dissolves every possible position is not evidence against one of them.

Q: Who came up with the Euthyphro dilemma and who uses it today?

It comes from Plato's dialogue Euthyphro, around 399 to 395 BC, where Socrates asks whether the holy is holy because the gods love it or the gods love it because it is holy. Bertrand Russell redirected it at monotheism in Why I Am Not a Christian (1927), and it is now standard in Michael Martin, Richard Dawkins, and most popular atheist debating. Its serious academic form, pressed by Erik Wielenberg and others, is the regress objection rather than the arbitrariness objection.

Q: If morality depends on God's commands, how did people know right from wrong before the Bible?

The theory explains what obligation consists in, not how anyone discovers it. Commands are promulgated through conscience and through created human nature, not only through written revelation. Paul argues exactly this in Romans 2:14-15, saying that Gentiles who do not have the law show its work written on their hearts. Christians who claim atheists cannot tell right from wrong are contradicting their own scripture.