Skip to content
Read • Question • ConnectAnthony’s notes & researchReturn with a new question
Anthony’s NotesA personal field guide
From the notebook

Logic without God

Philosophers have offered a lot of ways to explain logic that don’t require a necessary God at all.

1. Logical Platonism / Realism about Abstracta

Core idea:
Logical truths are about abstract objects or structures (propositions, sets, numbers, truth-values). Those things exist necessarily and independently of us, but not as divine thoughts—they just exist.
Key figures:

  • Gottlob Frege
    • Thought of the laws of logic as “laws of truth”, not laws of thinking.
    • Logical truths hold in a timeless, objective “third realm” – not in our heads, not in physical space, and not in God’s mind.
  • Bertrand Russell (early)
    • Treated logic and mathematics as describing an abstract realm of entities (classes, relations, etc.) that exist independently of anything material or divine.
  • Kurt Gödel
    • Explicit Platonist about mathematics: mathematical and logical objects are discovered, not created.
      How this grounds logic without God:
  • Logic is true because abstract structures are the way they are.
  • The law of excluded middle (P ∨ ¬P) is necessarily true because in the space of possible propositions, there simply is no third truth value.
  • No appeal to a mind (human or divine) is needed; the necessity is built into the structure of the abstract realm itself.

2. Kantian / Transcendental Accounts (Without a Theistic Tie-In)

Core idea:
Logic is grounded in the conditions of possibility of thought or experience. It’s not about God’s nature but about what’s required for any rational mind to have coherent experience.
Key figures:

  • Immanuel Kant (personally a theist, but his account of logic doesn’t need God)
    • Logic expresses the forms of thought that any rational agent must use.
    • Logical laws are necessary because without them you literally can’t have a unified, self-conscious experience of the world.
  • Neo-Kantians / phenomenologists (Husserl, etc.)
    • Husserl: logical laws are eidetic (essential) structures of meaning and intentionality.
    • They’re true because of what it is to be a meaning-bearing act or a rational subject, not because God decrees them.
      How this grounds logic without God:
  • Logic is necessary because any rational subject must think in accord with these structures to count as thinking at all.
  • Logical laws are “transcendentally necessary,” not “grounded in a divine mind.”

3. Logic as Norms of Thought / Reasoning (Non-theistic)

Core idea:
Logic is the system of norms governing correct reasoning and inference. It’s not primarily about metaphysical objects, but about what it is to reason well.
Key figures:

  • Boole, early logicians: logic as the “laws of thought” (though Frege later criticized this).
  • Wilfrid Sellars, Robert Brandom:
    • Logic codifies inferential roles—what follows from what, what counts as a good move in reasoning and discourse.
    • “Being committed to P” rationally commits you to Q, and logic captures those patterns.
      How this grounds logic without God:
  • Logical laws aren’t “divine thoughts.” They are the rules implicit in any practice of giving and asking for reasons.
  • Their authority comes from what it is to count as rational, not from what God wills.

4. Conventionalism / Linguistic Framework Views

Core idea:
Logical truths are true by convention given the linguistic or conceptual framework we adopt. They are “necessary” because of how we’ve set up our language, not because of God.
Key figures:

  • Rudolf Carnap
    • You choose a “linguistic framework” (with its rules, including logic).
    • Within that framework, logical truths follow analytically and are necessary relative to those rules.
  • Logical positivists more broadly
    • Took many logical and mathematical truths to be analytic: true in virtue of meanings, definitions, and conventions.
      How this grounds logic without God:
  • Logical necessity = framework necessity.
  • Once you fix the rules of your language or system, certain statements (like P ∨ ¬P) are inescapably true.
  • There’s no metaphysical grounding needed, divine or otherwise; it’s a matter of the conceptual scheme we’re using.

5. Formalism and Structuralism

Core idea:
Logic is about formal structures and symbol manipulation, not about any specific realm of objects (material or divine).
Key figures:

  • David Hilbert (formalism)
    • Logic is about operating on strings of symbols according to rules.
    • The content doesn’t matter; it’s the form that counts.
  • Structuralists (various logicians and philosophers of math)
    • Logical truths hold in virtue of the fact that all structures of a given kind have certain properties.
    • It’s not about a particular “thing” but about relationships that hold across all possible structures of that form.
      How this grounds logic without God:
  • Logic is necessary because no matter what the objects are, structures with that form behave that way.
  • Again, nothing about an omnipotent/omniscient being is required; it’s structural necessity.

6. Quinean Naturalism & “Anti-Exceptionalism”

Core idea:
Logic is part of our overall scientific picture of the world. It’s justified the same way other theories are: by how well it helps us predict, explain, and systematize experience.
Key figures:

  • W.V.O. Quine
    • Logic is not “beyond revision”; in principle, even logic could be revised if enough pressure came from empirical science.
    • Our beliefs form a “web,” and logic sits near the center, but it’s still part of that web.
  • Contemporary anti-exceptionalists about logic
    • People like JC Beall, Greg Restall, Ole Hjortland: say theories of logic are evaluated just like scientific theories—by simplicity, explanatory power, coherence with other theories, etc.
      How this grounds logic without God:
  • Logic is justified by naturalistic virtues (coherence, fruitfulness, simplicity).
  • It’s not grounded in a divine mind; it’s grounded in its role in our best overall theory of the world.

7. Logical Pluralism

Core idea:
There might not even be one uniquely correct logic. Different logics (classical, intuitionistic, relevant, paraconsistent) can each be correct in different contexts.
Key figures:

  • Jc Beall & Greg Restall (“Logical Pluralism”)
    • Argue that multiple consequence relations can satisfy intuitive criteria for what it is to be a valid inference.
      How this undermines the “logic ⇒ God” move:
  • If logic itself is plural, it’s harder to say “logic as such requires God.”
  • It starts to look more like we choose logics based on pragmatic and theoretical considerations, not metaphysical commitments to a necessary divine mind.

8. “Autonomous” Theism (Side Note)

Even many theistic philosophers don’t ground logic in God in the strong presuppositionalist way:

  • Aquinas, classical theists: often see logic as grounded in the nature of being or truth, not in a brute “will” of God.
  • A theist might say “God knows all necessary truths,” but logic’s necessity doesn’t depend on that—God’s knowledge tracks their necessity rather than causing it.
    So even within theistic traditions, it’s very common to treat logic as autonomous from theology.

9. How this answers “Does logic need a necessary God?”

