Argument

Anyone Who Affirms Universals Must Affirm God

Intro

Almost everyone believes in universals, whether they notice it or not. When you say two different apples are both red, you are treating "redness" as one thing shared by two objects. When a mathematician says 2 + 2 = 4 is true everywhere and always, she is treating a number and a truth as real, and as the same for all of us. When anyone insists that a claim cannot be both true and false at once, they are leaning on a law of logic that holds no matter what anybody thinks. Redness, numbers, truths, logical laws, these are universals, and reality seems to be full of them.

Here is the argument. Universals are strange things. They are not physical (you cannot weigh the number seven). They do not come and go (the truths of math would hold even if the universe had never existed). They are the same for everyone, everywhere, always. And they are the kind of thing that is thought, they behave like ideas, concepts, and propositions, not like rocks. So the question is: what could such things be, and where could they live?

There are only three answers. Nominalism says universals are not real at all, just names we invent. But that answer cannot even be stated without using universals, so it undercuts itself. Platonism says universals float in a realm of their own, existing on their own with no explanation. But a shelf of causally powerless, unexplained, thought-shaped objects hanging in nothing is a mystery, not a solution. That leaves the third answer, the one Augustine gave: universals are the thoughts of a necessary, eternal, all-knowing Mind. They are the same everywhere because that Mind is everywhere; they never change because that Mind never changes; they are thought-shaped because they are, quite literally, thoughts. That Mind is God.

So the conclusion is bold but follows: to affirm that universals are real is already, without meaning to, to affirm the God who grounds them. This page runs the argument premise by premise, and answers the Platonist and the nominalist in turn.

In full

