Properties

The Subject of Properties

Reality presents things as determinate. A leaf has a color and a shape; a stone has mass, chemical composition, temperature, and location; a person has biological capacities and stands in legal and familial relations. When a quality is attributed to a bearer, philosophical investigation asks what makes the attribution true and what sort of entity, if any, the attributed quality is. The question becomes pressing because different objects can be alike in one respect and different in another, while a single object can gain and lose many characteristics through time. Properties appear in ordinary perception, scientific explanation, logic, semantics, theories of essence, and theories of mind. A satisfactory account must address this diversity without merely equating a metaphysical feature with the word describing it.

The word property can designate a repeatable universal, a particular quality, an abstract set, a way an individual is, or a role in a formal theory. Different authors employ these senses differently. The contemporary philosophical literature identifies predicability and exemplifiability as central points of orientation, but the question whether properties are ultimately universals or tropes remains contested (Orilia & Paolini Paoletti, 2026; Maurin, 2024). We therefore begin with a functional identification of the research subject. A property is a proposed respect of determination in virtue of which an entity can be truly characterized. This working characterization opens the inquiry; it does not stipulate the ontology that will close it.

Four basic demands organize the problem. Determination asks what it is for something to be red, heavy, charged, or fragile. Resemblance asks why two numerically different things can be the same in an intelligible respect. Truth asks what makes a particular predication correct. Explanation asks what ontological roles properties play in laws, mechanisms, kinds, and causal powers. The demands may be addressed by one entity or divided among different structures. A theory that succeeds at the semantics of predication might nonetheless leave resemblance unexplained; a theory of sparse physical universals might be inadequate as an account of every meaningful predicate.

The range of the subject is consequently broader than the traditional problem of universals. Universals concern the possibility of repetition or sharing. Properties concern all determination, including localized qualities, negative and relational characteristics, accidental changes, dispositions that never manifest, and conceptual classifications. The analysis of universals belongs within this broader inquiry, while retaining a philosophical identity worthy of separate sustained treatment.

Definition and Ontological Commitment

In the sentence “the apple is red,” the grammatical predicate expresses redness. From that surface form alone, no inventory of the world follows. A realist may interpret the statement as an apple instantiating a universal. A trope theorist may invoke this particular apple's redness. A nominalist may appeal to the apple and its objective resemblance to other red things, or analyze the statement without positing a qualitative item additional to the apple. In first-order logic F(a) represents predication, but the interpretation of the predicate's truth does not determine the existence of a property-object designated by F.

Quine's “On What There Is” (1948) gives the distinction between grammatical generality and ontological commitment a systematic form. Commitments become visible through the objects over which a theory must quantify in order for its claims to be true. The use of the general adjective “red” is therefore distinct from a commitment to an entity called redness. The latter may arise from indispensable quantification over properties, but even this requires attention to adequate paraphrases and to the purposes of the best theory. Ontology cannot be read mechanically from ordinary grammar (Quine, 1948; Bricker, 2014).

A second distinction separates a predicate's extension from the property, if any, that the predicate expresses. The extension of “is red” at a time comprises the things correctly called red. Such sets can change over time; a realist may nonetheless regard redness itself as the same universal. Two different predicates can also have the same extension without being equivalent in meaning or explanatory role. A theory identifying properties with sets therefore needs to say whether a property is determined by its actual extension, its extensions across possible worlds, a more fine-grained intension, or something else.

A third distinction concerns dependence. Even if redness is admitted as real, it does not follow that redness exists independently of every red item. A transcendent realist can allow uninstantiated properties; an immanent realist may insist that universals exist only where instantiated; a dependent trope may exist only as the determinate redness of this bearer. A theory of properties is therefore also a theory of what is metaphysically prior and what cannot exist without something else.

The analysis that follows tests each position by its commitments concerning identity, determination, attribution, resemblance, and dependence. These tests provide a common philosophical language without prejudging whether there is a common kind of entity fulfilling all five roles.

Plato and the Problem of Participation

Plato's Parmenides articulates the problem of common determination through the relation of Forms to particular things. The young Socrates distinguishes the Form itself from the things participating in it. Several large objects are large by relation to largeness; several like things are like through likeness. This supplies a natural explanation of the one over many: a plurality of different individuals can exemplify one intelligible characteristic (Plato, Parmenides, 130a–131e).

The dialogue immediately raises a cost. Is the Form wholly present in all participants, and if so how does one entity occupy what seem to be separated sites? If only parts of the Form are present, its unity may be lost. Participation names the relationship, but naming it is not an analysis of its metaphysical nature. The famous regress concerning a Form and its participants adds that if all are alike through an additional common character, one may apparently require another Form, and then another. The force of this argument depends on assumptions about self-predication, the distinctness of a Form from its instances, and whether likeness must always be explained by a further universal.