Short answer: No, not by mainstream philosophical standards.
You can ground logic in, for example:

  1. Non-theistic Platonism – logical facts are necessary facts about abstract structures.
  2. Kantian/Transcendental conditions – logic is required for any rational thought or experience.
  3. Norms of reasoning – logic is built into what it is to count as reasoning correctly.
  4. Conventions/frameworks – logic is “baked into” the language and rules we adopt.
  5. Formal structure – logic is about form and symbol manipulation, independent of metaphysics.
  6. Naturalism / anti-exceptionalism – logic is justified like a scientific theory, by its success and coherence.
    None of these require that logical truths be divine thoughts or that their necessity depend on a necessary being.
    If you want, next step I can:
  • Help you craft a targeted response specifically against the “logic ⇒ God” style argument, using one or two of these accounts (e.g. Fregean Platonism vs Quinean naturalism) in a way that’s tight and debate-ready.

Debate Templates

Alright, let’s arm you.
I’ll give you:

  1. The standard “logic ⇒ God” argument in premise form
  2. A clean counter-strategy
  3. Two non-theistic accounts you can use (Fregean Platonism + Kantian/transcendental)
  4. Debate-ready scripts (short, medium, long)
  5. How to answer the most likely pushbacks

1. The standard “logic ⇒ God” argument (cleaned up)

Most presuppositional / “logic presupposes God” arguments can be made precise like this:

  1. P1. Laws of logic are necessary, universal, and non-physical.
  2. P2. Whatever has those properties must be grounded in a necessary, universal, non-physical mind.
  3. P3. The only suitable candidate for such a mind is God (omnipotent, omniscient, necessary).
  4. C. Therefore, the laws of logic are grounded in God’s mind; without God, logic could not exist.
    In conversation, they rarely state P2 and P3 explicitly. They just bounce between:
  • “Logic is absolute / necessary / immaterial”
  • “So it must be in a necessary mind”
  • “Therefore, you presuppose God whenever you use logic”
    Your job is to grant logic but attack P2 and P3 hard.

2. Core counter-strategy

Your main moves:

  1. Concede logic. Deny that it needs God.

    “I fully accept the law of non-contradiction and excluded middle. I’m rejecting your _further claim_that necessary truths require a divine mind.”

  2. Demand the missing premise.

    “Please spell out the argument from ‘logic is necessary’ to ‘there must be a necessary divine mind’. I want the premises explicitly.”

  3. Offer a rival account.
    Give a concise non-theistic grounding:
    • Option A: Platonism about logical truths (Frege-style)
    • Option B: Transcendental / conditions of thought (Kant-style)
  4. Shift the burden of proof.

    “Why is your ‘God-mind’ explanation better than Platonism or a transcendental account? What does it explain that they don’t?”
    You are not trying to prove that your account is the only one. You just need to show:

  • There are coherent alternatives,
  • So logic does not force the conclusion “God exists.”

3. Two non-theistic bases for logic you can use

A. Fregean-style Platonism (simple version)

  • Logical truths are about abstract structures: propositions, truth-values, relations like “follows from”, etc.
  • Those are necessary and mind-independent: they don’t come into being when minds appear; minds just _grasp_them.
  • So:

    Laws of logic are necessary because abstract logical structures could not have been otherwise.
    They don’t need any mind—human or divine—to make them true.
    This keeps all the “necessary/absolute” flavor, but removes God from the picture.

B. Kantian / transcendental account (no theology needed)

  • Logic expresses the forms of thought any rational agent must use to have coherent beliefs or experience.
  • If you want:
    • beliefs with content,
    • inferences from reasons to conclusions,
    • any stable notion of “true” and “false”
      …then you’re already committed to basic logical laws.
      So:

      Logic is necessary not because God thinks that way, but because any rational thinker at all must think that way to count as reasoning.
      Again, God is optional. You can be a theist or atheist and still accept this.

4. Debate-ready scripts

4.1 Ultra-short (10–20 seconds)

Use when they first drop “without God, you can’t account for logic”:

“I accept logic completely. I just deny your extra step that necessary logical truths need a divine mind. There are non-theistic accounts—like Fregean Platonism and Kantian transcendental views—where logic is necessary and mind-independent without being God’s thoughts. So logic doesn’t force the conclusion ‘God exists’.”

4.2 Short, focused (30–60 seconds)

Good when they push “where do the laws of logic come from?”

“Here’s my view in a sentence:

Logical truths are necessary features of abstract structures or of rational thought itself; they don’t need a divine mind to ‘host’ them.

You’re sneaking in an extra premise:

  1. Laws of logic are necessary and non-physical.

  2. Therefore they must be thoughts in a necessary mind.

That’s exactly what I reject. Fregean Platonism says logical truths are about an abstract realm that simply is the way it is—minds discover those truths, they don’t create them. Kantian views say logic is built into what it is to think at all. Neither of those pictures requires a God. You’d need an argument that your ‘logical truths as divine thoughts’ story is better than these alternatives, and that’s the step I haven’t seen you justify.”

4.3 Longer explanation (for when you actually get time)

“Let me lay this out clearly.

I accept classical logic: law of non-contradiction, excluded middle, etc. I agree they’re necessary and they don’t depend on physical objects.

Where we disagree is your extra claim that anything necessary and non-physical must be grounded in a divine mind. That’s not logic; that’s a separate metaphysical thesis.

One alternative is Fregean-style Platonism: logical truths are truths about abstract structures—like the structure of propositions, truth-values, and consequence relations. Those structures are necessary and independent of any mind. Minds, including God’s if he exists, simply grasp those truths; they don’t make them true.

Another alternative is a transcendental view: logic is built into what it is to be a rational thinker at all. If you want beliefs, inferences, and any notion of error versus truth, you presuppose some logical norms. That doesn’t require that those norms be the mental contents of an omnipotent being; it just requires that any rational agent operate within them.

So we have coherent, well-developed accounts where logic is necessary, objective, and not dependent on a divine mind. Until you show why those are incoherent or inferior to your theistic story, you haven’t shown that using logic commits me to God—you’ve only shown that both of us are committed to logic.”

5. Handling common pushbacks

Pushback 1: “Abstract objects? That’s just atheistic faith.”

Reply:

“This isn’t about faith; it’s about explanatory options.

  • You say: necessary logical truths = God’s thoughts.

  • I say: necessary logical truths = features of abstract structures, or conditions on rational thought.

Both are metaphysical pictures. You don’t get to declare yours ‘non-faith’ and mine ‘faith’ by fiat. To show yours is better, you’d need to argue that abstract or transcendental accounts are incoherent or explanatorily worse. Just asserting ‘they need a mind’ is the very premise I’m questioning.”

