Universals

The Philosophical Problem of Sameness Across Difference

Two pieces of copper may conduct electricity; several triangles may be right-angled; two people may be courageous; many scientific specimens may belong to one species. In each case singular objects differ numerically, while a judgment applies the same description to them. The question of universals begins when this common application is treated as something requiring an account. Is the sameness a single constituent instantiated by several things, a resemblance among individual features, an objective arrangement of particulars, a disposition of the understanding, or an achievement of language? These possibilities offer different pictures of what reality contains and what knowledge accomplishes.

The issue has several distinct aspects. First, there is an ontological question: do repeatable properties or kinds exist, and if so in what manner? Second, there is a grounding question: what makes an individual truly red, human, charged, triangular, or related to another? Third, there is an epistemological question: how do finite thinkers acquire cognition extending beyond the particular cases they encounter? Fourth, there is a logical and semantic question: how do common predicates apply to many singular subjects? Fifth, there is an explanatory question: can natural laws, similarities, and classifications be understood without common worldly structures? A theory can be illuminating about the fourth question while leaving the second unresolved. This separation is indispensable to evaluating the rival traditions.

It is tempting to move immediately from ordinary sentences to an inventory of entities. Consider “This apple is red.” A grammatical analysis supplies a subject and a predicate. A metaphysical analysis must determine what, if anything, corresponds to the predicate apart from the apple and its actual manner of being. A realist may propose redness as a universal instantiated by the apple; a trope theorist may posit this apple's individual redness; a nominalist may explain the truth through the apple's primitive character or its relation to a class of resembling things. The sentence by itself does not determine which ontology is correct. The additional argument has to show why one account explains the truth more adequately than its alternatives (Armstrong, 1989; Stanford Encyclopedia of Philosophy, “Properties,” 2025).

For the purpose of this monograph, a universal in the strict metaphysical sense is a proposed entity whose numerically identical qualitative or relational character is capable of being instantiated by more than one distinct bearer. “Capable” matters: an entity's status as a universal may be understood dispositionally even if it is instantiated once, or never, depending on the theory. This working definition captures the central controversy without deciding in advance whether such entities exist. Broader historical uses of universal—including common words, general concepts, genera, and species—require explicit interpretation rather than automatic identification with this strict sense.

Terms, Categories, and the Structure of the Inquiry

The Greek expressions katholou (καθόλου, “universally” or “of the whole”), eidos (εἶδος, form or kind), and idea (ἰδέα, form) belong to different contexts and should not be compressed into one unchanging technical term. Latin universale, communis, natura communis, species, and genus likewise acquire specific meanings through logic, metaphysics, and theology. The scholastic formula for something predicable of many marks a logical role; the thesis that the same character exists in many bodies adds an ontological claim. The distinction is essential because the controversy often proceeds by moving between these levels (Aristotle, Categories; Aristotle, Metaphysics Z.13).

Three distinctions organize the investigation. The first separates universality from generality. A term is general if its established use can apply to many objects; a universal, according to realism, is a candidate part of what makes an application true. The second distinguishes repeatable characters from the individual occurrences of characters. The redness of this apple and that apple may be two particularized features, even if both are described with the same adjective. The third distinguishes kinds from properties and relations. “Human,” “red,” and “taller than” do different logical and explanatory work, and an ontology need not treat their worldly correlates uniformly.

These distinctions also expose two competing standards of theoretical adequacy. One asks for ontological economy: an account should avoid multiplying entity types beyond what is required. Another asks for explanatory articulation: an account should explain why a natural resemblance is real, why a classification is projectible, and why a law is more than a summary of observed instances. Both standards matter; neither functions as a complete decision procedure. A sparse ontology may require primitive relations that themselves demand interpretation, while a rich ontology may invoke an unexplained instantiation relation. The dialectic must compare complete systems, including their primitive commitments, rather than merely count their nouns.

Plato: Forms, the One Over Many, and Explanatory Priority

In Plato's middle dialogues, Forms become central to inquiry into what a plurality of beautiful, just, equal, or otherwise similarly characterized objects have in common. The explanatory direction is fundamental: singular things are called F because of their relationship to the Form F, rather than the Form being constituted by a mere collection of F things. The Republic associates the move to one Form with the many things designated by a common name (Republic 596a), while the Phaedo explores how sensibles may be equal or beautiful in virtue of participation in the relevant Forms (Phaedo 74a–75d, 100c–d). These dialogues do not present a single finished technical metaphysics; they establish problems of explanatory unity, intelligibility, and participation.

A strong reconstruction of the one-over-many consideration proceeds as follows. We correctly judge several particulars F. Their common F-character cannot be equated simply with their numerical identity, since the objects remain distinct. A single explanatory object, the Form F, therefore grounds their common qualification. The inference from shared predication to a single explanatory Form requires a substantial principle: whenever many things are F, there is one F-ness by virtue of which they are F. Without that principle, the conclusion does not follow. The historical significance of Platonism is that it turns the recurrence of qualitative descriptions into a question concerning what makes the descriptions intelligible and true.

Plato's account confronts the relation between Forms and their participants. If the Form is wholly present in distinct particulars, what becomes of its unity? If it is divided among them, what becomes of its integrity? If it exists apart from all participants, how does its independent being explain their concrete qualities? These questions are dramatized rather than concealed in Parmenides 130e–131e. Their force arises from taking both the unity of the Form and its explanatory involvement with plural particulars seriously (Plato, Parmenides 130e–132b).

