Aristotle's theory of universals

A theory that universals exist immanently in individual substances rather than separately from them.

Version

v1 · 2026-09-28 · History

Domain-specific #

7566

Origin domain

Aristotelian Metaphysics

Core Idea

Aristotle's theory of universals, often described as hylomorphic immanent realism, holds that a universal exists only as instantiated in individual substances rather than as a separately existing entity. A universal is a type, property, or relation common to multiple particulars—redness in red things or humanity in individual humans—but it has no independent Platonic realm apart from those instances. Hylomorphism treats an individual substance as matter informed by form. The shared form can occur in many particulars, while each substance also bears accidental differences that do not determine the kind.

How would you explain it like I'm…

Redness Lives in Red Things

Lots of things are red: apples, fire trucks, strawberries. Aristotle thought "redness" is real, but it isn't floating somewhere by itself; it only exists in red things. And you learn what "dog" means by meeting lots of dogs and noticing what they all share, not from some magic dog-idea kept far away.

Shared Forms Inside Real Things

A universal is something many things can share, like the redness of all red things or the humanness of all people. Philosophers argued about whether universals are real. Aristotle's answer was that they are real, but they only exist inside the actual things that have them, not in some separate world of their own. Each thing is made of material shaped by a form, and many things can share the same form while still having their own small differences. We learn universals by experiencing many examples, remembering them, and noticing what's important that they all share, while ignoring the unimportant details.

Universals Exist in Particulars

Aristotle's theory of universals is often called immanent realism. It says universals, the types, properties, or relations shared by many particular things, like redness or humanity, are real, but they exist only in the individual things that have them. That contrasts with Plato, who said universals (Forms) exist separately in their own realm, and with nominalism, which says there is no real shared nature, only shared names. Aristotle's hylomorphism explains each individual substance as matter shaped by form: the same form can be in many individuals, while each also has accidental features that don't define its kind. We come to know universals through experience, by comparing things we remember, abstracting what is essential, and ignoring accidental details. Saying two things share a universal means they are qualitatively the same, not that the universal is an extra object sitting beside them.

 

Aristotle's theory of universals, often characterized as hylomorphic immanent realism, holds that universals exist only as instantiated in individual substances, not as separately existing entities. A universal is a type, property, or relation common to multiple particulars, such as redness in red things or humanity in individual humans, and it has no independent Platonic realm apart from its instances. Hylomorphism analyzes each substance as matter informed by form: the shared form can occur in many particulars, while each also bears accidental differences that do not determine its kind. To say several objects instantiate the same universal is to assert qualitative sameness, not to posit the universal as another ordinary object located beside them. Epistemically, knowledge of universals begins in experience: the intellect compares remembered encounters, abstracts the essential commonality, and discards accidental details, as when a learner acquires the concept of a human being by recognizing the relevant form across different people. The theory thus answers the problem of universals by holding that universals are real, that they exist in their instances, and that they are known by abstraction. It differs from Platonic realism, which gives Forms separate existence, and from nominalism, which denies a real common nature beyond names, and it is unrelated to mathematical notions like universal properties or universal sets.

Scope of Application

Aristotle's theory of universals applies to metaphysical and epistemological arguments that jointly affirm real common natures, locate them immanently in individual substances, and explain knowledge of them through abstraction from experienced particulars. - The problem of universals. — answer whether common natures exist, where they exist, and how they are known through the realist–immanent–abstractive conjunction. - Aristotelian substance metaphysics. — locate form and matter together in individual substances rather than separating universal form from its instances. - Hylomorphic analysis. — distinguish the form relevant to a substance's kind from the matter and accidental features of each individual. - Types and natural kinds. — explain how many particulars instantiate one common kind without making the kind another ordinary substance.

Clarity

Aristotle’s account makes it possible to affirm that many particulars genuinely share one universal without placing that universal in a separate realm. Redness or humanity is real in the things that instantiate it, but it is not another ordinary object alongside the red things or humans. This distinguishes immanent realism from Platonic separation on one side and from nominalist reduction to a shared word on the other.

Manages Complexity

Debates about universals entangle claims about shared qualities, individual substances, language, knowledge, and separately existing Forms. Aristotle's account reduces the dispute to three linked questions—whether the universal is real, where it exists, and how it is known—and answers them through a small set of roles: concrete particulars, a shared form instantiated in them, accidental differences among them, and an intellect that abstracts the common nature from experience.

Abstract Reasoning

Aristotelian reasoning about universals moves from encountered particulars to a shared intelligible form. From several individual humans or red objects that differ accidentally, to the concept of humanity or redness, the intellect attends to the relevant qualitative sameness while disregarding features that vary without changing the kind or property. The inference does not create the common nature merely by naming it; the theory takes that nature to be really instantiated in the particulars from which it is abstracted.

Knowledge Transfer

Within Aristotelian metaphysics, the theory transfers across discussions of substances, qualities, kinds, and knowledge when universals are real but immanent in individuals and known by abstraction. Concrete particular, shared form, accidental difference, instantiation, hylomorphic composition, and intellectual abstraction carry intact; diagnostics ask whether the universal is separately existent, merely nominal, or immanent. Science and classification share a type–instance problem, but Aristotle's substance–form–matter ontology and epistemology remain home-bound. A statistical category, repeated feature, or Platonic Form is not this theory merely because many cases resemble one another; literal transfer stops when those Aristotelian commitments are absent.

Relationships to Other Abstractions

Current abstraction Aristotle's theory of universals Domain-specific

Parents (1) — more general patterns this builds on

• Aristotle's theory of universals is a kind of Theory Prime

  The target is the metaphysical and epistemological problem of universals; particulars, hylomorphic substances, common forms, and intellect are its explicit constructs; immanent multiple instantiation and abstraction from experience connect those constructs into propositions; and the account entails rejections of both separately existing Forms and mere nominal sameness.

Hierarchy paths (2) — routes to 2 parentless roots

• Aristotle's theory of universals → Theory → Formalization → Representation → Abstraction

Show alternative path (1)

Neighborhood in Abstraction Space

Aristotle's theory of universals sits in a sparse region of the domain-specific corpus (84^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

• Dialectical monism — 0.82
• Hendiadys — 0.82
• Immaterial Spatial Entity — 0.81
• Ubuntu philosophy — 0.81
• Locke's place-time-kind principle — 0.81

Computed from structural-signature embeddings · 2026-10-08