Pushback 2: “But necessary truths need a necessary mind.”

Reply:

“That’s exactly the contentious premise. Why think necessary truths require any mind at all?

  • Frege: laws of logic are ‘laws of truth’, not laws of any thinker’s psychology. They’re about how truth works, not how a particular mind works.

  • Platonists more broadly: necessary truths are true in virtue of the structure of possibilities, not because someone thinks them.

If you want to insist ‘no, they must be thoughts’, then give me the argument from ‘necessary propositions’ to ‘must be mental contents’. Right now that’s just being assumed.”

Pushback 3: “Without God, you can’t justify the reliability of your logic faculties.”

Reply:

“Careful: there are two different questions:

  1. What are logical truths in themselves?

  2. How do we know our reasoning tracks those truths?

I’ve been talking about (1): what grounds logic. You’re now raising (2): epistemology of our logical faculties. Even on your view, you still need an argument that ‘God exists’ ⇒ ‘therefore our reasoning is reliable’—and that’s not trivial.

From my side, I can say: we trust logic because it is part of the minimal framework needed for reasoning, inquiry, and even raising skeptical questions in the first place. Any attempt to globally doubt logic uses logic and so undercuts itself. That’s a transcendental justification that doesn’t need God in the middle.”

Pushback 4: “If you use logic to argue against God, you’re presupposing God.”

Reply:

“No—I’m presupposing logic.
You are adding the further claim that logic = God’s thoughts. That’s the very claim I’m questioning.

Saying ‘you’re using logic, therefore you presuppose God’ is like saying ‘you’re using math, therefore you presuppose that numbers are divine thoughts.’ No—using a tool doesn’t automatically commit me to your favorite metaphysical story about the tool. I’m happy to presuppose logic; I’m not granting your extra step that logic presupposes God.”

If you want, I can next:

  • Turn this into a one-page Obsidian-friendly “debate cheat sheet” with headings and bullet points you can glance at during a call or stream, or
  • Write a mock dialogue where you practice these replies against a presuppositionalist so you have the rhythms ready.

Good, let’s round out your toolkit with those three: Conventionalism / Framework views, Formalism / Structuralism, and Logical Pluralism—all as ways to block “logic ⇒ God.”
I’ll keep the same pattern:

  • What the view says (in your own words)
  • How it answers “Where do the laws of logic come from?”
  • Debate-ready scripts
  • Likely pushbacks + replies
    You can mix and match them depending on who you’re talking to.

1. Conventionalism / Linguistic Framework Views

Core idea (simple)

  • Logical truths are true in virtue of rules we adopt for our language or conceptual scheme.
  • Once you fix a framework—e.g. classical logic with certain inference rules—some statements become analytically true within that framework.
  • Logical necessity is framework necessity, not “whatever God is thinking.”

How this answers “Where do laws of logic come from?”

  • They “come from” the rules of the game we’re playing:
    • We define connectives like “and”, “or”, “not” with certain introduction and elimination rules.
    • Given those rules, some inferences are valid by definition.
  • Example: in classical logic, “P or not P” is guaranteed by how “not” and “or” behave in the system.
  • You don’t need a divine mind to make the inference valid any more than you need a divine mind to make chess rules valid: once we’ve fixed the rules, some moves are simply illegal or legal.

Debate-ready script (short)

“On a conventionalist or framework view, logical laws are true given the rules of the conceptual or linguistic framework we’re using. Once we’ve fixed what ‘not’, ‘and’, ‘or’ mean and how inference works, some statements—like ‘P or not P’—are true by definition. That’s a matter of how the framework is set up, not God’s psychology. You can still ask which framework is best, but that’s a separate question from ‘Does logic require a divine mind?’”

Debate-ready script (longer)

“Think of logic as partly like the rules of a language or a game. When we adopt a classical logical framework, we commit ourselves to certain meaning rules: what ‘not’ means, what ‘and’ means, what counts as a valid inference. Within that framework, some inferences and some statements become analytically true—they follow just from the rules we’ve adopted.

That doesn’t make them arbitrary; we prefer frameworks that are fruitful, coherent, and useful for reasoning about the world. But their validity doesn’t come from a divine mind contemplating them. It comes from the role they play in our conceptual scheme. So the step from ‘logic is necessary in this framework’ to ‘therefore it must be grounded in God’s mind’ is simply not needed.”

Likely pushback: “So logic is arbitrary or relative?”

Reply:

“Not arbitrary. We evaluate frameworks by how well they let us reason, predict, and coordinate. Some systems collapse into triviality, others lead to contradictions or chaos, and some—like classical logic—work extremely well for many purposes.

Saying ‘valid in this framework’ isn’t the same as ‘anything goes.’ It’s saying the necessity comes from the structure of the framework, not from what a divine mind happens to think. You still owe me an argument that ‘necessary in a framework’ must be ‘necessary as a divine thought.’”

2. Formalism and Structuralism

Core idea (simple)

  • Formalism: Logic is about manipulating symbols according to rules, independent of any interpretation.
  • Structuralism: Logic describes patterns and structures that hold in all structures of a given kind, regardless of what the particular objects are.
  • The necessity of logic is about form, not about a particular metaphysical entity (including God).

How this answers “Where do laws of logic come from?”

  • They arise from the invariant features of the formal structures we’re considering.
    • For example: in any structure where we interpret “¬” as negation and “∨” as inclusive disjunction, the schema “P ∨ ¬P” will be valid.
  • The necessity is structural: across all models with those operations, certain formulas hold.
  • No extra metaphysical story—like “God’s mind”—is required. The structures and rules themselves guarantee the result.

Debate-ready script (short)

“On a formalist/structuralist view, logic is about the behavior of symbols and structures. Once you fix the formal system—its rules and its operators—some formulas are valid in every admissible structure. That’s what makes them necessary. Their necessity is structural, not psychological. You don’t need a divine mind; you just need the fact that all structures of that form behave in that way.”

Debate-ready script (more detailed)

“Formalists treat logic as operations on symbols: we have rules, we have formulas, and we see which formulas can be derived from which. Structuralists emphasize that logical truths are those that hold in all structures of a certain kind—no matter what the objects are.

The key point is: once you fix the formal apparatus, the validities are locked in. ‘P or not P’ is valid because in every structure where ‘not’ and ‘or’ behave in the classical way, that formula is true under every interpretation. That’s just how the structure works.

So the necessity lives in the structure of the formal system and its models, not in a divine consciousness. God can know those facts if he exists, but they don’t depend on God to be true.”