The Parmenides also resists indiscriminate abstraction. It questions whether Forms exist for such things as human beings and the elements, and even for mud and hair. The issue is not whether one can grammatically manufacture a noun from a predicate. It is whether a genuine explanatory universal belongs to each proposed classification. Contemporary arguments about sparse properties are not historically identical to this discussion, but they confront a related problem of selectivity.

Plato's contribution establishes an enduring philosophical structure. Commonality calls for an account, while that account must clarify what sharing and participation amount to. The theory of Forms should be approached as a serious proposal about objective intelligibility, together with its internal interrogation, rather than a simplistic assertion that properties live in an inaccessible realm.

Aristotle and the Ontology of Attribution

Aristotle distinguishes being said of a subject from being in a subject. In the Categories, a species can be predicated of an individual, whereas a particular whiteness can be in a body without being predicated of it in the relevant categorical manner. Primary substances are neither said of nor in a subject (Categories 1a20–2b6). These distinctions reveal that general classification and ontological dependence are not the same relationship. The fact that a human belongs to a species differs from the inherence of a specific quality.

The Aristotelian category of quality includes stable characteristics, capacities, passible qualities, and forms or shapes. Its internal variety matters for modern discussions because the possession of a capacity is not identical to its actual manifestation, and because the bearer of a quality can remain in existence while the quality changes. Aristotle's analysis of substances gives philosophical priority to the individuals whose changes and states are being explained. In Metaphysics Z.13, his argument that universals are not substances in the relevant primary sense challenges one explanation of substance without simply abolishing every common characteristic.

Aristotle's discussion of form and essence adds a further distinction. Some determinations concern what a thing is; others concern how it happens to be at a moment. A painted wooden object remains wooden when its paint changes, while certain changes in constitution alter the very kind of entity involved. The analysis of these differences requires a conception of form, matter, and persistence; a list of predicates alone cannot decide the matter.

Aristotle also provides the conceptual ancestry of dispositional metaphysics through powers and potentialities. A capacity can be real even when inactive. Modern theories of causal powers may be compared with this tradition, provided historical differences are preserved: contemporary counterfactual semantics, modal logic, and physical interpretations should not be retroactively ascribed to Aristotle.

Medieval Transformations of Universality

Medieval theories developed the problem of universals through disputes concerning common natures, individuation, intellectual abstraction, and general terms. Broad labels of realism, nominalism, and conceptualism conceal important differences. A common nature need not have the same sort of unity as a numerically individual substance, and a universal concept in the mind need not be an additional individual nature existing outside thought.

Thomas Aquinas develops an Aristotelian account relating the natures of concrete individuals to the intellect's universal mode of understanding. Duns Scotus distinguishes a common nature from the further principle by which a nature belongs to a particular individual; his account makes individuation an explicit metaphysical problem. William of Ockham refuses many of the realist's independent universal entities and relocates explanatory work to individuals, concepts, and general signs. In Summa logicae I.14, his account treats a universal concept as a numerically single mental act or sign naturally capable of signifying many things; linguistic generality consequently does not require a universal object repeated in those things (Ockham, Summa logicae I.14; Klima, 2022). These positions differ in ontology, epistemology, and logical theory. Their shared question is how language and intellect attain generality when encounters with the world concern particular things (Klima, 2022).

The medieval discussion established an enduring separation among three kinds of generality: the common character attributed to things, the general concept through which things are understood, and the general expression that applies to many. An adequate theory must show how these are related. Explaining the semantics of a universal term does not yet explain the world's objective order; postulating an objective common nature does not yet explain the cognition of that nature.

The historical result remains important to contemporary philosophy: a dispute about whether universals exist is also a dispute about what constitutes individuality and how thought and speech connect with reality. The problem of properties inherits these issues and adds questions about causal relevance, science, and modality.

Locke, Hume, and the Early Modern Question of Qualities

Locke's Essay Concerning Human Understanding II.viii separates primary qualities from secondary qualities. He treats solidity, extension, figure, motion or rest, and number as primary, while secondary qualities of bodies are understood through their powers to produce sensations in perceivers. This account distinguishes material constitution from the experiences that constitution brings about (Locke, 1690/1853, II.viii.9–15, 23–26).

The point is more sophisticated than a declaration that perceived colors are unreal. An object has real capacities to produce characteristic experiences; whether the perceived color resembles a quality in the object is another question. Locke thereby presents a model in which a true attribution can involve powers, physical structure, and perceptual relations. The contemporary debate about response-dependent properties continues to explore how such dependence can be stated without denying the objective bases of responses.

Hume turns to the mechanisms of abstraction. In Treatise I.i.7, he argues that particular ideas can function generally through customary connections and relations of resemblance. His examples of color and shape show how the mind can attend to different aspects of one impression without separating an allegedly free-standing universal from the determinate instance. This gives a rich psychological account of general representation, though the metaphysical explanation of objective similarity remains open.