The most celebrated objection is the regress at Parmenides 132a–b, subsequently associated with the “Third Man.” Suppose a set of large things is large because it participates in Largeness itself. If Largeness is itself large and the same one-over-many principle covers both the large particulars and Largeness, another Form is required to explain their shared largeness. Repeating the move generates an unlimited hierarchy. The regress needs identifiable assumptions: one-over-many, self-predication in the relevant sense, and a nonidentity constraint between a Form and the items whose character it explains. Rejecting or qualifying one of these assumptions provides the structure of several later responses; merely denying the regress without identifying its premises does not resolve it (“Plato's Parmenides,” SEP).

The lasting contribution of this critique is methodological. An explanation of common character must specify the nature of participation, the identity conditions of its proposed common object, and whether the explanatory object itself falls under the predicate it explains. A theory is incomplete if its explanatory unity remains purely verbal.

Aristotle: Substance, Predication, and Immanent Form

Aristotle preserves the concern with common form while contesting the separation of Forms from individual substances. The Categories distinguishes what is said of a subject from what is present in a subject, providing a framework in which singular persons and animals count as primary substances while their species and genera count as secondary substances (Categories 2a11–19). Accidental universals occupy a different position. This classification permits substantial and accidental predication without immediately assimilating every general predicate to a self-subsisting object (Aristotle, Categories, chapters 2 and 5).

The tension in Aristotle is philosophically productive. The species “human” can be said of individual human beings, but a primary substance is an individual, a “this.” The Metaphysics examines whether universal predicables themselves can be substances. Book Z, chapter 13, 1038b8–15, argues against identifying the substance of a singular thing with what is common to many: what belongs to several cannot simply be the individually proper substance of each. The Greek term katholou is at the center of this argument. Any interpretive claim that Aristotle straightforwardly endorses all modern “immanent universals” must therefore confront the distinction between the universality of predication and the actuality of individual form (Aristotle, Metaphysics Z.13).

One reconstruction distinguishes the intelligible content of a form from the way it exists in a concrete compound. The scholar abstracts a definition or grasps the what-it-is of a living thing; the actual organism exists as a distinct formed body. Formal explanation remains objective because the understanding aims at structures realized by things, although those structures need not exist as separately self-subsisting Platonic individuals. This reconstruction fits many Aristotelian themes, yet it cannot be treated as a direct quotation from one sentence of the Categories. Scholarship has long debated how Aristotle's account of species and form in the Categories coheres with the later arguments about substance in Metaphysics Z.

Aristotle's larger achievement is to connect universals with explanation, classification, and scientific demonstration. Scientific knowledge aims at general causes and what holds in relevant cases, while experience begins from encounters with particulars (Posterior Analytics I; Metaphysics A.1). How common explanatory content belongs to individual substances remains the central difficulty bequeathed to medieval metaphysics.

Porphyry and Boethius: The Medieval Question Takes Shape

Porphyry's Isagoge, an introduction to Aristotle's Categories composed in late antiquity, supplied a durable research agenda. In its opening discussion of genus and species, he sets aside three questions: whether they subsist or exist in thought alone, whether they are corporeal or incorporeal, and whether they are separate from sensible things or exist in them. This is an agenda rather than Porphyry's final resolution; attributing a definitive theory to these questions would reverse their explicit function. The Latin transmission, especially through Boethius's commentaries and translation, made this framework central to medieval logic and metaphysics (Porphyry, Isagoge, introductory questions, in Spade, 1994; “The Medieval Problem of Universals,” SEP).

Boethius developed a difficulty concerning what it would mean for a single thing to be wholly and simultaneously common to many distinct subjects. The shared item cannot simply possess one numerically identical act of individual existence while constituting the distinct substances of several particulars. Nor does treating the genus as a plurality of like components automatically explain their unity: the question returns at the level of the components. The result motivates an account of universals as objects of thought grounded in singular realities. The central distinction is between understanding something universally and that thing's itself existing universally.

The medieval triad often summarized as universalia ante rem, in re, and post rem describes, respectively, archetypes prior to things, common natures in things, and universal concepts arising through cognition. It is useful as a map of possible explanatory positions, but it is not a set of three mutually exclusive parties. A single medieval system may employ more than one level, for example divine exemplars, created natures, and human concepts. The historical dispute is about how those levels are related, how nature and individual existence are distinguished, and whether a cognitive representation can be genuinely common without requiring a separate common object.

Theological commitments further shaped the debate. Accounts of divine ideas must reconcile a multiplicity of exemplary intelligible contents with divine simplicity; accounts of human understanding must explain universal cognition through illumination, abstraction, or both. Treating medieval controversy as a simple vote between realism and nominalism misses the systematic connections between metaphysics, logic, psychology, and theology.

Avicenna: Common Nature and the Logic of Essence

Avicenna's analysis of essence influenced both Islamic philosophy and Latin scholasticism. His discussion of the nature considered in itself separates the meaning of a nature—his celebrated example is horseness—from properties accruing to it through existing in things or in an intellect. The conceptual content of horseness as such does not include singularity, multiplicity, mental existence, or extra-mental existence in its definition. This does not posit a horse floating free of all existence. It distinguishes what belongs to the essence in its own intelligible account from the modes under which it can be considered or instantiated (Avicenna, al-Shifāʾ, Ilāhiyyāt V.1; “The Medieval Problem of Universals,” SEP, §7).

This distinction supplies an influential answer to the apparent dilemma between a common thing and many individuals. Commonness in intelligible content need not entail an independently existing numerically identical object in a separate realm. An essence can be described without deciding whether it is conceived, instantiated once, or instantiated many times. Its indifference is logical and metaphysical in a carefully qualified sense; it does not by itself settle the disputed question of its real unity.

Avicenna also connects essence and existence to modality. In his metaphysical system, a possible being's essence does not explain its own existence. The distinction between what a thing is and whether it exists supports the analysis of natures considered abstractly from any particular instantiation. Importantly, this analysis enters the Latin debate through substantial historical translation and reception, not through a timeless identity between all uses of the word “essence” (“Ibn Sīnā's Metaphysics,” SEP).

The enduring philosophical issue is whether the distinction between essence and its conditions of existence can explain generality while preserving the reality of singular beings. A response that simply labels Avicenna a realist or conceptualist fails to show the work being done by his distinct levels of consideration.

Abelard: Universality in Language and the Status of Things

Peter Abelard criticizes theories that treat a universal as a concrete object present whole in many substances. The same individual cannot be numerically one and simultaneously be identical with several distinct individuals. Attempts to identify a universal with a thing under a certain description risk either converting an individual into a shared object or multiplying alleged universals until each belongs to exactly one subject. Abelard's emphasis accordingly falls on the predicability of expressions, not on a shared physical constituent.

His position has greater philosophical depth than the formula “universals are words” suggests. Common terms apply distributively to many individuals and possess informative meaning. Their ability to apply is connected with a status, or condition of being such-and-such, that is not itself an additional universal thing. The status provides a way to explain why a name has nonarbitrary application even though the general name does not name a general entity. His distinction between what expressions name and the informational content they convey already anticipates important semantic questions (“Peter Abelard,” SEP, §2).

The challenge is to articulate what supports the objective applicability of the term. If a status supplies a ground distinct from each word, the critic asks whether it is an ontological relabeling of a common feature. Abelard's reply is not simply to posit an unnoticed universal; the status is a way things are, not an additional common individual. His account makes the divide between explanatory facts and reified objects central to nominalist research.

Abelard is significant precisely because a denial of common substances does not entail a denial of objective correctness, meaningful classification, or structured understanding. A philosophical theory may deny the entity called a universal while accepting much of the explanatory work that originally motivated realism. The dispute then becomes a disciplined comparison of explanatory resources.

Aquinas and Scotus: Abstraction, Common Nature, and Individuation

Thomas Aquinas follows the Aristotelian and Avicennian problem through an account of essence and abstraction. In De ente et essentia, chapter 3, the nature of a thing can be considered absolutely, in concrete individuals, or as understood through abstraction. Universality belongs to a nature as conceived under a relationship to many, while the nature's extra-mental reality is always realized in individuals. The intellect may understand a nature apart from individuating conditions without thereby claiming that the nature exists outside things in precisely the abstract manner in which it is understood.

