First-Order and Higher-Order Properties

Core Idea

First-order properties characterize individuals (being red, being massive, being conscious), while higher-order properties characterize properties themselves (being intrinsic, being causal, being sparse). Understanding whether higher-order properties are real and fundamental illuminates debates across metaphysics, logic, and philosophy of mind.

Explainer

You already know from property exemplification that properties are instantiated by objects: the apple instantiates redness, the electron instantiates charge, the argument instantiates validity. These are first-order properties—their subjects are ordinary individuals (concrete or abstract things). The key move in this topic is recognizing that properties can themselves be the subjects of further properties. When a property has a property, that second-level property is a higher-order property.

Consider a few examples to build the intuition. The property *being red* is a first-order property of apples, fire trucks, and stop signs. But now consider the property *being a color*—this is a property that *being red* itself has, along with *being blue*, *being green*, and so on. Or consider *being intrinsic*: mass is intrinsic (a particle has it independently of its surroundings); being-the-tallest-person-in-the-room is extrinsic (it depends on relational facts). These—*being intrinsic*, *being extrinsic*, *being a color*, *being causal*—are higher-order properties, because they characterize properties, not individuals.

The distinction matters enormously for several debates you will encounter. In logic and language, first-order logic quantifies over individuals; second-order logic quantifies over properties of individuals; third-order logic quantifies over properties of properties of individuals. Whether we need genuinely higher-order quantification—or whether it can always be reduced to first-order—is a central question in the foundations of logic. In metaphysics of properties, recall that fundamental (sparse) properties are the genuinely natural joints of reality. *Being sparse* or *being fundamental* is itself a higher-order property: a metametaphysical claim about which first-order properties are real. In philosophy of mind, functionalism defines mental states by their causal role—pain is whatever state plays the pain-role. "Playing a causal role" is a higher-order property, which is why functionalism is sometimes called a higher-order theory of mind.

The deeper question is whether higher-order properties are real in their own right or whether talk about them can always be paraphrased away. A thoroughgoing nominalist might try to eliminate them; a Platonist about properties has no difficulty accepting them at every level. Understanding this hierarchy—and the commitments it entails—is the scaffolding for the more advanced theories of properties and mind that build on this topic.