structure for 'Modes of Existence'    |     alphabetical list of themes    |     unexpand these ideas

8. Modes of Existence / B. Properties / 6. Categorical Properties

[actualised properties, rather than conditional ones]

29 ideas
Some things said 'of' a subject are not 'in' the subject [Aristotle]
     Full Idea: Of things there are, some are said of a subject, but are not in any subject. For example, man is said of a subject, the individual man, but is not in any subject.
     From: Aristotle (Categories [c.331 BCE], 01a20)
     A reaction: See? 'Being a man' is not a property of a man! Only the properties which are 'in' the man are properties of the man. The rest are things which are said 'of' men, usually as classifications. A classification is not a property.
We call them secondary 'substances' because they reveal the primary substances [Aristotle]
     Full Idea: It is reasonable that, after the primary substances, their species and genera should be the only other things called (secondary) substances. For only they, of things predicated, reveal the primary substance.
     From: Aristotle (Categories [c.331 BCE], 02b29)
     A reaction: This is the key passage in all of Aristotle for sortal essentialists like Wiggins, especially the word 'only'. I take it that this observation is superseded by the Metaphysics. Definition is the route to substance (which involves general terms).
Even if all properties are categorical, they may be denoted by dispositional predicates [Armstrong, by Bird]
     Full Idea: Armstrong says all properties are categorical, but a dispositional predicate may denote such a property; the dispositional predicate denotes the categorical property in virtue of the dispositional role it happens, contingently, to play in this world.
     From: report of David M. Armstrong (A Theory of Universals [1978]) by Alexander Bird - Nature's Metaphysics 3.1
     A reaction: I favour the fundamentality of the dispositional rather than the categorical. The world consists of powers, and we find ourselves amidst their categorical expressions. I could be persuaded otherwise, though!
Armstrong holds that all basic properties are categorical [Armstrong, by Ellis]
     Full Idea: I am against Armstrong's strong categoricalism, that is, the thesis that all basic properties are categorical.
     From: report of David M. Armstrong (What is a Law of Nature? [1983]) by Brian Ellis - The Metaphysics of Scientific Realism 3
     A reaction: I certainly agree with this, as I cannot see where the power would come from to get the whole thing off the ground. Armstrong depends on universals to necessitate what happens, which I find very peculiar.
I support categorical properties, although most people only want causal powers [Ellis]
     Full Idea: I want to insist on the existence of a class of categorical properties distinct from causal powers. This is contentious, for there is a growing body of opinion that all properties are causal powers.
     From: Brian Ellis (The Metaphysics of Scientific Realism [2009], Intro)
     A reaction: Alexander Bird makes a case against categorical properties. If what is meant is that 'being an electron' is the key property of an electron, then I disagree (quite strongly) with Ellis. Ellis says they are needed to explain causal powers.
Essentialism needs categorical properties (spatiotemporal and numerical relations) and dispositions [Ellis]
     Full Idea: Essentialist metaphysics seem to require that there be at least two kinds of properties in nature: dispositional properties (causal powers, capacities and propensities), and categorical ones (spatiotemporal and numerical relations).
     From: Brian Ellis (The Metaphysics of Scientific Realism [2009], 3)
     A reaction: At last someone tells us what a 'categorical' property is! Couldn't find it in Stanford! Bird and Molnar reject the categorical ones as true properties. If there are six cats, which cat has the property of being six? Which cat is 'three metres apart'?
Spatial, temporal and numerical relations have causal roles, without being causal [Ellis]
     Full Idea: Spatial, temporal and numerical relations can have various causal roles without themselves being instances of causal powers.
     From: Brian Ellis (The Metaphysics of Scientific Realism [2009], 3)
     A reaction: He cites gaps, aggregates, orientations, approaching and receding, as examples of categorical properties which make a causal difference. I would have thought these could be incorporated in accounts of more basic causal powers.
The passive view of nature says categorical properties are basic, but others say dispositions [Ellis]
     Full Idea: 'Categorical realism' is the most widely accepted theory of dispositional properties, because passivists can accept it, ..that is, that dispositions supervene on categorical properties; ..the opposite would imply nature is active and reactive.
     From: Brian Ellis (The Philosophy of Nature: new essentialism [2002], Ch.4)
     A reaction: Essentialists believe 'the opposite' - i.e. that dispositions are fundamental, and hence that the essence of nature is active. See 5468 for explanations of the distinctions. I am with the essentialists on this one.
