- David Armstrong(His work is being discussed as the starting point for the debate)
- An influential Australian philosopher who developed important theories about what exists in the world, particularly about properties and how they relate to objects.
- David Lewis(the philosopher who created this theory)
- An influential American philosopher (1941-2001) who developed Counterpart Theory as a way to understand how we talk about objects in different possible worlds.
- Physical realizer-types(as what higher-order properties supposedly reduce to)
- The specific physical (usually brain) processes or structures that make a mental property actually happen—the 'hardware' that implements the 'software' of the mind.
- Type-identical(as a way of describing how mental and physical properties relate)
- When two things are literally the same kind of thing, not just similar—like how all samples of H₂O are type-identical because they're all water.
- functionalism(Philosophy of mind; distinguished here from representationalism)
- The view that mental states are defined by the causal roles they play in a cognitive system — their actual, potential, or typical causal relationships.
- higher-order properties(Used in the regress argument against proposal (c))
- Properties that belong to properties themselves, invoked to explain what makes first-order properties distinct from one another
- realism(Royce's characterization of the first historical conception of being)
- The view that the world exists entirely independently of our thoughts or ideas about it — the world is what it is without any reference to our thoughts.
- type physicalism(Distinguished from supervenience physicalism; used to assess sufficient vs. necessary conditions for physicalism)
- The view that every property is identical with some physical property