Argument

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 for the deflationism family and Universals for the parallel realism dispute.

Argument structure

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).

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, 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, the deflationism family Hofweber belongs to (Carnap, Hirsch, Thomasson)
• Universals, the parallel realism-vs-nominalism dispute and the borrowed-capital pattern
• Argument from Mathematics (Guillen), the argument this defeater protects
• Argument from Mathematical Truth, the Wigner-Plantinga theistic-Platonism version
• Argument from the Reality of Mathematical Infinity, the infinity-grounding companion
• Argument from Intelligibility, the structure-and-applicability argument internalism cannot reach
• Argument from Reason, the reliability-of-the-number-faculty companion pressure on naturalism
• Stealing from God Argument, the broader borrowed-capital pattern
• Arguments, master index