This position connects two questions that are often separated in contemporary debate. Why can one concept apply to several individuals? Because the intellect grasps a nature that can be considered without the individualizing circumstances. Why is the application objective? Because the individuals possess relevant real structures that ground the understanding's act. The account therefore combines cognitive abstraction with metaphysical realism about the intelligible natures of things, although it does not equate a universal concept with a separately existing object (Aquinas, De ente et essentia, chapter 3; “The Medieval Problem of Universals,” SEP, §7).

John Duns Scotus offers a more articulated account of common nature and individuation. His natura communis has a unity less than numerical unity, and a haecceitas, or thisness, contracts the common nature in an individual. The claim that a common nature is indifferent to numerical individuality is not the claim that a concrete human being shares literally all parts of existence with another. The theory seeks to ground real similarities and scientific concepts while explaining why two individuals are genuinely two (Scotus, Ordinatio II, d. 3, part 1, questions 1–6; “John Duns Scotus,” SEP, §3.3).

The distinction between whatness and thisness sharpens a problem any universals theory must answer. If many subjects have the same nature, what individuates them? Theories invoking matter, designated quantity, a specific nonqualitative principle, or primitive individuality answer differently. A theory of universals cannot be isolated from a theory of particulars: explaining sameness while leaving difference mysterious produces an incomplete metaphysics.

Ockham and the Transformation of Nominalism

William of Ockham denies that any extra-mental item is a universal in the required sense. In Summa logicae I.14 he explicitly distinguishes a sign capable of signifying many things from a thing numerically present in many. An intention of the mind may itself be one individual occurrence and nonetheless signify several individual objects; its semantic generality therefore does not require that it be an ontologically shared thing. The argument turns on the difference between what a sign is and what it signifies (Ockham, Summa logicae I.14, Latin text and translation).

Ockham's critique is rigorous because he proposes a positive account of mental and spoken terms, supposition, and predication. The universal belongs to the order of signs and concepts. Singular entities supply the ontology to which signs refer. The semantic ability to represent many is not a plurality contained inside the sign; one sign token can refer to, or be predicated of, many individuals. Thus a metaphysical dispute about shared things is reformulated as a logical dispute over reference, predication, and the status of conceptual acts.

This move has strengths and costs. It avoids puzzling claims about one entity located in several places and reduces pressure to multiply abstract objects. Yet a further question remains: why do some individuals correctly fall under a common sign? Appealing to the sign's natural or conventional function explains the sign's operation, but the facts in virtue of which particular applications are correct also require investigation. A fully developed nominalism must account for the worldly structures or primitive facts that make its semantic practice reliable.

The difference between Ockham and earlier realists should not be flattened into a contrast between thought and reality. Both accept singular realities, intelligible discourse, and rational inquiry. They dispute what ontology is required for the common meanings through which such inquiry proceeds.

Early Modern Generality: Locke, Berkeley, and Hume

Locke makes the production of general terms central to the inquiry. In An Essay Concerning Human Understanding III.3, he argues that general words stand for general ideas, formed by abstracting from the individuating circumstances of particular experiences. The function of generality is economical and cognitive: without general ideas, scientific and ordinary discourse would need a separate sign for every singular object. Locke's claim that universality belongs to signs and ideas rather than individual existents is explicit in III.3.11 (Locke, Essay III.3).

Locke's theory prompts a pressing objection. Can the mind form a completely determinate general representation that is independent of all particular specifications? A triangle considered without any determination as equilateral, isosceles, or scalene presents a difficulty if mental imagery must always be determinate. The issue is not simply whether classification occurs; it is what cognitive mechanism allows a particular representation to stand for indefinitely many cases without covertly representing a separate abstract object.

George Berkeley's criticism of abstract general ideas, developed especially in the Introduction to A Treatise Concerning the Principles of Human Knowledge, disputes the intelligibility of some abstractionist constructions. He permits particular ideas to function generally through their use as signs. David Hume explicitly develops the thought in A Treatise of Human Nature I.i.7: particular ideas become general in representation through association with general terms and habits enabling recall of similar particulars (Hume, Treatise I.i.7).

The early-modern debate shifts attention to representational powers. One token, image, or thought can have wide application; its being singular does not constrain its signification to one thing. This is a serious explanatory development, but it leaves the metaphysical structure of resemblance available for separate consideration. A theory of cognitive generality must not claim to have disproved universals merely by explaining how general ideas work.

Kant: Universality as the Form of Judgment and the Condition of Knowledge

Kant's critical philosophy transforms the problem of universality by investigating the conditions under which any judgment can have objective validity. In the Critique of Pure Reason, A68–69/B93–94, concepts are representations under which other representations can be brought, and judgment is a function of unity. A concept can apply to many representations; the act of judgment organizes their relationship to an object. This is an account of discursive cognition, not the declaration that a universal entity must inhabit every object of which a general predicate is true. The distinction between a concept's general applicability and a thing's constitution thereby becomes part of the transcendental examination of knowledge (Kant, Critique of Pure Reason, A68–69/B93–94).

Kant distinguishes general logic, which abstracts from the content of cognition, from transcendental logic, which asks how a priori concepts can apply to objects of possible experience. The categories have universal application to possible experience because they are implicated in the lawful unity of synthesis, not because we have perceived a free-standing example of substance or causality. The argument requires further steps: intuitions supply sensible matter, conceptual synthesis yields determinate object-cognition, and objective judgments presuppose conditions of a unified experience. The categories are correspondingly limited in their legitimate cognitive use by the conditions of sensibility (Critique of Pure Reason, B129–169; A137/B176 onward).

This relocation has consequences for debates about properties. The generality of a category such as substance is a transcendental condition of judging objects under lawful unity; it is not identical with a postulate concerning a repeatable constituent of those objects. Kant's account thus challenges an inference from the universality of the rules of thought to the existence of Platonic Forms, without reducing all objective necessity to convention. An individual empirical judgment remains answerable to experience, and judgments governed by the categories require objective validity within the domain for which the argument establishes them.

The contemporary relevance of this distinction is methodological. If a theory explains how common predication becomes possible for knowers, it has addressed a condition of intelligible experience. Whether the instances of an empirical predicate share a metaphysically identical property remains a further issue. Kant makes clear why the conditions of general thought and the ontology of common character belong together in a complete philosophy while admitting different standards of argument.

Hegel: Concrete Universality and the Structure of the Concept

Hegel reconstructs universality as a moment of the Begriff, or Concept, in the Science of Logic. His account treats universality, particularity, and individuality as internally related determinations rather than as three independently assembled items. In the Subjective Logic, the universal becomes determinate through particularization and achieves individuality as a conceptual unity with its differentiations. This is a different research program from determining how many objects instantiate one property, although it bears directly on what commonness can mean. The English expression “concrete universal” is useful only when its significance is explained through Hegel's systematic conception of conceptual self-determination (Hegel, Science of Logic, Doctrine of the Concept, section on the Concept).