Locke and Hume approach different aspects of properties. Locke emphasizes qualities as powers and their epistemic presentation; Hume emphasizes the general use of ideas and the act of comparison. Reading them together establishes that the metaphysics of determination and the theory of abstract representation intersect without collapsing into the same inquiry.

Universals and Contemporary Realism

Realism about properties holds that objectively shared characteristics are best accounted for by real universals. Russell's Problems of Philosophy, particularly chapters IX and X, emphasizes that relations and general characteristics appear necessary to understanding truths that are not just reports of individual sensations. The universal, on a realist account, is what can be literally common to distinct instances.

D. M. Armstrong's Universals and Scientific Realism (1978) gives immanent realism a powerful scientific orientation. The realist does not automatically infer a fundamental universal from every predicate; genuine universals answer to objective resemblance and the explanatory structure investigated by science. Armstrong's later account of states of affairs integrates universals with particulars in the structure of determinate facts (Armstrong, 1997).

The most important argument begins with the objectivity of similarity. Suppose two stones have exactly the same mass. Their numerical difference is compatible with sameness in a determinate respect. The realist explains this by their instantiation of one repeatable property. This explanation is attractive because it makes the world's order prior to our decision to name it. The controversial step is the claim that objective similarity requires a numerically identical constituent. A trope theorist can accept objective similarity while positing two exactly resembling mass-tropes; a nominalist may consider resemblance primitive.

Realism must then explain how universals are instantiated. A transcendent universal exists independently of its instances, which raises questions of connection and epistemic access. An immanent universal exists through its instances, raising the issue of how one universal is present in several distinct objects. The existence of the universal also does not by itself establish that the bearer and property form a unified state of affairs. The realist's ontology must solve or explicitly take as primitive this further problem.

These obligations do not refute realism. They show that realism is a complete explanatory proposal with multiple commitments, whose success should be measured against rival solutions to resemblance, predication, and causal structure.

Nominalist Alternatives

Nominalism comprises several ontologies. Some theories deny universals but allow tropes. Stricter nominalisms reject any special qualitative constituents and instead analyze the truth of property discourse through concrete particulars, classes, resemblance, predicates, concepts, or grounding. The contemporary treatment of nominalism emphasizes the need to separate these theses rather than treat nominalism as one uniform view (Cowling & Giberman, 2025).

Class nominalism may equate a property with the set of its instances. Its immediate attraction is economy: sets can collect objects sharing an extension. Yet arbitrary sets are as plentiful as natural-looking ones. The set containing all red objects and all objects in a specified building does not thereby mark an objective kind. If class membership is the whole analysis, it cannot explain why some classes correspond to natural similarities and others are merely enumerations.

Resemblance nominalism puts similarity itself at the center. But a red sphere resembles a blue sphere in shape and a red cube in color. Resemblance has respects and degrees, and a theory that explains those respects by properties risks circularity. A strong nominalist therefore must explain which resemblance patterns are basic or show how they can be recognized without presupposing the kinds of property denied.

Predicate or concept nominalism offers an account of how speakers and thinkers classify things. It explains the generality of expressions but faces the question why two independent thinkers can classify previously unknown objects correctly. The classifications may answer to mind-independent features even when the metaphysics of those features is disputed.

Nominalism thus exchanges the realist's challenge of shared universal identity for challenges of objective classification, the naturalness of resemblance, and the reality grounding predicative truth. Philosophical assessment should identify which nominalist alternative is being examined and what explanatory burden it accepts.

Tropes and Particularized Qualities

A trope is a particularized qualitative feature. The redness of one apple is numerically different from the similar redness of another. Trope theory thereby acknowledges qualitative reality while refusing the inference that different bearers possess one literally identical universal. Donald C. Williams's “On the Elements of Being: I” (1953) and Keith Campbell's Abstract Particulars (1990) are important historical formulations. Maurin (2023) explains the many varieties of trope theory and their common concern with particularized natures.

Tropes are attractive as candidate truthmakers and causal relata. This apple's particular redness can explain the truth of the statement that this apple is red without requiring redness in general to be located at the apple. The view also captures the thought that experience gives us qualities of individual things rather than detached universals. Yet perceptual immediacy does not decide the metaphysics; a realist may account for the same experience through states of affairs that include universals.

Two problems recur. First, what makes tropes resemble one another? If resemblance is grounded in their primitive natures, similarity is a fundamental fact. If similar tropes constitute natural classes, the theory must say whether those classes explain resemblance or are themselves constituted by it. Second, what makes a collection of tropes one object? Compresence and other proposed unifiers must distinguish genuine individual objects from arbitrary bunches of qualities.