Likely pushback: “But where do the structures themselves come from?”

Reply:

“That’s a metaphysical question about what structures are—not about whether they require a divine mind. A structuralist can be a Platonist (structures exist as abstracta), a nominalist (we talk about them in terms of patterns of things), or a naturalist (they’re part of our best scientific theories). None of those require grounding in a divine psychology.

Your move is:

  1. Structures are necessary.

  2. Necessary things must be God’s thoughts.
    It’s (2) I’m rejecting. We can describe structures and their invariances without importing God into the picture.”

3. Logical Pluralism

Core idea (simple)

  • There isn’t a single uniquely correct logic for all contexts.
  • Different logics—classical, intuitionistic, relevant, paraconsistent—can all count as correct relative to different standards or domains.
  • Logic is more like a toolbox than a single, God-given operating system.

How this undermines the “logic ⇒ God” move

Presuppositional arguments usually assume:

  • One logic (classical)
  • One set of laws (LEM, non-contradiction, etc.)
  • One metaphysical grounding (God)
    Pluralism says:
  • There are multiple legitimate consequence relations.
  • What counts as a valid inference can vary with:
    • The underlying semantics (truth conditions, proof theory)
    • The phenomena we’re modeling (constructive proofs vs classical proofs, inconsistent data, etc.)
      That makes it much harder to say:

      “Logic as such is grounded in one unique divine mind.”
      because you first have to show:

  • Why your preferred logic is the uniquely correct one, and
  • Why its status as “correct” implies “grounded in God.”

Debate-ready script (short)

“Logical pluralism holds that there are multiple legitimate logics—classical, intuitionistic, relevant, paraconsistent—and that each can be correct in different settings. If that’s true, then the idea that ‘logic’ as a single monolithic thing must be grounded in God is already on shaky ground. Before you get to ‘God’, you’d need to show why your specific choice of classical logic is uniquely correct and why its correctness requires a divine mind, instead of just being the best tool for certain purposes.”

Debate-ready script (expanded)

“Presuppositional arguments usually treat ‘logic’ as if it were one simple package: law of excluded middle, law of non-contradiction, and so on. But in modern philosophy of logic, there’s a strong case for logical pluralism: different logics can all be legitimate.

For constructive mathematics, intuitionistic logic works better; for dealing with inconsistent but non-trivial theories, paraconsistent logics are useful; classical logic is great in many everyday and scientific contexts.

Once you see logic as a toolbox rather than a single God-given system, the inference ‘we use logic, therefore we presuppose this one divine mind with this one classical logic’ becomes extremely dubious. At best, you’d have to argue for:

  1. Why there’s exactly one true logic;

  2. Why it is the classical one;

  3. Why its correctness can only be explained by your theistic story.
    That’s three major steps, and none of them are established by merely pointing out that we reason logically.”

Likely pushback: “Multiple logics? That’s relativism or incoherence.”

Reply:

“Pluralism doesn’t say ‘anything goes’; it says different logics answer to different standards and purposes. For example:

  • Intuitionistic logic requires constructive proofs.

  • Paraconsistent logics avoid explosion in the presence of contradictions.
    They’re constrained, rigorous systems, not arbitrary.

The point isn’t that logical consequence is meaningless; the point is that there may be more than one legitimate consequence relation. That’s enough to break the simple ‘one logic, one divine mind’ picture presuppositionalists rely on. Your claim that logic presupposes God already assumes a single, fixed, uniquely correct logic—pluralism calls that assumption into question.”

4. How to combine these in an actual debate

When someone says: “Without God you can’t account for logic,” you can run this layered response:

  1. Concede logic, deny the God-step.

    “I accept logic. I deny the extra claim that necessary logical truths must be God’s thoughts.”

  2. Drop multiple alternative accounts, quickly.

    “There are several non-theistic explanations:

    • Platonism: logical truths are necessary facts about abstract structures.

    • Transcendental views: logic is built into what it is to think at all.

    • Conventionalism: logic is true-by-rule inside a framework.

    • Formalism/Structuralism: logic tracks structural invariances across models.

    • Logical pluralism: there may be more than one legitimate logic.
      None of these require God.”

  3. Then zoom in on whichever they attack.
    If they go after “conventionalism,” you use that section.
    If they claim “pluralism is incoherent,” you use the pluralism section.
  4. Keep hammering the burden of proof.

    “You don’t get ‘God’ for free out of ‘logic exists’. You need separate arguments for:

    • why necessary truths must be mental

    • why that mind must be divine

    • why your specific logic is uniquely correct
      And there are competing, coherent accounts that don’t involve God at all.”

    If you’d like, I can now condense all of this into a single Obsidian-ready “Logic Without God – Cheat Sheet” with headings and bullet points you can glance at mid-debate.

Debate Cheat-Sheet

Here’s a one-page-ish Obsidian cheat sheet you can drop straight into your vault.

Logic Without God – Debate Cheat Sheet

0. Quick Stance

  • I affirm logic.
  • I deny that logical necessity requires a divine mind.
  • There are multiple non-theistic accounts of logic that are coherent and philosophically serious.
    Use this line often:

    I’m not denying logic; I’m denying your extra claim that necessary logical truths must be God’s thoughts.

1. Map of Non-Theistic Accounts (One-Liners)

  • Platonism (Frege):
    Logical truths are necessary facts about abstract structures, not about any mind.
  • Transcendental / Kantian:
    Logical laws are conditions for any rational thought or experience, not divine psychology.
  • Norms of Reasoning (Sellars/Brandom):
    Logic codifies the rules of correct inference in our practice of giving and asking for reasons.
  • Conventionalism / Framework Views (Carnap):
    Logical necessity is truth-by-rule within a chosen linguistic or conceptual framework.
  • Formalism / Structuralism (Hilbert, structuralists):
    Logic is about symbol manipulation and invariances across structures.
  • Naturalism / Anti-exceptionalism (Quine, Beall, Restall, Hjortland):
    Logic is justified like a scientific theory—by fit, simplicity, and usefulness.
  • Logical Pluralism (Beall & Restall):
    There may be more than one correct logic; logic is a toolbox, not a single divine OS.
    You don’t need to prove one of these is The Truth™.
    You just need to show that “logic ⇒ God” is not forced, because there are live alternatives.

2. Core Theistic Argument You’re Answering