An abstract universal is reached by setting aside the differences among instances and retaining a common mark. Hegel challenges this procedure as a complete philosophical description because it presupposes the particulars and leaves their determined relation to the common mark external. A concrete universal is intelligible through its determinations: the universal articulates itself in particularity and individuality. The philosophical ambition is to explain how unity has its own articulated differences rather than reducing every unity to a merely shared predicate. In the section on the Concept, Hegel insists on the interdependence of these moments, and in the treatment of definition and division he shows why systematic cognition proceeds through the structured differentiation of a universal (Hegel, Science of Logic, discussion of division).

The position can be assessed without forcing it into the realist–nominalist taxonomy. It addresses the logical and ontological relationship between kinds, their differentiation, and their singular realization in a systematic whole. Its explanatory power depends on whether such immanent conceptual development illuminates the determinations of actual things, and whether the transitions claimed in the Logic are warranted. Critics may accept that a class has structured internal relations while disputing that these relations follow from the dialectic of the Concept itself. The task is to identify the steps of the argument and test whether the determination is explanatory rather than merely a new way of redescribing the original relation.

Hegel therefore supplies an essential alternative to a thin conception of universality as simple repeatability. His philosophy asks about the unity of an intelligible system whose members are determinate through their relations. This question returns in modern accounts of structural kinds, explanatory dependence, and the distinction between natural order and arbitrary aggregate.

Classical Indian Debate: Sāmānya and Apoha

An adequate comparative history of universals must include the South Asian dispute concerning sāmānya, commonly translated in this context as a universal or generic property. Nyāya-Vaiśeṣika realists treat real common characters and kinds as central to predication, classification, and cognition. Their position connects knowledge of repeated features with an ontology that contains more than irreducibly isolated particulars. This should not be assimilated without qualification to Platonism; the logical vocabulary, theories of inherence, and categories of substances and qualities differ substantially.

Buddhist epistemological and semantic traditions associated with Dignāga and Dharmakīrti develop apoha, exclusion theory. Its central strategy is to explain general conceptual and linguistic reference without positing a real universal shared by the items to which a word correctly applies. The designation “cow,” in a familiar philosophical illustration, is articulated through exclusion of non-cows. This is an account of semantic differentiation linked to a philosophy in which ultimately real particulars are causally efficacious, while conceptual constructions operate at a different level of analysis (“Perceptual Experience and Concepts in Classical Indian Philosophy,” SEP, §4).

The comparison with Western nominalism is philosophically instructive in a limited and precise sense. Both traditions investigate how general thought and language function if extramental universals are denied; both must explain the discriminatory success of cognition. Yet apoha's account of exclusion, momentary particulars, and the epistemology of perception is historically and systematically distinctive. Calling it merely an Indian version of Ockham would obscure its distinctive argumentative premises.

The cross-traditional lesson is that the universals problem is neither confined to Latin scholastic classification nor exhausted by asking whether abstract entities inhabit a Platonic realm. It arises wherever general cognition is brought into relation with singular objects and where concepts must preserve reliable applicability across distinct cases.

Frege: Concepts, Functions, and the Logical Analysis of Generality

Frege's work makes the logical form of general predication more exact. In Funktion und Begriff (1891), he distinguishes a complete object from a function that requires an argument to yield a value. A concept is a function whose value is a truth-value. The concept under which Socrates falls is therefore not, in Frege's logical framework, another individual object of the same type as Socrates. This form of analysis sharpens the earlier distinction between what a predicate expresses and what a proper name designates (Frege, Funktion und Begriff, German original).

Frege's 1892 essay Über Begriff und Gegenstand confronts the paradoxes of speaking about concepts as though they were objects. If every grammatically complete nominal phrase referred straightforwardly to an object, discourse about “the concept horse” could distort the distinction the theory is designed to preserve. Frege distinguishes the logical role of a concept from the ordinary grammar used to discuss it. His analysis is not a straightforward denial that properties exist; its conceptual force lies in the claim that the function-argument structure of a proposition is not adequately represented by treating every component as an object in an inventory (Frege, 1892, original publication and manuscript metadata).

In his mature framework, the extension of a concept must also be distinguished from the concept itself. Two functions can agree on their arguments while their cognitive significance and place in a theory differ. Frege's work on extensions has a complex logical history, including the inconsistency affecting Basic Law V in the Grundgesetze. The relevance to universals is therefore specific: generality can be analyzed through quantification, functions, predication, and the form of propositions without assuming that an object's bearing a property is exactly the same relationship as an argument's falling under a concept.

This analysis influenced subsequent debates over higher-order quantification and the ontology of properties. It also warns against conflating an expression, its referent, a concept, an extension, and a metaphysical feature of its instances. The historical status of Frege's logical distinctions is independent of whether a philosopher ultimately endorses sparse universals, trope theory, or nominalism. Each of those views needs some account of the structure of general statements, but Frege's logical framework does not settle the ontological argument simply by its form (“Gottlob Frege,” SEP).

Husserl: Ideal Species, Eidetic Insight, and the Universality of Meaning

Husserl's Logical Investigations (1900–1901) returns to the objective ideality of meaning and logic in his criticism of psychologism. A logical law has validity exceeding the occurrence of any particular act of thinking it; multiple acts may intend the same meaning. Husserl accordingly distinguishes individual experiences from their ideal contents and species. The identity of a meaning across distinct utterances and experiences gives a new version of the one-over-many problem, now located within an account of intentionality, logic, and knowledge rather than simply the color or shape of physical bodies (“Edmund Husserl,” SEP, on ideality and the Logical Investigations).

In Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy, First Book (1913), Husserl develops the analysis of essences or eide and the possibility of eidetic cognition. Imaginative variation provides a method for testing which features can change while an object remains an object of the relevant type. For example, some changes of a presented triangular figure leave its being a triangle intact, while the elimination of its three-sidedness does not. The method proposes a form of insight into necessary structure rather than a statistical generalization from a collection of observed cases. It also requires scrutiny of the imaginative horizon and of what can count as genuine insight into necessity (Husserl, Ideas I and eidetic variation, IEP).

A crucial distinction is between an ideal species and the individual acts in which the species can be instantiated or intended. This invites comparison with realist theories of universals, but Husserl's account must be interpreted within a phenomenological analysis of constitution and intentionality. The question of how ideal identity is given in consciousness differs from the question of whether a red apple contains a literally multiply located redness. An account of intentional access cannot by itself decide every thesis about extra-mental instantiation.

Husserl also makes the relation between meaning and truth central. Two people may entertain one and the same mathematical proposition in numerically different mental acts. Explaining its identical meaning through psychological similarity alone risks making logical identity dependent upon variable subjective processes. The proposal of ideal meanings seeks to preserve the normativity and shareability of thought while clarifying how those meanings may be intended and fulfilled. It therefore complements realist and nominalist discussions by placing the epistemic evidence for universality itself under philosophical examination.

Russell and the Twentieth-Century Renewal of Realism

