# Hofweber Internalist Deflationism Objection Defeater ## Intro Some arguments for God start from mathematics: numbers and mathematical truths are real, objective, and necessary, abstract things like that need a home, and the best home is the mind of God. Thomas Hofweber, a sharp philosopher of language, offers a way to shut that argument down before it starts. He says that when we say "there are infinitely many prime numbers," the little word "there are" is not really claiming that numbers *exist* as objects. It is just a logical bookkeeping device for generalizing over examples. So the sentence is true, but it does not commit us to a single number-object anywhere. No abstract objects, nothing for God to ground, argument over. This page is the reply. The short version: Hofweber is a clever *anti-Platonist*, not a refuter of theism. His trick depends on claiming the word "there is" has two different meanings, and that claim is exactly what is in dispute, so he is partly assuming his conclusion. More importantly, even if he is right that pure number-talk carries no commitment to objects, he leaves the strongest version of the argument completely untouched. That version was never mainly about *objects*; it was about why mathematics is **necessary, objective, and uncannily applicable to the physical world**. Strip out the objects and that still cries out for explanation, and a necessary Mind is still the best one. The move is not to die on the hill of Platonism but to **relocate the argument from objects to structure**, where internalism cannot reach. ## In full Thomas Hofweber's *Ontology and the Ambitions of Metaphysics* (2016) advances a **bifurcation of the quantifier**: "there is" / "something" has a **domain-conditions (external)** reading that carries ontological commitment, and an **inferential-role (internal)** reading that is merely a device for generalizing over instances with no commitment to a domain of objects. Applied to arithmetic this yields **internalism**: "there are infinitely many primes" is true under the internal reading and so does not commit us to numbers as objects, with number-terms treated as functioning non-referentially. This threatens the object-based theistic argument from abstracta (Platonism about numbers, then a divine ground). The defeater answers on four fronts: (1) the two-readings thesis is undermotivated and question-begging; (2) truth still requires truth-makers, and the parallel deflation of singular terms faces the Caesar problem and identity statements; (3) the indispensability and applicability of mathematics survive internalism entirely; and (4) the deepest theistic argument is about the necessity, objectivity, and intelligibility of mathematical structure, which internalism relocates but does not remove. The conclusion: concede anti-Platonism if needed, and run the structure-grounding argument that Hofweber leaves standing. See [Meta-Ontology](/codex/meta-ontology/) for the deflationism family and [Universals](/codex/universals/) for the parallel realism dispute. ## Argument structure | # | Premise | |---|---| | **P1** | Hofweber's defeat of the theistic argument requires that the internal (non-committal) quantifier reading is a genuine, independently motivated *second meaning* of "there is." | | **P2** | The bifurcation is not independently motivated; the inferential use is at best pragmatic, and positing a non-committal reading *because* it dissolves commitment begs the question. | | **P3** | Even granting internalism about pure arithmetic, the **applicability** of mathematics to physical reality and the **necessity and objectivity** of mathematical structure are untouched, and these are what the strongest theistic argument grounds. | | **C** | **Therefore Hofweber's internalism, even if successful as anti-Platonism, does not defeat the theistic argument from mathematics; the argument relocates from abstract objects to mathematical structure, which internalism cannot deflate.** | ## Form Defensive (a defeater-defeater). It does not require refuting internalism outright; it shows (a) that internalism is contestable at its load-bearing premise and (b) that even if granted, it misses the argument's strongest form. Soundness is **contemporary**: the decisive move is the relocation from object-commitment to structural necessity and applicability, which sidesteps the entire deflationary apparatus. --- ## Cheatsheet - **30-second reply:** "Define 'there is' for me. Hofweber needs two different meanings of it, one that commits to objects and one that does not, and that two-meanings claim is exactly what is in dispute, so he is assuming what he has to prove. And even if pure number-talk commits to no objects, that does nothing about why mathematics is necessary, objective, and unreasonably effective at describing the physical world. That is the real argument, and it grounds in a necessary Mind whether or not numbers are objects." - **Fast facts:** Hofweber, *Ontology and the Ambitions of Metaphysics* (2016). Two quantifier functions: domain-conditions (external, committing) vs inferential (internal, non-committing). Internalism about arithmetic = number-talk true but object-free. Wigner's "unreasonable effectiveness" (1960) is untouched by it. - **Counter-moves:** (1) Press the two-readings thesis as question-begging. (2) Truth needs truth-makers (Fregean pincer); the deflation of singular terms hits the Caesar problem and identity statements. (3) Applicability/indispensability survives. (4) Relocate: objects to structure. - **Concession (state it, it builds credibility):** "Grant that pure arithmetic carries no commitment to number-objects. Fine. The conceptualist never needed objects; he needs a ground for necessary, objective, applicable mathematical structure, and internalism gives no account of that." - **Closing line:** "Anti-Platonism changes the inventory. It does not explain why reality has a necessary, mind-apt logical structure in the first place." --- ## The objection stated (steel-manned) Hofweber's view is genuinely strong, so state it at full strength: - Quantifiers do two jobs. In "there is a chair in the room," "there is" makes a **domain-conditions** claim: it says the domain contains an object satisfying the predicate. But in "there is something Sherlock and Gandalf have in common, they are both fictional detectives... wait, heroes," the quantifier is doing **inferential** work, generalizing over instances without asserting a special domain of objects. - For arithmetic, the internal reading is the natural one. "There are infinitely many primes" generalizes over "2 is prime, 3 is prime, 5 is prime..." It is *true*, but its truth is a matter of the inferential pattern, not of a populated Platonic heaven. Number-terms work more like determiners ("Jupiter has four moons") than like names. - Payoff against theism: if there are no number-objects, the argument "abstract objects exist, so they need a divine mind to ground them" loses its first premise. The deflation also dovetails with broader deflationary meta-ontology ([Meta-Ontology](/codex/meta-ontology/)). Strengths worth conceding aloud: it elegantly explains why arithmetic feels both *a priori certain* and *ontologically weightless*, and it dissolves the access problem (how do physical brains know about causally inert abstracta?). ## The defeater ### 1. The two-readings thesis is undermotivated and question-begging Hofweber needs a genuine **semantic** ambiguity in the quantifier, two meanings, not one meaning with two uses. The standard Fregean line treats "there is" as univocal; the "inferential" employment is plausibly a *pragmatic* use of the single quantifier, not a distinct semantic reading. Positing a special non-committal meaning **because** it dissolves ontological commitment builds the deflationary conclusion into the lexicon. The burden is to motivate the ambiguity on independent linguistic grounds, and the evidence for a separate reading is thin and contested. Absent that, P1 fails and the objection never launches. ### 2. Truth still needs truth-makers (the Fregean pincer) "7 is prime" is a true atomic sentence in which "7" behaves syntactically as a **singular term**: it flanks identity ("the number 7 is..."), substitutes into "the number of F's is 7," and supports inference. On the standard semantics, singular terms in true atomic sentences refer. To block this, Hofweber must *also* deflate the singular terms, not just the quantifier, and that parallel project runs into the classic hard cases: - **Identity statements** like "the number of planets is eight," which look like genuine identities flanked by referring terms. - **The Caesar problem** (Frege): a deflationary account of number-terms must say why "7 = Julius Caesar" is false, which requires the numbers to have enough object-like identity conditions to be distinguished from non-numbers, the very object-hood being denied. The quantifier deflation only works if the term deflation works, and the term deflation is exactly where it is weakest. ### 3. Applicability and indispensability survive internalism (the decisive point) Grant, for argument, that *pure* arithmetic quantifiers are non-referential bookkeeping. The **applied** structural facts are untouched: physical reality conforms to deep mathematical structure, and mathematics developed for abstract purposes turns out to describe the world with uncanny precision (Wigner's "unreasonable effectiveness," 1960). Internalism explains the inferential mechanics of counting; it gives **no account of why the cosmos is answerable to necessary mathematical structure**. The theistic argument from the intelligibility and applicability of mathematics ([Argument from Intelligibility](/codex/argument-from-intelligibility/), [Argument from Mathematics (Guillen)](/codex/argument-from-mathematics-guillen/)) therefore slips the punch entirely, because it never depended on numbers being objects in the first place. ### 4. The explanandum is relocated, not removed Suppose there are no number-objects. There is still the **necessity, objectivity, and universal truth-preservation** of arithmetical and logical structure: the rules are not optional, not invented, and hold in every possible world. That necessary rational order is what the conceptualist argument grounds in a necessary Mind. Anti-Platonism changes the inventory of objects; it does not explain why reality has a necessary, mind-apt logical structure at all. So the strongest theistic argument was never "abstracta exist, therefore God," but "the necessary, objective, intelligible order of mathematical and logical truth is best explained by a necessary Mind." Hofweber offers no account of *that*, which is why the relocation defeats the objection. ## Conclusion **Hofweber's internalism does not defeat the theistic argument from mathematics.** At most it threatens the object-based version (Platonism then a divine ground), and even there its load-bearing two-readings premise is contestable and its term-deflation faces the Caesar and identity problems. The structural argument, from the necessity, objectivity, and unreasonable applicability of mathematics to a necessary Mind, is untouched and arguably sharpened, since internalism leaves the structure unexplained. The apologetic response is not to fight to the death over Platonism but to **relocate from objects to structure**, where the deflation has nothing to say. ## Master objections to the defeater - **"You are just moving the goalposts from objects to structure."** Rebuttal: the structural argument is not a retreat; it was always the stronger form (Wigner, Plantinga, Guillen). Conceding the weaker object-form while pressing the structure-form is honest triage, and internalism by design says nothing about structure. - **"Maybe mathematical structure is also internal/deflationary."** Rebuttal: then the deflationist owes an account of why an "inferential bookkeeping" device necessarily and precisely models gravitation, quantum mechanics, and prime distribution. Deflating the *applicability* of mathematics to the physical world is far more costly than deflating talk of number-objects, and Hofweber does not attempt it. - **"Conceptualism has its own problems (bootstrapping)."** Rebuttal: granted, and those are answered on the constructive pages; but they are problems for the positive theistic account, not rescues for Hofweber's objection, which is what this page defeats. ## Tactical opening / closing **Opening line:** "Before we agree that numbers are not objects, notice it would not save you even if true. Your problem is not whether seven is a thing. Your problem is why the universe obeys mathematics it did not consult." **Closing landing strip:** "Take Hofweber at his strongest: no number-objects, just inferential bookkeeping. The bookkeeping is still necessary, still objective, and still describes reality with uncanny precision. Deflate the objects all you like. You have not touched the structure, and the structure is the argument." ## Connection to Scripture - *Proverbs 8.22-31*, Wisdom as the ordering principle present at creation - *Colossians 1.17*, in Christ all things hold together (the cohering structure of reality) - *Isaiah 40.12*, God measuring and ordering creation - *Romans 1.20*, the invisible order of creation witnessing to the Maker ## Patristic / scholarly note **Defends / draws on:** - Eugene Wigner, "The Unreasonable Effectiveness of Mathematics in the Natural Sciences" (1960), the applicability datum internalism cannot touch. - Alvin Plantinga, theistic Platonism / the divine-mind grounding of abstracta. - Augustine, the eternal exemplars in the divine intellect (the conceptualist root). **Engages (do not caricature):** - Thomas Hofweber, *Ontology and the Ambitions of Metaphysics* (2016), quantifier internalism; a serious and able anti-Platonist whose target is Platonism, not theism as such. - Gottlob Frege, the singular-term and Caesar-problem machinery used against the term-deflation. ## See also - [Meta-Ontology](/codex/meta-ontology/), the deflationism family Hofweber belongs to (Carnap, Hirsch, Thomasson) - [Universals](/codex/universals/), the parallel realism-vs-nominalism dispute and the borrowed-capital pattern - [Argument from Mathematics (Guillen)](/codex/argument-from-mathematics-guillen/), the argument this defeater protects - [Argument from Mathematical Truth](/codex/argument-from-mathematical-truth/), the Wigner-Plantinga theistic-Platonism version - [Argument from the Reality of Mathematical Infinity](/codex/argument-from-the-reality-of-mathematical-infinity/), the infinity-grounding companion - [Argument from Intelligibility](/codex/argument-from-intelligibility/), the structure-and-applicability argument internalism cannot reach - [Argument from Reason](/codex/argument-from-reason/), the reliability-of-the-number-faculty companion pressure on naturalism - [Stealing from God Argument](/codex/stealing-from-god-argument/), the broader borrowed-capital pattern - [Arguments](/codex/arguments/), master index
## Common questions this page answers **Q: What is Hofweber's objection to the argument from mathematics?** Thomas Hofweber argues that the word "there is" has two functions: an external one that commits us to objects, and an internal one that is just a logical device for generalizing over examples. He says math statements like "there are infinitely many primes" use the internal one, so they are true without committing us to numbers as real objects. If there are no abstract number-objects, then the theistic argument that abstract objects need a divine mind to ground them loses its starting point. **Q: Does Hofweber's view disprove the argument from mathematics for God?** No. He is best understood as a sophisticated anti-Platonist, not a refuter of theism. His objection only threatens the version of the argument that depends on numbers being objects, and even that rests on a contestable claim that "there is" has two separate meanings. Crucially, the strongest version of the theistic argument was never about objects; it was about why mathematics is necessary, objective, and uncannily applicable to the physical world, and internalism says nothing about that. **Q: What is the best response to quantifier internalism?** Relocate the argument from objects to structure. Even granting that pure number-talk commits to no objects, the necessity and objectivity of mathematical truth and the "unreasonable effectiveness" of mathematics in describing physical reality (Wigner) remain unexplained. That necessary, mind-apt structure is what the theistic argument grounds in a necessary Mind, whether or not numbers are objects. Internalism changes the inventory of objects; it does not explain why reality has a logical structure at all. **Q: Doesn't math being "just inferential bookkeeping" remove the mystery?** It removes the mystery of where number-objects "live," but not the deeper mystery. A mere bookkeeping device should not necessarily and precisely model gravitation, quantum mechanics, and the distribution of primes. Deflating talk of number-objects is cheap; deflating the applicability of mathematics to the physical world is enormously costly, and Hofweber does not attempt it. The applicability is the part that points beyond nature. See [Argument from Intelligibility](/codex/argument-from-intelligibility/). **Q: How does this fit the broader meta-ontology debate?** Hofweber sits in the deflationist family in [Meta-Ontology](/codex/meta-ontology/), alongside Carnap's internal-versus-external questions, Hirsch's quantifier variance, and Thomasson's easy ontology. All of them try to make ontological questions shallow or framework-relative. The theistic reply is the same in each case: even if first-order object-commitments are deflated, the necessity, objectivity, and intelligibility of logical and mathematical structure are not, and those are what the strongest arguments for God actually rest on.