Most “logic ⇒ God” lines reduce to:

  1. Laws of logic are necessary, universal, non-physical.
  2. Whatever has those properties must be grounded in a necessary, universal, non-physical mind.
  3. The only such mind is God.
  4. Therefore, laws of logic presuppose God.
    Your moves:
  • Grant (1) in a classical context.
  • Attack (2) and (3) as unsupported metaphysical assumptions.
  • Offer rival explanations for (1) that don’t need a divine mind.

3. Non-Theistic Accounts (Debate-Ready Summaries)

3.1 Platonism (Frege-Style)

Idea:
Logical truths are about an abstract realm of propositions, truth-values, and relations.

  • These are necessary and mind-independent.
  • Minds discover them, don’t create them.
    Soundbite:

    Logical laws are necessary because abstract logical structures couldn’t have been otherwise. They’re not anyone’s thoughts, human or divine. God can know them if he exists, but they don’t depend on him to be true.

3.2 Transcendental / Kantian

Idea:
Logic expresses the forms of thought any rational agent must use.

  • If you want beliefs, inferences, and a stable notion of truth vs error, you’re already committed to basic logical norms.
  • Logic is built into rationality, not into God’s psychology.
    Soundbite:

    Logic isn’t true because God thinks that way; it’s true because any rational thinker at all must respect those norms to count as reasoning. That’s a condition on rational thought, not a proof of a divine mind.

3.3 Norms of Reasoning

Idea:
Logic = norms governing good inference.

  • Validity = what you are committed to if you accept certain premises.
  • Logic codifies the rules implicit in our practice of giving and asking for reasons.
    Soundbite:

    Logical laws are just the most general rules of correct reasoning. Their authority comes from what it is to reason, not from what a particular being is thinking.

3.4 Conventionalism / Linguistic Frameworks

Idea:
Logical truths are necessary relative to a framework.

  • Fix rules for your connectives and inference.
  • Some statements (e.g. “P or not-P” in classical logic) are true by definition in that framework.
    Soundbite (short):

    On a framework view, ‘P or not-P’ is necessary because of how we’ve defined ‘not’ and ‘or’ and how our inference rules work. That’s a fact about the framework, not about God’s mental life.
    If challenged as relativist:
    It’s not “anything goes.” We prefer frameworks that are coherent, fruitful, and non-trivial. Classical logic wins in many contexts. But the necessity lives in the rules and structure of the framework, not in a divine mind.

3.5 Formalism / Structuralism

Idea:

  • Formalism: Logic is symbol manipulation according to rules.
  • Structuralism: Logical truths are invariants across all structures of a certain kind.
    Core point:
  • Once you fix the formal system, some formulas are true in every model of that system.
  • That’s what makes them “necessary.”
    Soundbite:

    Logic’s necessity comes from structural facts: in every admissible structure where the operators behave a certain way, some formulas are always true. That’s a property of structures, not of a particular mind.
    If they ask “where do structures come from?”
    That’s a separate metaphysical question, and it doesn’t automatically point to God. You can be a Platonist about structures, a naturalist, or a nominalist. None of those options require “these are God’s thoughts.”

3.6 Naturalism / Anti-Exceptionalism

Idea:
Logic is part of our overall scientific picture of the world.

  • We choose logics by the same criteria as other theories:
    • Simplicity
    • Explanatory power
    • Fit with our best science
      Soundbite:

      On a naturalistic view, logic earns its place by how well it helps us model and predict, just like any other theory. It’s central and extremely stable, but it doesn’t need a supernatural backing—just its success in practice.

3.7 Logical Pluralism

Idea:
There is more than one legitimate logic.

  • Classical, intuitionistic, relevant, paraconsistent, etc.
  • Different consequence relations can all be correct under different standards and domains.
    Soundbite:

    If logical pluralism is right, then there isn’t just one “logic” to ground. There are multiple equally legitimate logics for different purposes. That already undercuts the idea that there’s one single divine mind whose thoughts they must be.
    If they say that’s incoherent:
    It’s no more incoherent than using different geometries (Euclidean vs non-Euclidean) for different tasks. The point is: once pluralism is on the table, ‘we use logic, therefore you presuppose this one divine logic’ is no longer credible.

4. Stock Debate Lines

4.1 Baseline Reply to “Without God, you can’t account for logic”

I fully affirm logic. I just deny your extra step that necessary logical truths must be thoughts in a divine mind.
There are non-theistic accounts—Platonism, transcendental views, framework views, formalism, pluralism—where logic is necessary and objective without being “God’s psychology.”
So using logic doesn’t commit me to your theology.

4.2 Force Them to State the Missing Premise

Please lay out the argument explicitly:

  1. Laws of logic are necessary and non-physical.

  2. Therefore, they must be contents of a necessary, non-physical mind.

  3. That mind is God.

It’s (2) and (3) I’m rejecting. That’s not logic; that’s your metaphysics. I want to see the argument for those steps.

4.3 Using Alternatives as a Wedge

Even if I grant that logic is necessary and not physical, that doesn’t force God.

  • Platonism: necessary features of abstract structures.

  • Transcendental view: conditions of rational thought.

  • Framework view: analytic truths within a system.

  • Structuralism: invariances across all models.

  • Pluralism: more than one legitimate logic.

You have to show those are impossible or inferior before claiming logic “presupposes” your God.

5. Common Pushbacks & Ready Answers

5.1 “You’re using logic to argue against God, so you presuppose God.”

I’m presupposing logic, not your story about logic.
You’re adding the further claim that logical truths = God’s thoughts. That’s exactly what I’m questioning.
Using math doesn’t commit me to ‘numbers are divine thoughts’; using logic doesn’t commit me to ‘logical truths are divine thoughts.’

5.2 “Without God, you can’t trust your logical faculties.”

There are two issues here:

  1. What logical truths are (their metaphysical basis).

  2. How reliable our faculties are in tracking them.

We’ve been discussing (1). Even on your view you still need an argument from “God exists” to “therefore our cognitive faculties are reliable”.
From my side, I can give a transcendental justification: you can’t coherently doubt logic wholesale, because any global doubt about logic has to use logic and undermines itself.

5.3 “Your alternatives are just faith too.”

No, they’re alternative metaphysical explanations of the same data:

  • You say: necessary truths must be divine thoughts.

  • I say: necessary truths can be structural, abstract, or transcendental.

Both positions need arguments. You don’t turn yours into “non-faith” and mine into “faith” just by labelling. You still owe an argument that your God-account is better than the non-theistic ones on offer.

5.4 “Only a personal, necessary mind can ground immaterial, necessary truths.”

That’s just restating the premise in different words.
Why can’t:

  • abstract structures

  • conditions of rationality

  • or formal invariances
    play that role?