Bertrand Russell's The Problems of Philosophy (1912), chapters IX–X, renews a version of realism by asking about relations as well as qualities. The relation “north of” or “before” cannot be located simply inside one of its relata; it is a structure through which several terms stand in a determinate order. Russell consequently places universals in a mode of being distinct from physical objects and mental acts. Knowledge of relations and general principles becomes part of the case for an ontology extending beyond immediate particulars (Russell, The Problems of Philosophy, chapters IX–X).

A focus on relations exposes a weakness in some simple nominalisms. Even when colors or shapes can be analyzed through concrete feature-instances, the relation of resemblance by which instances are grouped may itself appear repeatable. If resemblance is an entity instantiated by several pairs, realism has returned. If resemblance is primitive, the ontology has avoided one kind of entity by accepting an unexplained structural feature. Neither decision is automatically illegitimate, but each determines where explanatory responsibility lies.

Twentieth-century analytic metaphysics adds an exacting question about ontological commitment. Quine's “On What There Is” (1948) examines how theories appear to commit us to the entities over which their accepted quantifiers range. The relevance to universals is methodological: the use of an adjective or predicate does not, by itself, guarantee that the theory quantifies over a property corresponding to it. Conversely, a regimented theory that explicitly quantifies over properties bears a corresponding ontological burden. The shift from superficial grammar to formal theory prevents a simplistic inference from “Socrates is wise” to the existence of Wisdom as a thing.

Here a further division emerges. One may accept abstract sets for mathematical or semantic reasons without accepting immanent repeatable qualities. One may accept objective character while refusing abstract property entities. A precise research dossier must therefore distinguish nominalism about universals from nominalism about abstract entities, numbers, propositions, or sets; these theses intersect without collapsing into one another (“Nominalism in Metaphysics,” SEP, 2025).

Armstrong: Immanent Universals and Scientific Explanation

D. M. Armstrong offers one of the most influential contemporary defenses of immanent realism. In Universals and Scientific Realism (1978) and Universals: An Opinionated Introduction (1989), he argues that genuinely identical qualitative characters and relations should be acknowledged where the best scientific account of the world requires them. The universe contains particulars and their states of affairs, in which particulars instantiate universals. It does not require a separate transcendent realm of uninstantiated Forms for every grammatically constructible predicate (Armstrong, 1978; Armstrong, 1989).

The account gains its force by explaining objective resemblance as a consequence of literally shared constituents. If two distinct charges have the same fundamental magnitude, their sameness is not simply an observer's judgment. Their states of affairs contain one and the same universal, instantiated in different particulars. The realist thereby introduces a direct worldly explanation of a correspondence that nominalists must treat through resemblance, classes, or primitive qualitative facts.

Armstrong's universals are sparse. Predicates formed by arbitrary disjunctions, negations, or contingent classifications do not automatically correspond to genuine universals. Physics and other empirical sciences are tasked with informing ontology about fundamental properties and relations. This is a promising constraint on indiscriminate realism, though identifying the precise set of sparse universals is an ongoing scientific and philosophical task rather than an accomplished list.

The analysis of states of affairs creates its own difficulties. What joins a particular to a universal without requiring an additional instantiation relation, and then a relation relating that relation? Armstrong treats the unity of a state of affairs as ontologically basic rather than a chain of separately glued parts. Whether this is explanatory closure or an acknowledged primitive is a legitimate question; the value of the theory lies in the explanatory work performed by its structured facts, not in an assertion that every relation has been reduced.

Resemblance, Class, and Predicate Nominalism

Nominalist theories contest the inference from shared character to literally shared entity. Predicate nominalism begins with the truth of statements applying a predicate to many particulars. It may treat that truth as basic, or ground it in conventions together with the actual features of the objects. The familiar difficulty is that arbitrary predicates apply equally well to very different groups, while natural similarities support deeper explanation. A semantic account that leaves the difference between accidental and lawlike classifications unexplained has yet to solve the full metaphysical problem.

Class nominalism identifies a property, for some purposes, with a set or class of its instances. This gives a precise extensional account of common membership: a and b fall under the same property if they belong to the relevant set. Extensional co-membership, however, does not fix qualitative identity. Two predicates may have the same actual extension despite different meanings or causal roles; a singleton world could contain only one red object and one spherical object, leaving an extensional identity where qualitative difference remains. Possible-world extensions refine the analysis but introduce commitments concerning modality and transworld similarity.

Resemblance nominalism takes similarity among particulars as primary. Instead of explaining the resemblance of red objects by their instantiating redness, it identifies the domain of red things through a network of resemblances. The proposal requires a disciplined theory of exact resemblance, degrees of resemblance, and the priority of comparison. A cherry may resemble a stop sign in color, a ball in shape, and an apple in biological constitution. Resemblance is many-dimensional; a bare statement that two things are “similar” is insufficient to pick out the relevant dimension without further principles.

The familiar regress objection is that the resemblance among red things resembles other resemblance relations, potentially requiring a common resemblance universal. A nominalist can block the regress by treating resemblance facts as primitive or by specifying a structural analysis that does not invoke repeatable relations as independent objects. The philosophical cost is the degree of primitive resemblance the system must acknowledge. The realist also pays a cost in the primitive relation of instantiation. A fair comparison weighs both explanatory primitives and their range of applications (Armstrong, 1989, chapters on primitive natural classes and resemblance; “Nominalism in Metaphysics,” SEP).

Tropes: Particularized Properties

Trope theories offer a third structure. They accept real characterizing items, but each such item is particular rather than numerically shareable. This apple has its own redness; another apple has another redness. These tropes may resemble exactly or to some degree, enabling general classification. Contemporary versions associated with D. C. Williams, Keith Campbell, and Douglas Ehring differ in their accounts of compresence, resemblance, persistence, and the construction of concrete objects; the family resemblance among the theories should not conceal these differences.

The trope theorist can explain the qualitative character of one thing without invoking an entity present identically in another. This makes the theory attractive to philosophers who regard immanent universals' simultaneous multiple location as problematic. In a bundle view, a concrete object may be understood through compresent tropes; in other theories, a substratum or bearer also figures. Tropes can be treated as truthmakers for some property attributions and as occupants of the causal structure of the world (“Properties,” SEP, §1.6).

The difficult question returns in the resemblance among tropes. If each particularized redness is irreducibly singular, what grounds the objective fact that both are red in precisely the same respect? Trope nominalists have proposed resemblance classes, primitive resemblance, and further structural resources. These options should be evaluated separately. A theory that posits a universal resemblance relation would cease to be an unrestricted nominalism about universals, although mixed ontologies are possible.

A further challenge concerns how tropes compose substances. If an apple consists of a collection of particularized qualities, what unifies them as qualities of this apple rather than several loosely associated events? Compresence can supply the primitive unity, but then it must be differentiated from mere spatial coincidence. Trope theory is strongest where it provides an account of individuality, property attribution, and natural similarity within one coherent metaphysical framework.

Instantiation, the Relational Regress, and Predication