This is the abductive form of the argument from abstract objects (Augustine's divine exemplars, given modern shape as theistic conceptual realism by Greg Welty, and as the argument from logic by James Anderson and Greg Welty). It is the constructive, inference-to-best-explanation cousin of the presuppositional Transcendental Argument for God, and it supplies the metaphysical engine that the broader Stealing from God Argument (Frank Turek) runs through. The concept-side infrastructure lives at Universals and Laws of Logic.

The argument targets the realist about universals, which, on reflection, is almost everyone: anyone who does mathematics, reasons by the laws of logic, makes universal moral claims, or predicates the same property of many things. It grants the realist his realism and then presses the grounding question. Real universals are necessary (true in all possible worlds), eternal and immutable (independent of any contingent thing), immaterial, causally relevant to thought and inference, and, most tellingly, intentional or proposition-like (they represent, they are the sort of thing that is true-of or about the world, which is a mark of the mental). The three live accounts are nominalism, Platonism, and theistic conceptualism. Nominalism denies the explanandum and is self-refuting; Platonism accepts the entities but leaves their necessity, their mind-likeness, and their applicability to the world unexplained and inexplicable; theistic conceptualism explains all of them at once by identifying universals with the contents of a necessary, eternal, infinite intellect. The best explanation of real universals is therefore a divine mind, so the realist is rationally committed to God. The page is in debate-prep shape: premise-level second-order support, steel-manned objections, one-to-one rebuttals, a live-cite kit, and tactical lines.

Argument structure

Premise 1, Universals are real (and you cannot coherently deny it)

Affirmative case

1. Predication requires them. To say that Socrates and Plato are both human, or that this rose and that fire truck are both red, is to say there is some one thing, humanity, redness, that each of them has. Strip out the shared universal and you cannot say what makes the predication true.
2. Mathematics requires them. Numbers, sets, and functions are not physical objects or marks on paper; the numeral changes, the number does not. Mathematics is true, exact, and the same for everyone, which is exactly the profile of a real abstract object. See Argument from Mathematics (Guillen).
3. Logic and truth require them. The law of non-contradiction is not a description of anyone's brain; it holds for all thinkers and all worlds. Propositions (the things that are true or false) are shareable, repeatable, and mind-independent-of-human-minds. See Laws of Logic.
4. Nominalism is self-refuting. The nominalist says "there are no universals, only particular names." But that very claim uses universals: it quantifies over "names" and "particulars" as kinds, it asserts a truth meant to hold universally, and it relies on the laws of logic to be an argument at all. You cannot state nominalism without helping yourself to the universals it denies. Trope theory (particularized properties) fares no better: it must group the tropes by resemblance, and exact resemblance is just a universal under a new name.

Anticipated objections

1. "Universals are just useful fictions or human concepts we project onto the world. They are real as ideas in our heads, not as features of reality."
2. "Only concrete things exist. Talk of numbers and properties is a convenient shorthand we can paraphrase away (Quine's desert landscapes, fictionalism about mathematics)."

Rebuttals

1. If universals were merely our concepts, then mathematical and logical truths would be contingent on human minds, would have been false or nonexistent before humans evolved, and would vary if our psychology varied. But 2 + 2 = 4 was true before there were counters, and the law of non-contradiction does not wait on human opinion. Their necessity and mind-independence-of-us are exactly what the "just our concepts" story cannot deliver. (Note: this objection actually concedes the argument's key premise, that universals are concept-like; it only misidentifies whose concepts they are. P3 answers that.)
2. The paraphrase project has never succeeded for the whole of mathematics and science, and, more decisively, fictionalism cannot explain the indispensability and applicability of mathematics to the physical world (the Quine-Putnam point): our best physics quantifies over numbers ineliminably. Calling indispensable, world-fitting truths a "fiction" is a label, not an account. And the fictionalist still reasons by the laws of logic, which are not fictions on pain of his own argument dissolving.

Premise 2, Universals are thought-shaped

Affirmative case

1. They are necessary and eternal. Real universals hold in every possible world and at every time; the truths of arithmetic and logic could not have been otherwise and never began. So their ground must itself be necessary and eternal, not any contingent, perishable thing.
2. They are immaterial and causally inert as objects. You cannot locate, weigh, or collide with the number seven or the proposition that grass is green. Whatever they are, they are not physical.
3. They are intentional, they represent. This is the decisive feature. A proposition is about the world; it is true of something; a property is of its instances; a law of logic governs inference. Aboutness, representation, being-true-of, these are the hallmarks of the mental. In every uncontested case we know, representation exists only in or for a mind. Numbers, propositions, and properties behave far more like thoughts than like objects.
4. Conclusion: universals have exactly the profile of contents of a mind, necessary, eternal, immaterial, and representational. The question P3 asks is simply: whose mind?

Anticipated objections

1. "Representation does not require a mind. A tree's rings 'represent' its age; footprints 'represent' the walker. So intentionality is not a mark of the mental."
2. "Even granting universals are abstract and necessary, why think they are mind-like at all? Maybe they are just a fourth basic category of being, neither mental nor physical."

Rebuttals

1. Tree rings and footprints have only derived intentionality: they represent to us because we interpret them, or because a mind set up the correlation. Their aboutness is borrowed from minds. Original intentionality, representation that is not parasitic on an interpreter, is found only in mental states. Propositions and logical laws have original, non-derived aboutness (they are true-of the world whether or not any human interprets them), which is precisely why they call for a mind that is not ours.
2. Positing a "fourth category" of self-standing, necessary, representational-but-non-mental objects is not an explanation; it is a name for the mystery. It leaves untouched why these objects are necessary, why they represent, and how they connect to both concrete things and finite knowers. Theistic conceptualism collapses the mystery: they are necessary because God is, they represent because they are His thoughts, and they connect to the world because the same God thinks them and creates by them. A single posit that explains all three beats an inert posit that explains none.

Premise 3, Only a divine mind grounds them

Affirmative case

1. A necessary, eternal, infinite mind fits every datum. Universals are necessary: they are grounded in a necessarily existing mind (God does not happen to exist). They are eternal and immutable: grounded in an eternal, immutable mind. They are immaterial and representational: they are thoughts. They are innumerably many and all actually true at once: grounded in an omniscient mind that eternally thinks them all. This is Augustine's move, the Forms are ideas in the mind of God, and Aquinas's, the divine ideas are God's knowledge of the ways His essence can be imitated (Universals, ST I.15).
2. It explains applicability. Why does abstract mathematics fit the concrete cosmos so uncannily (Wigner's "unreasonable effectiveness")? Because the same Mind that thinks the universals creates the world according to them. Platonism has no bridge between its inert Form-realm and the physical world; conceptualism builds the bridge into the account. See Argument from Intelligibility.
3. It explains our access. How do finite, physical brains grasp non-physical, necessary truths? Because we are made in the image of the Mind whose thoughts they are; our reason participates in His. A causally inert Platonic realm, by contrast, cannot causally explain how we ever come to know it (Benacerraf's access problem).
4. Parsimony and unity. One infinite mind grounds the entire, unified system of universals at a stroke, rather than an infinite scattered plurality of brute necessary beings. And a single rational Mind explains why the universals form a coherent logical and mathematical system rather than a heap.
5. Conclusion: among the live options, a necessary divine intellect uniquely and jointly explains the necessity, mind-likeness, applicability, and knowability of universals. It is the best explanation, so the realist is committed to it.

Anticipated objections

1. "Platonism: abstract objects simply exist necessarily as a brute fact. Necessity needs no further explanation, so no mind is required (van Inwagen)."
2. "This is a God-of-the-gaps move for metaphysics: you cannot explain abstracta, so you plug in God."

Rebuttals

1. Brute necessity is an explanatory stop-sign, not an explanation, and it is a worse stop-sign here because it leaves the distinctive features of universals, their representational, thought-like character, wholly unaccounted for. Even if one grants that necessary things need no cause, one still owes an account of why the necessary things are proposition-shaped, and "they just are" is precisely what a mind-based account improves upon. The theist is not merely asserting brute necessity; he is locating the necessity in the being whose necessary existence is already independently argued (see Contingency Argument, Modal Ontological Argument), and thereby explaining the mind-likeness too. One posit, many explanations, versus one posit, no explanations.
2. This is not a gap argument but an inference to the best explanation across all three standing options. It does not say "we cannot currently explain abstracta, therefore God"; it says "here are three complete accounts on the table, and only one satisfies the full list of desiderata (necessity, mind-likeness, applicability, access, unity)." Choosing the account that explains the data over accounts that deny the data (nominalism) or leave it inexplicable (Platonism) is ordinary theoretical rationality, the same abduction used everywhere in philosophy and science.

Master objections to the whole argument

MO1: "The bootstrapping objection (Bergmann and Brower). If properties are God's concepts, then God's own properties (omniscience, goodness) are His concepts too. But God must already be omniscient to conceive omniscience. The account is circular for the divine perfections."

• The reply runs through Divine Simplicity. God's attributes are not concepts God forms; they are identical with the divine essence itself. The divine ideas are God's knowledge of the ways His own essence can be imitated by creatures, so the creaturely universals (humanity, redness, triangularity) are divine concepts, while the divine perfections are just what God essentially is, not further concepts He must first entertain. There is no circle, because the perfections are on the side of the essence, not the ideas. See Universals for the fuller treatment.

MO2: "The aseity objection (Ockham's blade). If universals are necessary beings God must consult or conform to, then there is a realm of reality God did not create and is not sovereign over, which compromises divine Aseity. So the theist should be a nominalist."

• The dilemma is false. On theistic conceptualism universals are neither independent necessary beings alongside God nor created contingent things: they are the contents of God's own necessary thinking, internal to His nature. God does not "consult" an external Form-realm; He knows His own essence, and the universals are that self-knowledge. Aseity is preserved precisely because the universals are not outside God. Ockham's move to nominalism was an over-correction to a problem the Augustinian view already solves. (Ironically, nominalism then leaves God's own rationality and the laws of logic ungrounded, a worse result for the theist.)

MO3: "Even if sound, this only gets you a bare 'necessary mind,' not the God of Christianity. That is a long way from the Trinity and the resurrection."

• Correct, and the argument does not pretend otherwise; like every theistic argument it establishes one strand of the divine nature (a necessary, eternal, omniscient, immaterial intellect that grounds all truth), to be joined to the others in a Cumulative Case for Christian Theism. But note how much it delivers: an infinite Mind whose thoughts are the measure of all truth, logic, and number is already deeply congenial to the Christian doctrine of the Logos, the Word "through whom all things were made," in whom "are hidden all the treasures of wisdom and knowledge" (Colossians 2:3), and by whom "all things hold together" (Colossians 1:17). The argument does not reach the Trinity by itself; it reaches a Mind that Christian theology then names.

MO4: "Psychologism or evolutionary naturalism: the laws of logic are just how human brains happen to work, hard-wired by natural selection because reasoning that way aided survival."

• This confuses the cause of our believing the laws with the truth-makers of the laws. Even if evolution disposed us to reason logically, that would not make the law of non-contradiction true; it was true before any brain existed, and it would remain true if every brain vanished. Worse, if the laws were merely contingent features of evolved psychology, they would not be necessary, and all mathematics and logic would be species-relative accidents, which no one, including the objector making a universally-intended argument, actually believes. Grounding necessary truths in contingent brains gets the modality exactly wrong; grounding them in a necessary Mind gets it right. See Argument from Reason.

Live-cite kit

Scripture (for immediate deployment):

• John 1:1, "In the beginning was the Word (Logos)," the divine Reason in whom all rational order is grounded.
• Colossians 1:17, "in him all things hold together," the coherence of reality in the divine mind.
• Colossians 2:3, in Christ "are hidden all the treasures of wisdom and knowledge."
• 2 Timothy 2:13, "he cannot deny himself," God's self-consistency as the ground of non-contradiction (see Laws of Logic).
• Proverbs 8:22-30, divine Wisdom present with God at creation, the exemplar tradition's favorite text.

Scholarly (for credibility):

• Augustine, Eighty-Three Different Questions q.46 (De Ideis), the Forms as ideas in the mind of God.
• Thomas Aquinas, Summa Theologiae I.15, the divine ideas.
• Greg Welty, Theistic Conceptual Realism (Oxford DPhil), and James N. Anderson and Greg Welty, "The Lord of Non-Contradiction," Philosophia Christi 13 (2011), the argument from logic.
• Alvin Plantinga, "Two Dozen (or So) Theistic Arguments," the arguments from propositions, sets, properties, and numbers.
• Peter van Inwagen (the atheist-Platonist foil) and Paul Benacerraf ("Mathematical Truth," the access problem).

Aphorism (for the close):

• "You cannot deny universals without using them, and you cannot ground them without a mind."
• "A thought with no thinker is not an explanation; it is a ghost."
• "The laws of logic are not in your head; your head is under them, and so is everything else, which is why they belong to a Mind bigger than the world."

Tactical notes

Opening line:

"You believe two apples can both be red, that 2 + 2 = 4 everywhere, and that a claim can't be true and false at once. Good, then you already believe in universals. Now let me ask the only interesting question about them: what are they, and where do they live?"

Closing line:

"So you have three doors. Door one, deny universals, and you saw off the branch you argued on. Door two, let them float in a realm of thought-shaped objects that explain nothing about why they're necessary or how you know them. Door three, admit that a necessary, all-knowing Mind has been thinking them all along. You walked in already believing in universals. The only question was whether you'd follow them home."

See also

• Universals, the concept-side hub on the three-position trichotomy and divine-conceptualist realism
• Laws of Logic, the logic-specific grounding case (Anderson-Welty)
• Stealing from God Argument, Turek's broader argument that this one supplies the engine for
• Transcendental Argument for God, the presuppositional cousin (preconditions of intelligibility)
• Argument from Reason, the reliability-of-reason argument against naturalism
• Argument from Mathematics (Guillen), the mathematics-specific version
• Argument from Intelligibility, why the abstract fits the concrete world
• Divine Simplicity, the reply to the bootstrapping objection
• Aseity, the divine self-existence the conceptualist view preserves
• Cumulative Case for Christian Theism, where this strand joins the others