Typical 'categorical' properties are spatio-temporal, such as shape [Ellis]
     Full Idea: The paradigmatically 'categorical' properties are spatio-temporal, depending on how things are distributed in space and time. Shape is the obvious example. ...Other examples are number, size and configuration.
     From: Brian Ellis (Scientific Essentialism [2001], 1.09)
     A reaction: I'm finding it very frustrating that this concept is much discussed in current philosophy of science (e.g. by Bird), but it is exceedingly hard to pin down any exact account of these 'categorical' properties, or even why they are so-called.
The property of 'being an electron' is not of anything, and only electrons could have it [Ellis]
     Full Idea: There is no property of being an electron. It could only be instantiated by electrons, so it does not seem genuine. And what is the thing that supposedly instantiates the property of being an electron?
     From: Brian Ellis (Scientific Essentialism [2001], 75,92), quoted by Stephen Mumford - Laws in Nature 7.3
     A reaction: I agree entirely. Bird launches an excellent attack on categorial properties.
Resemblance or similarity is the core of our concept of a property [Kim]
     Full Idea: Resemblance or similarity is the very core of our concept of a property.
     From: Jaegwon Kim (Philosophy of Mind [1996], p.219)
The distinction between dispositional and 'categorical' properties leads to confusion [Lewis]
     Full Idea: To avoid the danger of claiming that dispositions are their own categorical bases, we do better to eschew the alleged distinction between dispositional and 'categorical' properties altogether.
     From: David Lewis (Finkish dispositions [1997], II)
     A reaction: Since I have been unable to form any intuitive notion of what a 'categorical' property is, I like this, though not necessarily for his reason.
Lewis says properties are sets of actual and possible objects [Lewis, by Heil]
     Full Idea: David Lewis has produced an important theory of properties as sets of actual and possible objects.
     From: report of David Lewis (New work for a theory of universals [1983]) by John Heil - From an Ontological Point of View §12.2
     A reaction: The notion that a property is an 'object' sounds wrong, as it is too passive. It also seems to allow for the possibility of uninstantiated properties existing, where properties are presumably always 'of' something.
Any class of things is a property, no matter how whimsical or irrelevant [Lewis]
     Full Idea: Any class of things, be it ever so gerrymandered and miscellaneous and indescribable in thought and language, and be it ever so superfluous in characterizing the world, is nevertheless a property.
     From: David Lewis (New work for a theory of universals [1983], 'Un and Prop')
     A reaction: I much prefer, at the very least, the sparse approach of Armstrong, and in fact would vote for Shoemaker's highly physical view. Lewis proceeds after this to try to pick out the properties that really matter.
'Categorical properties' are those which are not powers [Molnar]
     Full Idea: The canonical name for a property that is a non-power is 'categorical property'.
     From: George Molnar (Powers [1998], 10.2)
     A reaction: Molnar objects that this implies that powers cannot be used categorically, and refuses to use the term. There seems to be uncertainty over whether the term refers to necessity, or to the ability to categorise. I'm getting confused myself.
If reality just has relational properties, what are its substantial ontological features? [Robinson,H]
     Full Idea: Some thinkers claim the physical world consists just of relational properties - generally of active powers or fields; ..but an ontology of mutual influences is not an ontology at all unless the possessors of the influence have more substantial features.
     From: Howard Robinson (Perception [1994], IX.3)
     A reaction: I think this idea is one of the keys to wisdom. It is the same problem with functional explanations - you are left asking WHY this thing can have this particular function. Without the buck stopping at essences you are chasing your explanatory tail.
A stone does not possess the property of being a stone; its other properties make it a stone [Heil]
     Full Idea: A predicate that does not designate a property could nevertheless hold true of an object in virtue of that object's properties. An object is a stone not in virtue of holding the property of being a stone, but because it possesses certain other properties.
     From: John Heil (Philosophy of Mind [1998], Ch.6)
     A reaction: Sounds simple but important, especially in relation to the mind. We are left with the problem of how to individuate a property, and the possibility of 'basic' properties.
Categorical properties were introduced by philosophers as actual properties, not if-then properties [Heil]
     Full Idea: Categorical properties were introduced originally by philosophers bent on distinguishing properties possessed 'categorically', that is, actually, by objects from mere if-then, conditional properties, mere potentialities.
     From: John Heil (The Universe as We Find It [2012], 04.3)
     A reaction: He cites Ryle on dispositions in support. It is questionable whether it is a clear or useful distinction. Heil says the new distinction foreclosed the older more active view of properties.
Properties are respects in which particular objects may be alike or differ [Mellor/Oliver]
     Full Idea: Properties are respects in which particular objects may be alike or differ.
     From: DH Mellor / A Oliver (Introduction to 'Properties' [1997], §1)
     A reaction: Note that this definition does not mention a causal role for properties.