Realists claim that an individual instantiates a universal. The apparent explanatory success of this claim can mask a question about how the instantiation fact itself obtains. If a and F are two entities and I is a third relational entity joining them, then a further relation may appear necessary to join a, F, and I, producing a regress reminiscent of Bradley's concern with relations. The defender can instead maintain that the state of affairs a's being F is primitively unified or that instantiation is not a further freely standing entity. The philosophical burden is to specify how the unifying fact differs from simply redescribing the statement it was intended to explain.

The regress has different consequences depending on the goals of the theory. If the goal is to reduce all relational unity to constituents, a basic instantiation tie is a significant limit. If the goal is to explain qualitative repeatability while accepting some structured facts as primitive, the account may remain coherent. A theory is defective when it combines incompatible claims, not merely because it terminates analysis somewhere.

A semantic distinction is equally important. The predicate “red” is an expression governed by linguistic rules; the proposition that a is red is a truth-evaluable content; the fact that a is red, if there is such a fact, is a worldly condition. These three levels have different identity and persistence conditions. A sentence may be uttered many times without creating many distinct universals; conversely, two languages may describe the same objective character with unrelated expressions. A general theory must explain cross-linguistic and cross-contextual applicability.

The strongest metaphysical arguments take predication as an explanandum and demonstrate what ontological commitments are required for its truth. They do not treat grammatical repetition as an immediate proof of repeatable entities.

Identity, Individuation, and the Scope of Repeatability

The existence of a universal would mean that several bearers are F in virtue of one and the same qualitative or relational item. The bearers themselves remain numerically different. The question of individuating them is therefore not an afterthought. Scotus invokes common nature and haecceity; other traditions emphasize designated matter, spatiotemporal position, causal histories, or primitive identity. A trope theorist may find individuality in the unrepeatability of constituent tropes. A bundle-of-universals theory must explain the possibility of numerically distinct entities with all the same properties.

The Identity of Indiscernibles is relevant here. If every property of a and b is the same, must a and b be identical? The answer depends on which properties count, whether spatial relations are included, and how individuality itself is understood. A universal realist who admits two distinct particulars with exactly the same universals needs a principle of individuation not reducible simply to qualitative difference. This observation places the universals controversy within a wider metaphysics of identity.

The contrast between a universal and a particular is also sensitive to the interpretation of location. Some realists understand the same universal as wholly present wherever it is instantiated; others interpret instantiation without ordinary spatial location. A theory must state its locative commitments clearly. A universal “in” an object can mean an ontological constituent, explanatory ground, or causal determinant rather than a literal physical part that could be extracted.

These concerns show why the simplistic picture of one abstract thing being copied into many objects has little diagnostic value. Serious theories distinguish numerical identity, instantiation, manifestation, and cognitive representation. Their different uses of “the same” must be investigated before the comparative assessment begins.

Sparse and Abundant Properties

One axis of disagreement concerns how many properties there are. An abundant conception correlates properties with a very wide range of meaningful conditions or sets of possible instances, including highly disjunctive or relational descriptions. A sparse conception admits relatively few properties, selected for their genuine role in causality, laws, and objective resemblance. David Lewis's “New Work for a Theory of Universals” (1983) is important for articulating this contrast and for showing how properties can contribute to distinguishing natural from gerrymandered classifications (Lewis, 1983).

The disagreement changes the form of the universals question. A sparse realist can deny a universal corresponding to “being red or a prime number” while retaining universals for fundamental charge, mass, or structural relations. An abundant theorist may accept a property for every precisely defined condition in a semantic or modal theory. Neither position alone determines whether properties are immanent or transcendent. The dimensions of abundance and mode of existence must be kept apart.

Sparse realism must answer how higher-level classifications are grounded. Biological, chemical, and psychological categories often play explanatory roles without mapping one-to-one onto properties of fundamental physics. The theorist may allow derived properties, structural patterns, or realized kinds, but then must explain how such entities relate to the sparse basis. An abundant theory must explain why some properties have predictive and causal significance while many others do not.

The category of naturalness is useful precisely because it distinguishes predicable membership from causal and explanatory unity. A viable ontology should represent both the logical abundance of descriptions and the selective structure of the world. Whether a single kind of entity can do both jobs remains contested (“Properties,” SEP, §3.2).

Natural Kinds, Scientific Laws, and Objective Classification

Universals connect directly with the philosophy of science when kinds are treated as objects of discovery. Chemical elements, molecular structures, biological lineages, and physical particle types invite different accounts of what makes a classification natural. Some theories identify kinds with universals; others treat kinds as clusters of causal properties or historically maintained patterns. Scientific success does not by itself dictate a universal realist ontology. It does constrain accounts that would render successful classification merely conventional.

A simple essence-based view holds that membership in kind K depends on a set of necessary and sufficient intrinsic characteristics. This captures some chemical classifications, but biological species and other historically evolving categories present complications. Their unity may involve ancestry, reproductive relations, ecological niches, or causal homeostasis rather than one shared microstructural essence. A metaphysics of universals must allow the classification practices of different sciences to challenge its preferred examples.

Natural-kind realism therefore need not entail that every natural kind is literally one universal. Brian Ellis and E. J. Lowe treat kinds as metaphysically significant categories; other philosophers favor clusters or structural accounts. Armstrong's own restrictions on what qualifies as a universal illustrate the difficulty of simply converting all kinds into repeatable qualitative constituents. The literature accordingly distinguishes the existence of natural kinds from the claim that they are reducible to property universals (“Natural Kinds,” SEP).

Laws of nature present a connected problem. If the same physical relation links properties across many cases, realism offers an ontology in which laws express relations between universals. Alternatives explain regularities through patterns, modal structures, dispositions, or primitive laws. The principal question is what grounds counterfactual stability and explanatory reach. A pattern limited to observed cases cannot by itself settle what would happen under unobserved conditions.

The decisive lesson is that the metaphysical debate must remain responsive to science without claiming that any current scientific theory has experimentally detected universals as such. Scientific models constrain the ontology through their explanatory commitments; they do not themselves resolve every philosophical distinction concerning property identity or instantiation.

Universals, Causation, Dispositions, and Powers

The relation between a property's character and its causal role marks another decisive fault line. For a dispositionalist, what a property is may be bound up with its manifestations under certain conditions. Electrical charge is connected with how charged entities interact; solubility concerns possible dissolution under suitable conditions. A categoricalist can instead distinguish an intrinsic property from its contingent causal or nomic role. These positions affect the identity conditions of universals, especially across possible worlds.

If a property is identified wholly by its causal powers, a universal's sameness across cases can be established through a stable profile of possible manifestations. That proposal risks circularity if the manifestations are themselves individuated through the properties they are meant to identify. It also faces the challenge of masking and finks: a disposition may remain present even when circumstances prevent its expected manifestation. Any causal account must distinguish possession, manifestation, and conditions of activation.

A realist can hold that genuine universals are causal ingredients of states of affairs. A trope theorist can take individual tropes as causally efficacious. A nominalist can locate causal power in concrete particulars and their basic arrangements. The question is therefore not whether causation is available to one camp but how each ontology specifies its causal relata and explains systematic similarities.