A further difference concerns dependence. A trope may be conceived as essentially dependent on its bearer, or as a qualitative particular capable of entering different bundles under suitable circumstances. The first picture secures inherence more readily; the second permits recombination but demands a stronger theory of unity. Trope theories therefore disagree not only with realism but also among themselves about the status and identity of their fundamental entities.

Instantiation and the Unity of Facts

The statement that an object instantiates a property raises the problem of how the object and property form one determinate reality. If a particular, a universal, and an instantiation relation are treated as three entities, the question may return concerning how the relation connects the two original relata. If another relation is introduced, a regress threatens. This is the background of the Bradley-style regress discussed in contemporary theories of exemplification (Orilia & Paolini Paoletti, 2026).

A realist can treat exemplification as primitive, so that no further relational entity is necessary. Armstrong's theory of states of affairs offers another strategy: a particular's being F is a fundamental unity with particular and universal as constituents. Whether this is explanatorily sufficient depends on whether a state of affairs is understood as something more than an unexamined collection.

Trope bundles encounter analogous questions. If a bundle consists of distinct qualitative tropes, their compresence must be understood. Treating compresence as another trope threatens a similar regress unless the theory has a principled stopping point. Nominalist theories may avoid the connecting relation but inherit the demand to explain why the predication is objectively true.

An infinite explanatory series is not automatically vicious. It becomes a problem when the proposed explanation of unity requires the same unexplained unity at every successive step. Therefore every theory must identify what is basic and what explanatory work is carried by its primitives. The need for a primitive alone is no decisive objection, since any ontology may ultimately require fundamental structure.

Sparse and Abundant Properties

David Lewis's “New Work for a Theory of Universals” (1983) distinguishes a relatively sparse stock of natural properties from a much more abundant stock corresponding to broadly available predicate or class constructions. Sparse properties are supposed to mark objective similarities and contribute to causal and scientific explanation. Abundant properties can include disjunctions, negations, and highly artificial combinations.

The division is not a matter of counting properties. Sparse properties may be indefinitely numerous. Their distinctive characteristic is the admission criterion: they answer to the natural structure of reality. A predicate such as “charged or admired by Plato” can be meaningful while failing to single out a unified natural determination. Abundant properties serve semantic and formal purposes that do not require their correspondence to fundamental causal powers.

The difficulty of a sparse ontology is determining what genuinely cuts nature at its joints. Science is relevant, but contemporary empirical models are revisable. If all sparse properties are identified by current microphysics, the ontology may be prematurely restricted. If a metaphysical criterion of naturalness is substituted, the theory must explain how that criterion is known. Chemical, biological, and psychological descriptions create additional questions: some higher-level properties may be scientifically indispensable although grounded in more fundamental arrangements.

The abundant conception avoids arbitrary restrictions on semantic expression but encounters issues about identity and overpopulation. If every meaningful predicate designates a property, distinctions between causal structure and linguistic invention may disappear. A coherent metaphysics can employ abundant properties for semantic analysis while reserving explanatory privilege for a sparse subset, provided that it states clearly which sense of “property” is operative.

Intrinsic and Extrinsic Properties

An intrinsic property is commonly introduced as a respect in which an entity is the way it is independently of its surroundings; an extrinsic property depends on relations to other entities or conditions. Ordinary examples distinguish mass from weight, or shape from being an uncle. Philosophical analyses complicate those examples and the underlying definition (Marshall & Weatherson, 2023).

Lewis's duplication test proposes that perfect duplicates share intrinsic properties even when their environments differ. This account connects intrinsic character with internal qualitative sameness. Yet what counts as perfect duplication is itself contested, and certain properties that appear necessarily coextensive can differ in their apparent dependence. Other analyses employ notions of accompaniment, aboutness, grounding, or internal structure. These are related proposals with different explanatory commitments.

The distinction also clarifies change. When an individual becomes admired by a distant audience without undergoing any corresponding immediate internal alteration, a relational predicate changes in truth value. A change in the individual's temperature involves a different kind of determination. The tradition of distinguishing genuine from merely Cambridge change provides a philosophical vocabulary for this contrast.

Intrinsic is not synonymous with essential. The temperature of a stone can be intrinsic in a context while accidental to the stone's continued identity. Extrinsic is not synonymous with unreal. Legal ownership, ecological position, and institutional status can be genuine relational determinations. An adequate account specifies the bearer and the kind of dependence involved instead of treating all extrinsic features as merely linguistic.

Essence, Accident, and Modal Identity

An essential property is frequently defined through necessity: the object could not exist while lacking it. An accidental property is one the object possesses but could have lacked. This modal characterization is influential, yet the question of essence also asks what a thing is and why it remains that thing through possible change (Robertson Ishii & Atkins, 2023).

