The universals debate is one of the oldest and most persistent problems in Western philosophy: whether abstract general terms - “redness,” “humanity,” “justice,” “triangularity” - refer to something that genuinely exists, or whether they are merely useful fictions, mental constructs, or linguistic conventions. The question bears on the foundations of logic, mathematics, science, theology, and ethics. After more than two millennia of argument, no consensus has emerged, and the dispute continues to divide analytic metaphysicians, philosophers of language, and philosophers of mathematics.

The core contested question is ontological: what is the status of properties, kinds, and relations that appear to be shared across multiple distinct individuals? When two red apples are both said to be “red,” does their shared redness point to something real beyond the apples themselves, or is the generalization a product of how minds or languages carve up the world?

Realist positions hold that universals exist independently of the particular things that instantiate them and independently of any mind that thinks about them. The redness shared by two red objects is not merely a label or a mental grouping - it is a genuine feature of reality that explains why those objects resemble one another and why predications like “this apple is red” are true. Realists argue that without mind-independent universals, the success of science in discovering natural laws and kinds becomes mysterious: laws of nature appear to be generalizations over types, not just lists of particular events.

Platonic or “transcendent” realists, following the tradition attributed to Plato, hold that universals exist in a realm entirely separate from the physical world - the Form of Redness exists whether or not any red thing exists. Aristotelian or “immanent” realists hold instead that universals exist only insofar as they are instantiated in particular things: redness exists in the red objects, not apart from them.

Contemporary realists such as David Armstrong defend a version of immanent realism, arguing that universals are required to ground objective relations of resemblance and to make sense of causal and nomic necessity. Without universals, they argue, it becomes unclear what distinguishes a genuine natural law from an accidental generalization.

Nominalist positions deny the existence of universals as anything beyond names or mental categories. Two red objects are not united by sharing a common entity called “redness” - they are simply two objects to which the same predicate is applied, whether by convention, resemblance, or habit of mind. The nominalist contention is that positing abstract entities multiplies ontology beyond necessity and introduces explanatory problems of its own - most famously, how a particular ever “participates in” or “instantiates” a universal.

Several distinct nominalist strategies have been developed. Predicate nominalism holds that objects share nothing beyond being called by the same name. Resemblance nominalism, associated with H.H. Price and later refined by David Lewis's counterpart theory and by Gonzalo Rodriguez-Pereyra, holds that what unites the class of red things is sufficiently close resemblance to paradigm cases, without any need for a shared abstract entity. Trope theory - treated as a distinct viewpoint on this wiki, though sometimes classified within the nominalist family - holds that what exist are particular property-instances (this specific redness of this specific apple), and that apparent universals are just classes of resembling tropes.

Nominalists frequently invoke Ockham's razor: if resemblance relations among particulars can explain everything realists attribute to universals, the posited universals are idle and should be cut. They also argue that the realist's account of “instantiation” - the relation between a particular and the universal it exemplifies - generates a regress (the “Third Man” argument, most famously pressed against Plato): relating a particular to a universal requires a further relation, which requires another, and so on.

Conceptualist positions occupy a middle ground: universals exist, but only as concepts in the mind, not as features of mind-independent reality. Associated historically with Abelard and, in a different form, with Kant - whose conceptualism is bound up with his transcendental idealism, treating concepts as cognitive structures that organize experience rather than as free-standing mental contents - conceptualism holds that the mind genuinely classifies and organizes experience under general concepts, and those concepts are real, but their generality is a feature of cognition, not of the external world.

Conceptualists argue that this avoids both the extravagant ontology of Platonic realism (a separate realm of Forms) and the explanatory thinness of predicate nominalism (which seems to make all classification arbitrary). Mental concepts, they argue, are not arbitrary: they are constrained by experience and by the structure of the world, even if they do not correspond to mind-independent universals. Critics press conceptualists on whether this position collapses into either nominalism (if concepts are just mental names) or a form of idealist realism (if concepts genuinely structure reality).