Categorical properties and dispositions appear to explain one another [Mumford]
     Full Idea: Though categorical properties provide explanations for dispositions, categorical properties are also explained by dispositions; hence neither category uniquely explains the other.
     From: Stephen Mumford (Dispositions [1998], 05.3)
     A reaction: The conclusion doesn't seem to follow. It depends which one is found at the bottom level. It can go up from a basic disposition, to a categorical property, to another disposition - or the other way around.
There are four reasons for seeing categorical properties as the most fundamental [Mumford]
     Full Idea: Four reasons for reducing everything to the categorical are: categorical predicates have wider scope; dispositions are variably realised by the categorical; categorical is 1st order, dispositions 2nd; categorical properties are explanatorily basic.
     From: Stephen Mumford (Dispositions [1998], 08.5)
     A reaction: I particularly reject the fourth reason, as I take categorical properties as still in need of explanation. The categorical view is contingent (and Humean), but I take the categorical properties to be necessitated by the underlying powers.
Categorical predicates are those unconnected to functions [Mumford]
     Full Idea: A predicate which is conceptually connected to no function ... is a categorical predicate.
     From: Stephen Mumford (Dispositions [1998], 09.7)
     A reaction: This is an expansion of Mumford's own theory of dispositions, as functional. Does a cork in a wine bottle have a function, but without doing anything? It seems to achieve its function purely through its structure.
Proper ontology should only use categorical (actual) properties, not hypothetical ones [Sider]
     Full Idea: A proper ontology should invoke only categorical, or occurrent, properties and relations. Categorical properties involve what objects are actually like, whereas hypothetical properties 'point beyond' their instances.
     From: Theodore Sider (Four Dimensionalism [2001], 2.3)
     A reaction: This spectacularly leaves out powers and dispositions, which are actual properties which 'point beyond' their instances! This is the nub of the powers debate, and the most interesting topic in modern metaphysics.
Categorical properties are not modally fixed, but change across possible worlds [Bird]
     Full Idea: Categorical properties do not have their dispositional characters modally fixed, but may change their dispositional characters (and their causal and nomic behaviour more generally) across different worlds.
     From: Alexander Bird (Nature's Metaphysics [2007], 3.1)
     A reaction: This is the key ground for Bird's praiseworth opposition to categorical propertie. I take it to be a nonsense to call the category in which we place something a 'property' of that thing. A confusion of thought with reality.
The categoricalist idea is that a property is only individuated by being itself [Bird]
     Full Idea: In the categoricalist view, the essential properties of a natural property are limited to its essentially being itself and not some distinct property.
     From: Alexander Bird (Nature's Metaphysics [2007], 4.1)
     A reaction: He associates this view with Lewis (modern regularity view) and Armstrong (nomic necessitation), and launches a splendid attack against it. I have always laughed at the idea that 'being Socrates' was one of the properties of Socrates.
If we abstractly define a property, that doesn't mean some object could possess it [Bird]
     Full Idea: The possibility of abstract definition does not show that we have defined a property that we can know, independently of any theory, that it is physically possible for some object to possess.
     From: Alexander Bird (Nature's Metaphysics [2007], 4.2.3.1)
     A reaction: This is a naturalist resisting the idea that there is no more to a property than set-membership. I strongly agree. We need a firm notion of properties as features of the actual world; anything else should be called something like 'categorisations'.
Categoricalists take properties to be quiddities, with no essential difference between them [Bird]
     Full Idea: The categoricalist conception of properties takes them to be quiddities, which are primitive identities between fundamental qualities, having no difference with regard to their essence.
     From: Alexander Bird (Nature's Metaphysics [2007], 4.5)
     A reaction: Compare 'haecceitism' about indentity of objects, though 'quidditism' sounds even less plausible. Bird attributes this view to Lewis and Armstrong, and makes it sound well daft.
'Categorical' properties exist in the actual world, and 'hypothetical' properties in other worlds [Koslicki]
     Full Idea: The 'categorical' properties are roughly those that concern what goes on in the actual world; the properties excluded from that family are the 'hypothetical' ones, which concern what goes on in other worlds.
     From: Kathrin Koslicki (The Structure of Objects [2008], 3.2.3.1)
     A reaction: The awkward guest at this little party is the 'dispositional' properties, which are held to exist in the actual world, but have implications for other worlds. I'm a fan of them.
17th century authors only recognised categorical properties, never dispositions [Pasnau]
     Full Idea: In the seventeenth century, my claim is that authors during the period recognise only categorical properties, and never dispositional properties.
     From: Robert Pasnau (Metaphysical Themes 1274-1671 [2011], 23.1)