Essence is connected to individuation and identity. If something's origin is essential, a counterfactual world containing a qualitatively identical object of different origin may contain another object, not the original one. If a certain structural constitution is essential to a kind, destroying that structure may eliminate the kind's instance even when much matter remains. Such claims require arguments concerning transworld identity rather than merely the observation that a predicate is widely applicable.

The identity conditions of properties themselves also raise modal difficulties. Actual coextension is too weak if different properties happen to characterize all and only the same objects. Necessary coextension may remain too coarse for hyperintensional distinctions, where the explanatory contents of two expressions differ despite modal equivalence. An account individuating properties by their causal roles reaches different conclusions from one individuating them by their categorical identities.

Some modern accounts treat essences as explanatory grounds for metaphysical necessities rather than products of a prior theory of possibility. This shifts attention from asking only which predicates an object has in all worlds to asking what constitutes the object or property. Property ontology must therefore coordinate essence, necessity, and the conditions under which an entity retains its identity.

Dispositions and Categorical Properties

Fragility, solubility, and conductivity are dispositional properties: they concern characteristic manifestations under suitable conditions. Glass can be fragile without ever shattering; a chemical can be soluble without ever being dissolved. Their reality therefore appears independent of whether a manifestation actually occurs (Choi & Fara, 2021).

Simple conditional definitions face masking and interference. A fragile object may not shatter when struck because of protective conditions, while a resilient object may break under extreme pressure. “Would break if struck” is an inadequate general analysis without specifying triggers, background circumstances, and the relevant counterfactual domain.

Categoricalist theories distinguish a property's qualitative identity from the causal powers it happens to exhibit. Dispositional essentialists instead assign at least some properties identities partly or wholly constituted by their causal roles. This changes the interpretation of laws of nature: if the powers are essential, the same properties cannot have radically different interactions across possible worlds; if categorical identities are independent, distinct nomic arrangements may be metaphysically possible.

The powerful-qualities approach treats a property's qualitative and dispositional aspects as belonging to one fundamental character. Its appeal lies in integrating what a thing is with what it can do. The challenge is to articulate the integration without merely repeating that the two aspects are identical. The debate thus concerns property identity, modality, and explanatory priority, not only which adjectives count as dispositions.

Properties and Laws of Nature

The metaphysics of laws is deeply connected with the identity and causal roles of properties. Regularity theories explain laws through patterns of actual events, perhaps supplemented by criteria such as simplicity and systematic strength. Armstrong, Dretske, and Tooley propose a different approach involving nomic relations among universals (Carroll, 2025). On the latter kind of account, a law involving Fs and Gs reflects an objective relation between the corresponding universals, above the accidental fact that each observed F has been G.

These accounts differ over what makes a generalization lawlike. The mere number of observed instances may not distinguish a contingent pattern from a robust physical law. Invoking a necessitation relation seeks to explain that distinction but raises the question what such a relation is and how we learn that it holds.

Empirical science adds another constraint. Physical magnitudes are embedded within theoretical frameworks and measurement practices. A property ontology must distinguish the measured value, the mathematical representation, and the purported underlying feature. The presence of a variable in a successful equation does not automatically settle which metaphysical entities exist. Conversely, a decision to paraphrase away property language does not explain why some generalizations are reliably projectible.

Properties at different explanatory levels present a further problem. Chemical organization, biological function, and psychological capacity may be grounded in physical arrangements while doing explanatory work at their own levels. The inference from dependence to dispensability is controversial. An adequate account must clarify what is fundamental, what is derivative, and what remains scientifically real.

Relations, Structure, and Grounding

Relations extend the problem of properties beyond monadic predicates. Being a parent, being heavier than another body, and being located between two objects concern multiple relata. The ontology may treat relations as universals, as facts about ordered tuples, as structural features, or as patterns grounded in other states of affairs.

A relational property such as being a sibling can be expressed grammatically as a property of one bearer, yet its truth depends on other individuals and facts. Reshaping the logical sentence does not by itself establish that a one-place property is metaphysically identical with a two-place relation. Realist and nominalist accounts must specify how relational determination is individuated and instantiated.

Structural properties create questions about wholes and parts. A system may possess a configuration or symmetry not predicable distributively of each of its components. Whether such properties reduce to intrinsic features of parts and their arrangement is a substantive metaphysical question. Some relations may be grounded; others may be considered fundamental.

Grounding is helpful because it separates the reality of a feature from its fundamentality. An institutional status can depend upon legal rules and recognized procedures while remaining a real, consequential characteristic of its bearer. Similarly, an organism's biological function may depend upon organized structures without being an arbitrary label. The analysis of properties therefore belongs in a theory of dependence as well as a theory of shared qualities.

Truthmakers, Meaning, and Scientific Classification