Until you rule those out, “immaterial, necessary truths require a divine person” is exactly what’s in dispute, not an obvious starting point.

You can now:

  • Use the map in §1 to decide which view to lean on in any given debate.
  • Use §4 + §5 as your go-to scripts.
  • Drop in specific accounts from §3 when you want to go deeper.

Euthyphro-style dilemma Argument

The one that bites the hardest, in my view, is a Euthyphro-style dilemma for logic:

Are the laws of logic true because God thinks/wills them,
or does God think them because they are true?

Whichever horn you pick, “logic = from God” stops doing what it’s supposed to do.

1. The Euthyphro-style dilemma for logic

Option 1: Logical laws are true because God thinks/wills them

On this view:

  • Before God’s thoughts/will, there were no necessary logical truths.
  • God could, in principle, have thought differently.
    That leads to ugly consequences:
  1. Logic becomes contingent, not necessary
    If “P ∧ ¬P is impossible” is true just because God thinks it, then:
    • If God had thought differently, contradictions might have been okay.
    • So the law of non-contradiction is not necessary in itself; it’s a product of God’s contingent mental life.
      But presuppositionalists and classical theists usually want logical laws to be absolutely necessary, not “whatever God happens to prefer.”
  2. Arbitrary necessity
    If God can’t think differently, then we’ve just moved the problem:
    • Why can’t God think “P and not-P” is fine?
    • There must be something about reality, or about logical space, that constrains God’s mind.
      In that case, the explanation becomes:

      “Logic is necessary because that’s just how it has to be, and God also can’t think otherwise.”
      But that means God is no longer the explanation, just a being who also conforms to logic.
      So on this horn, either:

  • Logic is contingent on God’s will (bad for necessity), or
  • Logic constrains God, so God doesn’t explain logic—logic explains what God can or can’t think.
    Either way, “logic = from God” doesn’t really ground logic’s necessity.

Option 2: God thinks logical truths because they are true

Here the theist wants to say:

  • Logical truths are necessary.
  • God, being omniscient, knows all of them infallibly.
  • So logic is “in God’s mind,” but not arbitrarily willed.
    That sounds nicer, but it changes the direction of dependence:
  • Logical truths are not true because they’re in God’s mind.
  • They are in God’s mind because God’s mind perfectly tracks what’s independently true.
    Then logic is not “from” God in the grounding sense. God is at best:
  • A perfect knower of necessary truths, not their source.
  • A mind that fully reflects logical reality, not the thing that makes it be that way.
    So if you take this horn seriously:

    You can fully account for logical necessity without mentioning God at all.
    God becomes an optional add-on who happens to know all the logical truths.
    That undermines the presuppositional claim “you can’t account for logic without God.”

2. Why this is such a strong objection

This dilemma attacks the core motivation of “logic = from God”:

  • They want God to be indispensable for logic:
    • No God → no logic.
  • The dilemma shows:
    • If logical laws depend on God’s will/thought: they’re not genuinely necessary.
    • If God’s mind tracks logical laws because they are necessary: logic doesn’t need God; God needs logic (to be omniscient and non-contradictory).
      So either:
  1. You break the necessity and universality of logic, or
  2. You make God explanatorily redundant.
    In both cases, the slogan “without God you can’t have logic” collapses.

3. How to compress this in a debate

Here’s a tight version you can actually use live:

You say logic comes from God. I have a dilemma for you:

Are logical laws true because God thinks or wills them, or does God think them because they’re true?

  • If they’re true because God thinks them, then they’re contingent on God’s mental life—God could have thought contradictions were fine—and logic isn’t absolutely necessary.

  • If God thinks them because they’re true, then their truth doesn’t depend on God; God is just a perfect knower of independently necessary logical truths. In that case, logic doesn’t need God as its ground.

Either way, “logic = from God” doesn’t do the job you want it to: it either makes logic non-necessary or makes God explanatorily redundant.
If you want, I can pair this with a brief “positive” alternative (e.g. a 2–3 line Platonist or structuralist account) so you have both the attack (“your story fails”) and the fallback (“here’s how I’d ground logic instead”).

Why its most effective argument

Because it attacks the exact joint where “logic comes from God” is most vulnerable, and it does it in a way that:

  • doesn’t depend on picking one particular secular theory of logic,
  • is very simple to state,
  • and forces the theist into a lose–lose choice.
    The seven other views we went through (Platonism, Kantian, conventionalism, formalism, pluralism, etc.) are mainly:

    Alternative explanations of logic that don’t need God.
    Those are great for showing God isn’t necessary as an explanation. But each one is, by itself:

  • a competing theory (which they can try to attack as “wrong”), and
  • something they can brush off with “that’s just your faith/metaphysics.”
    The Euthyphro-style dilemma is different. It’s not “here’s my rival theory of logic.” It’s:

    Your own theory can’t be made coherent.
    Let me spell out why that’s especially strong.

1. The other 7 approaches: what they do (and don’t) give you

All the non-theistic accounts you listed do this:

  • Show that it’s perfectly coherent to have:
    • necessary, universal, non-empirical logical truths
    • without treating them as divine thoughts.
  • So they break the uniqueness claim:
    • “Without God, no logic” ⇒ false, because here are multiple ways to have logic without God.
      However, dialectically they each have a built-in “escape hatch” for your opponent:
  • Platonism: “I reject abstract objects.”
  • Kantian: “I reject transcendental idealism.”
  • Conventionalism: “That makes logic arbitrary.”
  • Formalism/structuralism: “That doesn’t explain why the structures exist.”
  • Naturalism: “Science itself presupposes God.”
  • Pluralism: “That’s relativism” (they can say, rightly or wrongly).
    You can push back on those, but the structure of the exchange is:
  1. You present an alternative.
  2. They try to poke holes in it.
  3. You argue back and forth about your view.
    So attention gets pulled to whether your non-theistic theory is perfect, instead of whether their theistic grounding even works.

2. What the Euthyphro-style dilemma does differently

The dilemma:

Are the laws of logic true because God thinks/wills them,
or does God think them because they’re true?
Whichever they pick:

  • You’re pointing to an internal problem inside their account, not just waving a rival theory.
    Horn A: “They’re true because God thinks/wills them.”
  • Logical laws become contingent on God’s psychology.
  • God could have made contradictions acceptable.
  • So logic is no longer absolutely necessary; it’s divine preference.
    Horn B: “God thinks them because they’re true.”
  • Logical truths are independent of God; God tracks them.
  • God becomes a knower of logic, not its ground.
  • Therefore, you can have logic without God—God is optional, not explanatory.
    So the dilemma:
  • Pins them in a space where either necessity is lost or God’s explanatory role is lost.
  • Does that using only their own claim (“logic from God”), not by importing details from Platonism, Kant, etc.
    That’s why it’s so strong: it targets the core claim that “God explains logic,” from inside, instead of only offering an external alternative.

