Questions: First-Order and Higher-Order Properties

Question 1

Which of the following is a higher-order property?

• A. Being red
• B. Being massive
• C. Being intrinsic (having a property independently of relational facts about one's surroundings)
• D. Being conscious

Answer: (C)

Being red, being massive, and being conscious are first-order properties — they characterize individuals (apples, particles, persons). Being intrinsic is a higher-order property: it characterizes properties themselves, distinguishing properties like mass (which an object has regardless of its relations) from properties like being-the-tallest-in-the-room (which depends on relational context). 'Being intrinsic' is not a feature of individuals but a feature of property types.

Question 2

Functionalism in philosophy of mind defines mental states by their causal roles — pain is whatever state plays the pain-role. Why does this make functionalism a higher-order theory of mind?

• A. Because it requires higher cognitive functions like reasoning to explain mental states
• B. Because 'playing a causal role' is itself a property of property types — a higher-order property that mental state types must satisfy
• C. Because it appeals to second-order logic to formally define mental predicates
• D. Because mental properties are more abstract than the physical properties that realize them

Answer: (B)

Functionalism says pain is not defined by what it is physically made of but by the causal role it plays — what it is caused by, what it causes, how it interacts with other states. 'Playing the pain-role' is not a property of an individual but a property of a property type: it characterizes what kind of property pain must be. This is the structure of a higher-order property — a property that one property must have in relation to other properties.

Question 3

Second-order logic extends first-order logic by allowing quantification over properties of individuals, not just over individuals themselves.

• T. True
• F. False

Answer: True

First-order logic quantifies over individuals ('there exists an x such that...'). Second-order logic additionally allows quantification over properties of individuals ('there exists a property P such that...'). Third-order logic would allow quantification over properties of properties, and so on. Whether second-order quantification is genuinely irreducible to first-order quantification is a foundational question in logic.

Question 4

Higher-order properties are rarely genuinely real — most talk about properties of properties can ultimately be reduced to first-order claims about individuals.

• T. True
• F. False

Answer: False

Whether higher-order properties can be eliminated is a substantive and unresolved philosophical debate. A thoroughgoing nominalist might attempt this reduction; a Platonist about properties accepts higher-order properties as real at every level. Presenting eliminability as settled fact mistakes one contested philosophical position for an established result. The debate between nominalists and Platonists about properties is ongoing.

Question 5

Give one example from metaphysics and one from philosophy of mind showing why the first-order/higher-order distinction matters.

Model answer: In metaphysics: 'being fundamental' (or being a sparse/natural property) is a higher-order property — it characterizes which first-order properties are genuine joints of reality. Saying charge is more fundamental than 'being next-to-something-blue' is a higher-order claim about properties, not about individual charged things. In philosophy of mind: functionalism's 'playing the pain-role' is a higher-order property, which is why the same mental state type can be multiply realized in different physical substrates — what matters is not what a state is physically made of (first-order) but what functional role it plays (higher-order).

In both cases, the higher-order level captures something that first-order facts alone cannot express. Which properties are fundamental cannot be read off from first-order physical facts — it requires a metametaphysical judgment about property structure. And the type identity of mental states cannot be fixed at the first-order physical level if functionalism is right — it requires the higher-order characterization of causal role. The first-order/higher-order distinction thus carves a real explanatory boundary in both domains.