Property attributions have truth conditions. What makes “this leaf is green” true? The realist may invoke a state of affairs including a leaf and the universal green; the trope theorist may invoke a particular greenness; the nominalist may appeal to the leaf and the relevant facts without recognizing a universal. This truthmaker question exposes the ontological differences hidden by common grammar.

Truthmaking is distinct from verification. A spectrometer or controlled observation may be used to test a claim, but the measurement procedure need not be the fact in virtue of which the claim is true. Similarly, a predicate's usefulness in semantic composition does not prove that it names a sparse physical property.

Negative and disjunctive predicates show why this matters. If the leaf is not blue, must there be a property of non-blueness? If the leaf is either green or situated in a garden, must the world contain a disjunctive property over and above the relevant facts? Abundant semantic properties may handle these expressions, while a sparse metaphysical theory may decline to recognize additional fundamental constituents.

The appropriate analysis holds apart predication, property reference, truthmaking, and classification. Their interactions matter, but an argument establishing one does not automatically establish all the others.

Mental, Normative, and Institutional Properties

In philosophy of mind, property theory helps formulate the relation between mental descriptions and physical realizations. A mental capacity may have different material realizations; whether this establishes a distinct mental universal, a higher-level pattern, or a particularized functional state depends on the metaphysics adopted. The problem of mental causation is sharpened by asking whether mental and physical properties are competing causal relata or distinct descriptions of one organized event.

Normative properties present questions about justification and value. Calling an act unjust invokes a feature whose grounding in natural facts, reasons, or practices is itself debated. The metaphysics of properties supplies tools for distinguishing reductive naturalism, nonreductive realism, and constructivist approaches, but does not decide substantive moral philosophy by definition.

Institutional properties such as citizenship or legal ownership depend on socially established rules, valid procedures, and collective recognition. They can be extrinsic yet causally and legally consequential. Their reality need not imply that they are sparse microphysical universals. They illustrate why an ontology must distinguish real dependence from fundamental independence.

The broader lesson is that the philosophical subject of properties extends across disciplines while individual domains can require different theories of realization and justification. General metaphysics should not erase domain-specific evidence.

The Determinable and the Determinate

The statement that a flower has color differs from the statement that the same flower is scarlet. Color is a determinable; scarlet is a more specific determination, or determinate, within that determinable. The distinction is important because a thing can instantiate a determinable by instantiating one of its determinates. In ordinary cases, having a specific determinate entails having the corresponding determinable: being scarlet entails being colored. The reverse implication fails because being colored does not identify which color is present.

Determinables can form ordered hierarchies. Being colored is less specific than being red, while being red is less specific than having a narrowly characterized shade. The hierarchy need not represent a succession of objects stacked inside a bearer. It may instead capture degrees of specification in the characterization of a single quality. An ontology that treats each linguistic level as a separately causally operative universal must justify that multiplication. If having a determinate already grounds the truth of having the determinable, the metaphysical status of the determinable itself remains a separate question.

This point becomes especially significant in scientific models. Temperature is a quantitative determinable, while a precise temperature value is a determinate relative to the measurement scale and physical context. Biological ability is often a more inclusive determinable whose determinate manifestations depend on organized structures. The same vocabulary can convey either generality, a level of causal explanation, or a structurally distinct capacity. These dimensions should be analyzed before one infers an ontology of a hierarchy of universals.

The distinction is also associated with the problem of causal exclusion. If an object is scarlet and thereby red, does scarlet cause an observer's response, or does redness do so, or is the causal attribution dependent on the explanatory question? Both attributions can be true at different levels of generality. Causal relevance does not invariably require two numerically separate causal contributions. The metaphysician should distinguish causal duplication from redescribing the same determination in a broader or narrower conceptual vocabulary.

Determinables reveal why properties cannot be individuated by predicates alone. The predicate “has some color” refers to a less determinate specification than “is precisely scarlet,” but the difference in generality does not by itself settle whether there are two features, a single feature described at two levels, or a logical construction out of possibilities. A satisfactory property theory must address the order of determination, not simply the presence of isolated predicates.

Quantitative Properties, Units, and Measurement

Quantities expose a further separation between a feature of reality and its representation. A stone can have a mass independently of which unit is employed to measure it. A claim that its mass is 2 kilograms and a claim that the same mass is 2000 grams are not two competing property attributions at the physical level. They represent one quantity using two conventional unit systems. The metaphysical question is how magnitudes, dimensions, scales, and measurement operations relate to their bearers.

Some quantitative properties are treated as magnitudes forming structured spaces. Distance, duration, temperature, and energy can be represented by numbers satisfying mathematical relations. In many contexts the significance of a measured value arises from the scale and the transformations that preserve its empirically relevant relations. Merely assigning a number is not an ontological discovery. A numerical designation can encode the result of a measurement, a convention, a calculation, or a prediction. The metaphysician must specify which features of the formalism are held to describe reality.