In the philosophy of mathematics, a related dispute concerns whether mathematical objects - numbers, sets, functions, geometric forms - are universals that exist independently (Platonism), are mental constructs (intuitionism and constructivism), or are merely useful formal systems with no ontological commitment at all (formalism and fictionalism). Mathematical Platonists such as Frege and Gödel argued that mathematical truths are discovered, not invented, and that this best explains the unreasonable effectiveness of mathematics in physical science. Critics argue that Platonic mathematical objects, being causally inert, cannot explain how humans come to have mathematical knowledge - an epistemological objection that has proven difficult to answer.

Structuralist positions, associated with Paul Benacerraf and later elaborated by Stewart Shapiro and others, argue that mathematical objects are positions in structures rather than independent abstract entities - an attempt to secure objectivity without committing to full-blown Platonism.

A contested downstream question concerns whether natural kinds - species, chemical elements, particle types - are genuine universals grounded in nature (natural kind realism), social or theoretical constructs (constructivism about kinds), or simply pragmatic groupings that serve scientific purposes without carving nature at metaphysically real joints. Scientific essentialists such as Brian Ellis and Caroline Lierse argue that natural kinds have real essences that ground causal laws. Nominalists about kinds, following Nelson Goodman and W.V.O. Quine, argue that “natural” versus “artificial” kinds is itself a distinction that cannot be made without bringing in human interests or theories.

Most participants across all positions agree that the debate has genuine consequences: positions on universals bear on the foundations of logic, the interpretation of mathematics, the metaphysics of science, and the status of normative properties in ethics. There is also broad agreement that neither naive Platonism (an unanalyzed “realm of Forms”) nor bare predicate nominalism (universals as nothing but names) is adequate without significant elaboration. The most active contemporary debate is not between blunt realism and blunt nominalism but among more refined positions: immanent realism, resemblance nominalism, trope theory, and various forms of structuralism.

• Universals - Main Topic
• Scholasticism
• Realism - Viewpoint
• Nominalism - Viewpoint
• Conceptualism - Viewpoint
• Mathematical Platonism - Viewpoint
• Trope Theory - Viewpoint
• Resemblance Nominalism - Viewpoint
• Metaphysics - Consensus

1. Armstrong, D.M. Universals and Scientific Realism. Cambridge University Press, 1978.
2. Armstrong, D.M. Universals: An Opinionated Introduction. Westview Press, 1989.
3. Abelard, Peter. Logica Ingredientibus (c. 1120). Trans. in P.V. Spade, Five Texts on the Mediaeval Problem of Universals. Hackett, 1994.
4. Benacerraf, Paul. “What Numbers Could Not Be.” Philosophical Review 74, no. 1 (1965): 47-73.
5. Benacerraf, Paul. “Mathematical Truth.” Journal of Philosophy 70, no. 19 (1973): 661-679.
6. Ellis, Brian, and Caroline Lierse. “Dispositional Essentialism.” Australasian Journal of Philosophy 72, no. 1 (1994): 27-45.
7. Goodman, Nelson. Fact, Fiction, and Forecast. Harvard University Press, 1955.
8. Loux, Michael J. Metaphysics: A Contemporary Introduction. 3rd ed. Routledge, 2006.
9. Plato. Parmenides. Trans. Mary Louise Gill and Paul Ryan. Hackett, 1996. (Contains the “Third Man” objection at 132a-b.)
10. Quine, W.V.O. “On What There Is.” Review of Metaphysics 2, no. 5 (1948): 21-38.
11. Rodriguez-Pereyra, Gonzalo. Resemblance Nominalism: A Solution to the Problem of Universals. Oxford University Press, 2002.
12. Shapiro, Stewart. Philosophy of Mathematics: Structure and Ontology. Oxford University Press, 1997.
13. Wigner, Eugene. “The Unreasonable Effectiveness of Mathematics in the Natural Sciences.” Communications in Pure and Applied Mathematics 13, no. 1 (1960): 1-14.