This debate reveals why explanatory economy should be measured globally. A theory can reduce its categories of entities while increasing its primitive modal, causal, or resemblance facts. Another theory can posit universals while reducing several explanatory relations to their instantiation. Comparative philosophy should weigh the total structure of commitments rather than the rhetorical simplicity of a single definition.

Mathematics, Relations, and the Ontology of General Truth

Mathematics intensifies the question because mathematical claims range over indefinitely many possible or constructible cases. The Pythagorean theorem applies to every right triangle in the relevant geometry, including ones never physically drawn. Does its validity require a universal triangular nature, an abstract structure, a proof-theoretic rule, or another foundation? The mathematical case demonstrates the breadth of the generality problem without entitling a realist to identify numbers, sets, geometrical properties, and immanent qualities as one ontological kind.

A useful distinction separates universal quantification from ontological universals. A theorem of the form “for every x, if x is a right triangle, then ...” is logically universal in scope. Whether the predicates refer to metaphysical universals is a separate issue. Formal logic can state general laws in a first-order language whose quantifiers range over individuals. Higher-order theories may quantify over predicates or properties, but their ontological interpretation is itself contested. Syntax must not decide metaphysics by stipulation.

Relations are especially revealing. “Taller than” relates two objects; “between” may require three places; symmetry and transitivity concern structural features of relational patterns. A metaphysical account that covers only monadic qualities such as red and square cannot claim to cover universals generally. The treatment of relational instantiation has implications for spacetime structure, measurement, and mathematical representation.

Russell's defense of relation universals is one historically influential response. Modern set-theoretic and structural approaches offer alternatives, but identifying a relation extension with a set of ordered tuples raises familiar questions about coextension, modal variation, and explanatory priority. The stronger analysis must distinguish a relation's actual extension from its rule of application and from the worldly pattern that makes relational facts true.

Cognition, Concepts, and the Acquisition of General Knowledge

The epistemology of universals begins from a striking capacity: finite minds can judge indefinitely many instances by a single rule. Ancient and medieval theories emphasize apprehension of form, abstraction, illumination, or the grasp of essences. Early-modern theories emphasize abstraction and associative representation. Contemporary cognitive science studies concept learning, prototypes, exemplar models, and categorization. These investigations illuminate the mechanisms of general cognition, but their results must be interpreted carefully when applied to the ontological question.

A prototype may explain typicality judgments without establishing that the category's members share one defining universal. An exemplar-based model may explain classification through remembered cases without denying that objective structures ground their similarity. A neural or computational representation may implement a classification rule without determining whether that rule corresponds to a real universal. Cognitive mechanisms and metaphysical truthmakers occupy different explanatory levels.

The realist still faces an epistemic challenge: how does cognition reach entities that are not individual sensory objects? The nominalist faces a related challenge: how can judgments over novel and counterfactual cases reliably track objective similarities without common natures? Each account should specify how experience, inference, and conceptual practice interact. The assertion that “we abstract” or “we simply recognize similarity” is an initial description, not yet a complete theory.

General concepts also have normative dimensions. A judgment can be mistaken even when its speaker consistently applies a word. The possibility of error indicates standards of correct application that exceed mere subjective association. Such standards may be grounded in world structure, communal linguistic practice, inferential roles, or combinations thereof. This observation supports an explanatory demand, though it does not settle which ontology satisfies it.

Universals, Meaning, and Truthmaking

The semantic problem concerns how one expression can truthfully characterize many distinct objects. In a realist semantics, predicates may be related to properties that serve as their semantic values. In nominalist or deflationary semantics, predicates may be interpreted through satisfaction relations without a corresponding entity for each predicate. Distinguishing the semantic apparatus of a formal language from the metaphysics its users endorse prevents equivocation.

Truthmaking arguments begin from a different point. Given a true proposition such as “a is red,” what in the world makes it true? Armstrongian realism proposes a state of affairs containing a and the universal redness. A trope theorist proposes a particularized redness or a suitable concrete feature. A strict nominalist may appeal to a primitive fact about a. All three accounts acknowledge the truth; the controversy concerns the structure of its ground.

The truthmaker approach is useful insofar as it forces metaphysics to explain specific truths rather than the abstract existence of a category of entities. Yet a universal is not required merely because a sentence has a predicate. A general theory should specify the strongest truthmaker cases—natural qualitative facts, relational structure, dispositional regularities—and test rival accounts on them. It should also avoid treating logical connectives, negations, and disjunctions as automatically supplying a separate universal for each sentence-form.

The identity conditions of semantic properties matter. Two predicates can be necessarily coextensive and still differ conceptually; conversely, two theoretically distinct descriptions may be discovered to track a single physical quantity. An account based solely on actual extensions cannot directly explain these differences. A theory based on excessively fine-grained properties may lose touch with natural explanation. The central task is to articulate what kind of sameness is relevant to each use.

The Case for Realism: A Critical Reconstruction

The strongest realist argument can be reconstructed as an inference to the best explanation. Its first premise is that distinct particulars exhibit objective, scientifically significant qualitative and relational similarities. Its second premise is that these similarities require grounds capable of supporting reliable explanation across cases and possible observations. Its third premise proposes that shared, repeatable universals provide a systematic ground: the same character explains why different particulars qualify alike. If the alternative theories leave more unexplained primitives or fail to capture naturalness and counterfactual stability, realism has a comparative advantage.

This argument does not take general words as an ontological proof. It begins with objective patterns and the explanatory economy of grounding many such patterns through a limited basis. Its strength is greatest where the relevant similarities have precise, causally productive roles. The account becomes less compelling when indiscriminately extended to every conventional classification, arbitrary disjunction, or socially instituted category.

The objections remain formidable. How can a universal be one while instantiated in numerically different locations? What constitutes the unity of instantiation? Which universals exist, and how can their existence be known? If many predicates correspond to no universal, what principled criterion separates genuine from merely linguistic generality? Can universals remain real if no instance exists? The immanent realist answers the final question differently from the transcendent realist, and the accounts require separate treatment.

Realism therefore succeeds as a philosophical proposal only when it pairs the explanatory claim with an account of instantiation, individuation, naturalness, and epistemic access. Its strength lies in integrated explanatory scope, not in the mere appeal to shared character.

The Case for Nominalism: A Critical Reconstruction

The strongest nominalist argument begins from the actuality and individuality of the world. It holds that concrete particulars, together with their arrangements, relations, causal powers, and semantic practices, can explain general predication without positing an additional class of multiply instantiable entities. The argument notes that invoking a universal does not eliminate primitive structure; the theory still needs instantiation, identity conditions, and criteria for which repeatables are real. If a rival account explains the phenomena with fewer or more intelligible commitments, nominalism gains a comparative advantage.

Its attraction is especially clear in the explanation of language: a single general sign can refer to many distinct objects without becoming an entity shared among the referents. Medieval nominalists, Locke, and later analytical philosophers show that the generality of symbols is a tractable issue in its own right. The nominalist also avoids the metaphysical puzzles surrounding trans-spatiotemporal identity of properties.