3. Why this is especially effective in live debate

From a rhetorical/practical angle, the dilemma has some big advantages:

  1. It’s very short and memorable.
    You don’t need to explain abstracta, model theory, or Quine. Just:
    • “Because God wills it?” or
    • “God wills it because it’s true?”
  2. It’s easy to repeat and press.
    If they dodge, you can calmly circle back:

    “I’m just asking which you believe:
    Is logic true because God thinks it, or does God think it because it’s true?”

  3. It doesn’t commit you to a specific positive theory.
    You can hold the dilemma in one hand and keep your positive view open in the other:
    • “I’m happy to defend Platonism/structuralism/etc., but even before we get there, your own grounding story has this problem.”
  4. It re-centers the burden of proof.
    Instead of being put on defense (“account for logic, atheist”), you’re asking:
    • “Account for logic, theist, in a way that doesn’t either make it contingent or make God redundant.”

4. How the other accounts still matter

I didn’t pick the Euthyphro-style move because the other approaches are weak; they’re actually complements:

  • The Euthyphro-style dilemma: shows their explanation of logic has a deep problem.
  • The other 7 accounts: show there are plenty of coherent ways to understand logic without invoking God at all.
    Together, you get a two-punch combo:
  1. Negative punch – their “logic from God” story either:
    • makes logic contingent, or
    • makes God explanatorily unnecessary.
  2. Positive punch – you can say, for example:
    • “I lean toward a structuralist/Platonist view: logic is about necessary features of abstract structures. That story doesn’t need God at all, and it doesn’t face your dilemma.”
      So the Euthyphro-style argument is “strongest” in the sense that:
  • It’s the most direct attack on the presuppositionalist claim,
  • It works no matter which non-theistic account of logic you personally favor,
  • And it’s simple enough to deploy clearly under pressure.
    If you’d like, I can put together a tiny Obsidian callout that combines:
  • The Euthyphro-style objection, plus
  • One short positive alternative (say, structuralist or Platonist)
    so you have a ready-made “one-two punch” card to use.

Counter Rebuttals

Good question—this is exactly where the theist will try to wriggle out.
I’ll go through the most common rebuttals to the Euthyphro-style dilemma for logic and give you ready-made counters.
Quick reminder of the dilemma:

Are the laws of logic true because God thinks/wills them,
or does God think them because they’re true?

1. “False dilemma – third option: logic is grounded in God’s necessary nature”

The move:
They’ll say something like:

“You’re setting up a false choice. The laws of logic are neither arbitrary products of God’s will norindependent of God. They’re grounded in God’s necessary nature. God just is the Logos; logic is an expression of who He necessarily is.”
Counter:
You can show this just pushes the dilemma one level down.
Ask:

  1. Could God’s nature have been otherwise?
    • If yes: then the laws of logic are contingent on whichever nature God happened to have. That makes logic contingent.
    • If no: then there is some fact about what a “divine nature” must be like that constrains God. That constraint is effectively the same sort of necessary logical structure you were talking about before—now just taken as primitive.
  2. Either way, you still face a version of the Euthyphro question:

    Is God’s nature “logical” because logicality is good/right/necessary in itself,
    or is “logicality” right just because it happens to be God’s nature?

    • If it’s right because it’s God’s, you’re back to arbitrariness.
    • If God is that way because it’s right/necessary that way, then the necessity doesn’t come from God; God conforms to a prior necessity.
      How to say it in debate:

      Calling logic “grounded in God’s nature” doesn’t escape the dilemma, it just moves it. Either God’s nature could be different—in which case logic is contingent—or it could not be different—in which case there’s a necessary structure that constrains what God’s nature can be like. Then God isn’t explaining logic; logic (or some necessary structure) is explaining what God must be like.

2. “Logic is identical to God’s intellect, not ‘caused’ by it”

The move:
A more sophisticated version:

“It’s not that God causes the laws of logic. The laws of logic are just aspects of God’s eternal, necessary intellect. They’re identical with God’s thinking. So they’re neither arbitrary nor independent.”
Counter:
Identity talk doesn’t give you a grounding story; it just gives you a relabeling.
You can say:

  1. If logical truths are identical with God’s intellect:
    • Then the fact “the law of non-contradiction holds”
    • “God’s intellect has such-and-such character”.
    • But the necessity here is just the necessity of that fact. Saying “and that mind is called ‘God’” doesn’t explain it; it just attaches a personified label.
  2. The key question is still:

    What makes it necessary that “P ∧ ¬P is impossible” is true?
    You can treat the identity thesis as saying:

    • There exists a necessary fact with a certain structure.
    • The theist calls that “God’s intellect”.
    • The non-theist calls that “the realm of necessary logical truths” or “structure of logical space”.
      There’s no extra explanatory power—only theological decoration.
      In debate:

      Saying ‘logic is identical to God’s intellect’ doesn’t explain logic, it just names the necessary structure ‘God’. The necessity and structure of logical truths is doing the real work; calling that structure ‘a mind’ doesn’t show why you can’t just have those necessary truths without the extra theological label. Identity isn’t explanation.

3. “You can’t talk about truth or logic without presupposing God”

The move:
This is a classic presuppositional pivot:

“Your dilemma already presupposes an absolute standard of truth and logical validity. But only God can be that standard. So when you talk about ‘truth’ independently of God, you’re smuggling in my worldview.”
Counter:
They’re just asserting the very thing at issue: that truth/logic = God. You’re allowed to use logic and talk about truth without committing to their metaphysics of those things.
You can reply:

  1. Using logic ≠ accepting “logic = God’s thoughts”.
    • You accept logical rules as rules of valid inference.
    • They’re adding the extra claim “and these are divine thoughts.”
    • That’s the disputed premise, not a self-evident truth.
  2. The Euthyphro move asks an internal question:

    Given your claim that truth and logic are “from God,” on what basis?
    Raising the dilemma doesn’t require a non-theistic definition of truth; it only requires taking their claim seriously and asking what follows from it.

  3. We have perfectly intelligible non-theistic accounts of truth/logic:
    • Truth as correspondence or T-schema (“‘P’ is true iff P”).
    • Logic as valid inference across models/structures.
      None mentions God.
      In debate:

      I’m not presupposing your claim that truth and logic just are God’s nature. I’m using logic as rules of good inference—that’s all. Your extra claim is that those rules can only be understood as divine thoughts. The dilemma is pointed directly at that claim: either they depend on God’s attitudes (and become contingent), or God’s attitudes track independently necessary truths (and God isn’t the ground). Simply reasserting “no truth without God” doesn’t answer the dilemma; it just restates your position.