Temperature illustrates these issues especially well. The everyday sentence “this water is warm” expresses a context-sensitive classification. The scientific attribution of a temperature value refers to an operationally and theoretically articulated magnitude. A microphysical explanation can connect that magnitude with statistical or thermodynamic organization. The truth of the everyday attribution, the scientific law governing the magnitude, and the microscopic constitution of the system are related but distinct explanatory levels. None should be equated simply with the words appearing in the other.

Quantity also raises questions concerning relational determination. Velocity is defined relative to a reference frame; weight depends on gravitational circumstances. The fact that a physical quantity is relational does not invalidate its reality. Rather, it establishes that the conditions under which the feature is attributed belong to the statement of what property is being measured. In a geometry containing no preferred frame, an allegedly intrinsic velocity relative to absolute rest would require an additional metaphysical justification.

Measurement errors and uncertainty do not necessarily imply that the underlying properties are indefinite. They reveal limits and structures of epistemic access. In some physical theories, however, the possibility of assigning a definite value independently of a measurement context is itself contested. A philosophical analysis must distinguish these cases instead of translating every measurement limit into an ontological thesis. It must also avoid using a classical example as if it settled a question governed by quantum formalism.

Quantitative metaphysics is therefore a test of property theories' capacity to handle scientifically structured determinacy. A purely extensional theory can collect all objects with the same numerical value, but it may fail to explain why the quantity admits addition, ordering, or causal interaction. A realist theory of quantitative universals has to relate the universal's identity to its dimension and physical role. A trope theory must explain exact quantitative resemblance between distinct instances. Each approach must account for the difference between the physical magnitude and the measurement language used to describe it.

Naturalness, Grue, and Projectibility

The distinction between natural and arbitrary properties is often defended by reference to induction. We infer from observed green emeralds that unobserved emeralds will be green, but an equally simple-looking predicate can be constructed that agrees with green for observations made before a selected date and differs afterward. Nelson Goodman's celebrated “grue” problem, elaborated in Fact, Fiction, and Forecast (1955), shows that logical simplicity, agreement with past cases, and linguistic formulation do not by themselves identify the predicates suitable for future projection. The philosophical task is to explain what separates projectible classifications from artificial ones.

This challenge bears directly on property ontology. A sparse realist might say that green corresponds more directly to a natural property than grue, at least in the relevant context. Yet that answer must justify the ranking independently of the very inductive success it is intended to explain. A nominalist can appeal to entrenched practices and resemblance patterns, but these too may require an account of their objective or historically contingent legitimacy. A theory of kinds may invoke causal mechanisms or stable explanatory structures rather than primitive naturalness.

Goodman's problem is not resolved merely by declaring unfamiliar predicates unreal. All ordinary scientific terms were unfamiliar before their adoption, and some scientifically useful properties are complex, relational, or counterintuitive. Conversely, a familiar predicate may collect items with heterogeneous causes. The relevant distinction therefore concerns systematic explanatory role, not psychological familiarity. One must ask whether a proposed feature organizes dependable counterfactuals, underlies successful interventions, or belongs to a stable, evidence-supported account of how phenomena are produced.

The distinction also has historical significance. Aristotle's search for explanatory forms, Locke's analysis of real and nominal essences, and modern scientific realism share a concern with what makes a classification more than a convenient label, even though their ontologies and methods differ. The development of property theory can be read as a sequence of attempts to explain why some forms of generalization track objective structure while others track our conventions. Modern sparse-property realism is one response within this wider history.

This research suggests that projectibility belongs to a family of explanatory problems involving resemblance, causation, and scientific kind membership. Treating all these as different names for naturalness obscures their distinctions. A feature might support prediction without being fundamental; a fundamental feature might not be directly measurable; and a social classification may support reliable generalizations because institutions create durable patterns. The ontology must explain which kind of naturalness, stability, or dependence is relevant in each case (Goodman, 1955).

Exemplification Across Time and Possible Worlds

The statement that an object is red is often implicitly time-indexed. A leaf may be green in June and brown in October while remaining the same individual. If the same property can be gained and lost, how is the bearer related to its determinations through change? The problem is especially clear when property realism meets theories of persistence. An enduring object may instantiate different incompatible properties at different times, while a perdurantist may locate those properties in distinct temporal parts.

Under an endurantist interpretation, an object is wholly present at more than one time and may be red at one time and brown at another. To avoid contradiction, predication or instantiation must be understood as temporally qualified, or the object's time-indexed condition must be specified. Under a perdurantist interpretation, the object has different temporal parts or stages with different qualities. The same ordinary statement can be made true by structurally different metaphysical accounts. Thus the philosophy of properties depends in part upon the ontology of time and persistence.