The challenge is explanatory adequacy. The existence of correctly formed general sentences does not explain objective similarity. Class membership by itself does not explain why a class is natural. Resemblance requires a dimension and standard of similarity. Tropes need resemblance and unity. A theory that treats every relevant worldly pattern as primitive may save one ontological category at the cost of explanatory proliferation.

Nominalism thus succeeds as a philosophical proposal only when it specifies the reality that fixes true general judgments and stable causal classification. The relevant question is not whether its inventory contains the word “universal” but whether it provides a coherent structure for the tasks universals were introduced to perform.

Comparative Assessment: What the Rival Accounts Actually Explain

The main theories provide different explanatory centers. Transcendent realism privileges independently intelligible Forms; immanent realism privileges repeatable characters instantiated in concrete facts; Aristotelian and scholastic approaches relate common natures to singular existence and abstraction; conceptualism emphasizes the understanding's general representations; predicate and class nominalism emphasize signs or extensional groupings; resemblance nominalism emphasizes patterns among individuals; trope theories posit particularized characterizing features. These descriptions are useful only if the theories are then assessed with respect to the same questions.

On objective resemblance, immanent realism has an immediate unifying explanation but faces the instantiation problem. Trope theory characterizes individuals directly but needs an account of resemblance among tropes. Resemblance nominalism takes similarity as primitive, a legitimate theoretical choice whose adequacy depends on the range and specificity of the primitive facts. On semantic generality, nominalist and conceptualist theories often have an advantage of directness: a sign's many possible applications need not be explained as one entity in several locations. On natural-law explanation, property realism may provide a stable ontological basis, while alternative modal theories seek equivalent explanatory power by other resources.

On scientific kinds, the result is mixed. Some fundamental categories may be plausibly described by shared physical properties; others involve causal histories, clustered features, and practical classificatory decisions. On mathematical generality, quantifier logic alone does not establish whether relations and properties are entities. On the epistemology of universals, theories must account for the transition from situated experience to valid general knowledge without confusing a psychological mechanism with the truth of its output.

An illuminating comparison therefore asks what each system admits as primitive, which problems it genuinely resolves, and how well its principles can be extended to the full range of scientific, logical, and ordinary practices. There is no philosophical gain in claiming that one label—realism or nominalism—answers every version of the question by definition.

Open Problems and Current Research Directions

One active question concerns the identity conditions of properties. Is a property determined by its causal role, by its place in a system of laws, by its instances across possible worlds, by its intrinsic qualitative nature, or by a more fine-grained structure? Different answers generate different kinds of universals, and an account may accept one while rejecting another. The growing importance of hyperintensional distinctions shows why mere coextension, even across possible worlds, can be insufficient for some explanatory purposes (“Properties,” SEP, revised 2025).

Another question concerns higher-level properties. If fundamental physical universals exist, what is the standing of biological, psychological, and social regularities? Reductive, emergent, structural, and pluralist accounts propose different relations between levels. A metaphysics that recognizes only fundamental properties needs an account of the explanatory success of higher-level categories; one that admits many levels must clarify whether its properties are autonomous, dependent, or merely classificatory.

A third issue involves vague and context-sensitive predicates. “Tall,” “healthy,” and “intelligent” have shifting standards; their applicability may depend on comparison classes or institutional practices. These examples require an account of gradability and context rather than an automatic declaration that every predicate denotes a universal. Yet the presence of context sensitivity does not by itself make all its underlying dimensions conventional.

A fourth question concerns the boundary between ontological and semantic explanation. Some philosophical models successfully formalize general reference while remaining neutral concerning repeatable entities. Others invoke properties as the objects of quantification in scientific and modal discourse. A rigorous debate must distinguish a convenient semantic model from a commitment to the independent existence of what its formalism represents.

Finally, metaphysical inquiry remains open to changes in the sciences and in the theory of explanation. Its standards are argument, conceptual clarity, accurate interpretation, and explanatory integration. A final list of universals is neither a prerequisite for meaningful inquiry nor a warranted result of the historical evidence assembled here.

Philosophical Synthesis

The history of universals reveals a durable explanatory problem with several independent dimensions. Plato establishes the aspiration to ground many qualifications in an intelligible unity and exposes, in the Parmenides, the dangers of insufficiently specified participation. Aristotle connects common form with individual substance and scientific understanding. Porphyry and Boethius articulate the relation between the universality of thought and singular existence. Avicenna, Aquinas, and Scotus develop distinctions among nature, cognition, and individuation; Abelard and Ockham construct sophisticated accounts of general signification without common extra-mental substances. Early-modern epistemology asks how abstract or general thought is possible. Contemporary metaphysics compares repeatable properties, classes, resemblance, tropes, and objective naturalness.

These arguments support a disciplined analytical conclusion: five different problems must be answered in a coordinated manner. The ontological problem concerns what reality contains. The instantiation problem concerns what grounds a singular object's character. The epistemological problem concerns access to repeatable or repeatably applicable structures. The semantic problem concerns the generality and correctness of predicates. The scientific problem concerns the naturalness and counterfactual robustness of classifications. Resolving one problem by itself does not constitute a solution to all five.

The comparative evidence also supports an order of inquiry. Begin with a specified field of objective similarities and explanatory tasks; determine which distinctions are required to describe them; identify the basic commitments of each proposed ontology; reconstruct its strongest arguments; test those commitments against individuation, relations, and natural kinds; only then assess economy. This method gives realist and nominalist proposals a common standard of evaluation without imposing an artificial reconciliation.

The concept of universality thus marks a point where logic, ontology, knowledge, and explanation meet. A philosophically adequate theory must disclose the relation among these domains while allowing them their different functions. The achievement of the historical debate is the refinement of the questions through which such a theory can be judged.

Conclusion

Universals are the proposed repeatable grounds of common character, predication, and kind-membership. The central dispute concerns whether several distinct things may instantiate one and the same feature, whether objective similarity can be explained through particularized features or primitive resemblance, and how general knowledge and language relate to singular reality. The ancient and medieval traditions show that these are interconnected problems with distinctive ontological, logical, and epistemological dimensions. Contemporary debates extend the problem into natural properties, causal powers, kinds, and the theory of scientific explanation.

No single grammatical observation or everyday act of classification decides the ontology. The strongest versions of realism make precise explanatory claims concerning shared qualitative structure; the strongest versions of nominalism make precise claims concerning the sufficiency of singular realities, resemblance, and signs. Both must explain the correctness of general judgment, the naturalness of some classifications, and the unity or individuality of their fundamental constituents.

The durable result of this investigation is a clarified standard for future research: theories of universals must be judged by the complete explanatory architecture connecting objective character, instantiation, individuation, concepts, meaning, and lawlike generalization. The problem of universals remains foundational because it asks how distinct realities can belong to a common intelligible world.