4. “Euthyphro only works for contingent commands, not necessary truths”

The move:
They might say:

“The original Euthyphro is about God’s commands—things that could be otherwise, like ‘do X, don’t do Y’. Logical laws are not commands; they’re necessary expressions of God’s being. So your adaptation misfires.”
Counter:
You’re not relying on the command structure; you’re relying on the dependency structure:

  • The original question:
    “Is something good because God loves/commands it, or does God love it because it’s good?”
  • The adapted question:
    “Are logical laws true because God thinks/wills them, or does God think them because they’re true?”
    What matters is which is explanatorily prior:
  • Do logical truths depend on God’s attitudes?
  • Or do God’s attitudes depend on the logical truths?
    That dependency question applies just as much to necessary truths as to contingent commands.
    If they retreat to “it’s just necessary that God + logic go together,” they’re effectively accepting that:
  • The logic–God relation is a brute necessary fact.
  • At that point, a non-theist can equally treat “logic is necessary” as brute, without God.
    In debate:

    My version of Euthyphro isn’t about commands, it’s about dependence: does logic depend on God’s mind, or does God’s mind track independently necessary logical truths? If you say “neither; they’re just necessarily together,” you’ve introduced a brute necessary fact. But in that case, a non-theist can take logical necessity as brute without God at all. Either logic relies on God’s attitudes (and looks arbitrary), or God’s mind is constrained by what’s logically necessary (and God isn’t the ground). Saying “they’re just necessary together” dodges the explanatory question rather than answering it.

5. “Only a necessary mind can ground immaterial necessary truths”

The move:
They’ll emphasize a metaphysical symmetry:

“Look, logic is necessary, immaterial, and rational. The only thing that matches that profile is a necessary, immaterial, rational mind. Abstracta or ‘logical space’ are cold, inert; only a mind can unify and ground them.”
Counter:
Several points:

  1. Grounding is not about causal power here.
    • God doesn’t cause 2+2=4 to be true, any more than a Platonic realm does.
    • So the “causal inertness” objection to abstracta is irrelevant: you’re not asking who made logic happen; you’re asking what makes logical truths true.
  2. Saying “only a mind can ground them” just asserts the contested premise.
    • Why can’t necessary structures or abstract objects play that role?
    • Why can’t “truth in all models/structures of a given kind” be the truth-maker?
  3. Even if you insist “they need a mind,” it’s still vulnerable to the dilemma:
    • Does that mind’s nature determine logic?
      → Contingency/arbitrariness worries.
    • Or does that mind conform to logic’s necessity?
      → Logic’s necessity is independent of the mind; the mind is just a perfect mirror.
  4. And again: if at some point you say “it’s just necessary that God and logic are as they are,” then you’ve landed on a brute necessity. A non-theist can do the same without invoking God.
    In debate:

    You’re assuming the very point in question: that necessary truths demand a mind. But God doesn’t causally produce 2+2=4 any more than abstract objects do. We’re talking about grounding in the sense of ‘what makes this necessarily true?’.

    If your answer is ‘God’s nature’, my dilemma kicks back in: is God’s nature that way because it’s logically necessary, or is what’s logically necessary defined by God’s nature? In the first case, logic doesn’t need God; in the second, logic becomes contingent on whatever that nature happens to be.

6. “God is being itself; logic is part of being, so it’s not external”

The move:
More metaphysical language:

“On classical theism, God isn’t a being among beings; he is Being itself. The structure of being is the structure of God’s essence. Logic doesn’t stand outside God as a standard; it’s identical with the way Being—God—is.”
Counter:
You can still press the same issue:

  1. Could “Being itself” have been non-logical?
    • If yes, logic is contingent.
    • If no, then there is some necessary structure that makes “being” have to be logical—and you haven’t really grounded it in anything beyond that structure.
  2. Redefining God as “Being itself” doesn’t change the dependency question:
    • Is Being structured logically because that’s how Being must be (independently of how we label it)?
    • Or is “logical structure of Being” necessary only because we’ve decided to call that structure “God”?
  3. If the answer is essentially: “It’s a primitive necessity that Being = God = logical”, you’ve arrived at a brute necessary fact. Again: the non-theist can accept “logical structure is primitive” without wrapping it in “Being/God” language.
    In debate:

    Calling God “Being itself” is a big metaphysical package, but the same question remains: could ‘Being’ have had different logical structure? If yes, logic is contingent. If no, then there’s a necessary structure to being that doesn’t get explained by saying ‘and that’s God’. You’ve just named the necessary structure ‘God’. The dilemma still pressures the claim that God is the ground of logic, rather than just another way of talking about the same necessary structure.

7. “Your dilemma is self-defeating because it uses logic, which presupposes God”

The move:
Back to presuppositional judo:

“To even pose the dilemma, you rely on the law of non-contradiction and excluded middle. If those are from God, then you’re using God to argue against God—self-defeating.”
Counter:
The key distinction: using logic vs accepting their story about logic.

  1. You agree that:
    • Arguments should be valid.
    • Contradictions are bad.
    • P ∨ ¬P, etc.
  2. You do not agree that:

    “Those logical laws only make sense if they are God’s thoughts.”
    That’s the specific metaphysical thesis you’re challenging with the dilemma.

  3. The dilemma works within their own claim:
    • You temporarily say: “Okay, suppose logic comes from God in the way you say. How does that work?”
    • Then you show that any way they cash that out either makes logic contingent or makes God explanatorily redundant.
      That’s exactly how internal critiques work: you don’t have to share the metaphysics; you explore its consequences.
      In debate:

      I’m absolutely using logic. What I’m not doing is granting your extra claim that those logical laws must be divine thoughts. The dilemma is an internal critique: taking your ‘logic from God’ idea and asking how it’s supposed to work. If every way you spell it out either makes logic contingent or makes God unnecessary, then your appeal to ‘logic from God’ fails on its own terms. That doesn’t require me to abandon logic; it just means I refuse your theological story about it.

If you want, next step I can condense all of this into a compact “Euthyphro for Logic – Rebuttal Map”: one line per common theist move + one line for your reply, so you have something you can glance at quickly during a live exchange.