Modal variation introduces an analogous question. If an object could have been blue though it is actually red, what is the status of the possible blueness? A realist may allow a property of blueness to exist uninstantiated by that object, while other theories analyze possibility through alternative states of affairs, representations, or counterpart structures. The claim that a property is possible must be distinguished from the claim that an uninstantiated property exists. A complete metaphysics of properties requires a systematic account of this difference.

Identity across worlds is further complicated when properties are themselves individuated by their roles. If the actual laws associate electric charge with certain interactions, could precisely the same property occupy different interactions in a counterfactual world? The categoricalist may answer in terms of a fixed qualitative identity contingently associated with laws. The dispositional essentialist may hold that a sufficiently different role constitutes a different property. The choice concerns what the property is, not merely which propositions about it happen to be true.

Temporal and modal cases also show why relations must be carefully specified. “Being loved” may change when another person changes, without any internal change in the loved person. “Being able to shatter” may persist even when no shattering event occurs. “Being an object of possible admiration” may have a different logical status from either property. Time-indexing, relational dependence, and modal scope must not be collapsed into one generic form of change or possibility.

Together these considerations reinforce the analysis of properties as determinations with differentiated conditions of instantiation. Any proposed ontology must say how its entities behave under temporal change, counterfactual variation, and changes in relational environment. The flexibility of ordinary predication conceals substantial metaphysical questions about persistence and possibility.

Comparative Assessment

Universal realism explains objective qualitative resemblance through numerically shared entities. It incurs questions about instantiation, universal identity, and the location or independence of properties. Trope theory gives ontological priority to individual qualities and can provide concrete truthmakers, while facing the unity of bundles and the explanation of exact resemblance. Class nominalism enjoys extensional clarity but struggles to distinguish natural classes. Resemblance nominalism has to specify relevant respects of likeness without presupposing the properties it denies. Conceptual and predicate theories illuminate thought and language while leaving objective qualitative order in need of an account.

These approaches are not a single list of mutually exclusive positions. Sparse versus abundant conceptions describe different criteria of admission; categoricalism versus dispositionalism concerns the identity and causal roles of the admitted properties. A realist may defend sparse universals with categorical natures. A trope theorist may embrace powers. A semantic theorist may use abundant properties while maintaining that only a limited set grounds causal explanation.

The comparative criterion should be the explicit satisfaction of explanatory requirements. Ontological simplicity matters, but a theory is not more successful merely because it introduces fewer names. Nor is ontological richness an achievement by itself. Explanatory adequacy requires a coherent account of determinacy, resemblance, identity, predication, dependence, and the difference between natural and arbitrary classifications.

Open Questions and Philosophical Synthesis

Several questions remain open. What makes one property natural rather than derivative? Can dispositions be specified without using causal or modal concepts that already presuppose powers? Can two property identities be the same if their lawful roles differ? Is exact resemblance fundamental or reducible to a universal? Does the metaphysics of instantiation require irreducible states of affairs? What becomes of property attribution under interpretations of quantum measurement where determinate values are context-dependent? How should emergent and institutional properties enter a unified ontology?

The research yields a systematic framework. Any theory of properties should identify its bearers and determinations, its account of exemplification, its criterion for property identity, its explanation of objective resemblance, its semantic analysis of predication, its basis for distinguishing natural and derivative features, and its interpretation of causal and modal roles. This is a comparative method drawn from the historical arguments, not a claim to have discovered a new metaphysical constituent.

The most important result is the separation of four connected questions. The determination question concerns what a bearer is like. The resemblance question concerns why several bearers can be alike. The truth question concerns what grounds accurate predication. The explanatory question concerns which characteristics figure in laws and causal accounts. A single theory may use one structure to meet all four demands, but it must demonstrate that sufficiency. Other theories may divide the labor among sparse physical features, abundant semantic properties, and dependent higher-level determinations.

This synthesis preserves the objective subject matter of metaphysics while clarifying where rival theories genuinely disagree. Properties are indispensable to philosophical inquiry because things have determinate characters and relations; the ontological status of properties remains a matter for argument and evidence.

Conclusion

The philosophy of properties investigates what it means for something to be determinate. Plato's Forms and their participation, Aristotle's distinctions between predication and inherence, medieval accounts of common natures, early modern theories of qualities and abstraction, and contemporary realist, nominalist, and trope ontologies each address indispensable aspects of the problem. Their disagreements concern the identity, dependence, repeatability, and explanatory force of determinations.

The completed analysis establishes that grammatical predication, metaphysical exemplification, qualitative resemblance, modal necessity, and causal explanation cannot be treated as interchangeable. A defensible property ontology states exactly what entities and structures it requires and what those commitments explain. The question of properties remains one of the central points where metaphysics, logic, philosophy of language, and philosophy of science meet.