Lukas Novak comments and I respond.
Bill, what follows is what I consider the most important objection against your theory. It seems to me that in order to keep the basic meaning of "universal" and "particular" the following definitions must be assumed:
1. A universal is that which is (truly) predicable of many particular instances. BV: I agree if 'many' means two or more. I would add that a universal is a repeatable entity. But I suspect Novak will not agree with my addition. I suspect his view is that there are no universals in extramental reality. Universals are concepts. Hence I would expect him to balk at 'entity.'
2. X is an instance of a given universal U iff U is predicated of X. BV: I would say 'predicable' instead of 'predicated.' Predication is something we do in thought and with words. A universal can have an instance whether or not any predication is taking place.
3. U1 is subordinate to U2 iff all instances of U1 are instances of U2. This is expressed in language in the form "Every U1 is an U2" - for example, "Every man is an animal". BV: OK.
4. Every universal has at least some possible instances, unless it is intrinsically inconsistent. Now whiteness and color are universals. By common sense, color is superordinate to whiteness. So, every whiteness is a color. Peter's whiteness, on the other hand, is a particular. We must assume that Peter's whiteness is an instance of whiteness, and also of color - since whiteness and color are not intrinsically inconsistent and there are no more plausible candidates to [be] their instances than Peter's whiteness, Bob's blackness etc. BV: So far, so good!
But here comes the problem. If Peter's whiteness contains whiteness, then Peter's color contains color as its constituent. BV: It is true that Peter is white, and it is true that if Peter is white, then he is colored. But it doesn't follow that there is the accident Peter's coloredness. Accidents are real (extramental) items. Peter really exists and his whiteness really exists. But there is not, in addition to Peter's whiteness, the accident Peter's coloredness.
Argument 1: It is accidental that Peter is white (or pale) due perhaps to a deficiency of sunlight. But it is not accidental that Peter is colored. Peter is a concrete material particular, and necessarily, every such particular has some color or other. Therefore, being colored is not an accident of Peter. Being colored is essential to Peter.
Argument 2: The truth-maker of 'Peter is white' is Peter's being white. But Peter's being white is also the truth-maker of 'Peter is colored.' Therefore, there is no need to posit in reality, besides Peter's being white, Peter's being colored.
I therefore say that there is no such accident as Peter's being colored. Consequently, the rest of Novak's reasoing is moot.
You may perhaps say that Peter's whiteness also contains color because whiteness contains color, but certainly color does not contain whiteness in that case (else they would coincide), and therefore Peter's color does not contain whiteness.
BV: We have to be careful not to equivocate on 'contain.' In one sense of 'contain,' whiteness contains color or coloredness. We could call this conceptual inclusion: whiteness includes coloredness as a part. In a second sense of 'contain, ' if x is an ontological constituent of y, then y contains x. Thus the accidental compound [Peter + whiteness] contains the substance Peter and the accident whiteness, but does not contain them in the way whiteness contains color.
Consequently, Peter's color is not an instance of whiteness. But this contradicts the fact that Peter's color just is Peter's whiteness, because Peter's whiteness is a color (by def. 3, assuming that whiteness is subordinate to color), and there is no other color in Peter than his whiteness (let us so stipulate).
Put very simply: if Peter's whiteness is just Peter+whiteness+NE+time, then Peter's color is just Peter+color+NE+time, but then Peter's whiteness is not Peter's color. But this is wrong since whiteness is subordinate to color and so any instance of whiteness must be identical to an instance of color.
BV: Novak's argument could be put as follows:
a. If Peter's whiteness is a complex having among its constituents the universal whiteness, then Peter's coloredness is a complex having among its constituents the universal coloredness.
b. These are numerically distinct complexes.
Therefore
c. Peter's whiteness is not Peter's coloredness.
d. (c) is false.
Therefore
e. Peter's whiteness is not a complex.
By my lights, the argument is unsound because (a) is false as I already explained: there is no such complex as Peter's coloredness.
Bill,
Peter possesses his colouredness essentially. Hence colouredness is an ontological part (OP) of Peter. If Peter is an OP of the property exemplification (PE) entity Peter's whiteness, and as seems reasonable, ontological parthood is transitive, then colouredness is an OP of Peter's whiteness. The latter thus has two universals as constituent, whiteness and colouredness. How to choose between them? If we treat them symmetrically then the PE entity Peter's whiteness looks to be identical to the PE entity Peter's colouredness. But this makes Peter's colouredness an accident. Contradiction?
Posted by: David Brightly | Wednesday, February 06, 2013 at 01:27 PM
Thanks, David. I appreciate your challenging comments.
>>Peter possesses his colouredness essentially. Hence colouredness is an ontological part (OP) of Peter.<<
Can't one reasonably resist this inference? Necessarily, Peter is some color or other. But it doesn't follow that being colored is an OP of Peter. It could be maintained that being blue is or being red is, but not the determinable of which these are determinates. The consituent ontologist is not required to say that every property of a concrete object is an ontological constituent of it.
Is ordinary parthood transitive? If it isn't, then ontological parthood probably isn't either.
The pages of a book are proper parts of a book, and books are proper parts of libraries. But pages are not proper parts of libraries.
A platoon is part of a company and a company is part of a battalion, but a platoon is not part of a battalion.
Poindexter's beard is part of Poindexter, and Pondexter is part of the philosophy department, but Pondexter's beard is not part of the philosophy depratment.
Posted by: Bill Vallicella | Wednesday, February 06, 2013 at 02:15 PM
Thank you Bill. I agree that these interpretations are debatable. A colour scientist might say that there is a real distinction between (of visible light) uniformly strongly transmitting (transparent), uniformly strongly absorbing (black), uniformly strongly reflecting (white), and varyingly (with wavelength) strongly reflecting (coloured). Distinct colours correspond to distinct variations. He might also say that the determinable/determinate distinction was not absolute. Navy is a determinate of the determinable blue, blue is a determinate of the determinable coloured.
I accept that the consituent ontologist is not required to say that every property of a concrete object is an ontological constituent of it. He says that accidental properties are indeed otherwise. My understanding is that ontological constituency is his device for explaining necessary properties. If he accepts that colouredness (understood to include black, white, and transparency) is a necessary property, is he not then obliged to use his device to account for it, on pain of admitting modes of necessity?
In 'x is part of y' the sense of 'part' seems modulated by the substance/collective character of the terms 'x' and 'y'. In the book and Poindexter examples 'part' is not univocal, I think. In the military example we can understand 'a platoon' as denoting the concept 'platoon', etc, and 'part' meaning 'primary subdivision of', a relation between concepts. 'Primary' rules out transitivity. But understanding these terms extensionally as denoting sets of men, and parthood as the subset relation, then surely if Lieutenant L's platoon is part of Major M's company, and Major M's company is part of Colonel C's battalion, then Lieutenant L's platoon is part of Colonel C's battalion? So there is opportunity for debate here too. But is it not reasonable simply to demand of the constituent ontologist whether his ontological parthood relation is transitive?
Posted by: David Brightly | Thursday, February 07, 2013 at 06:06 AM
Dear Bill,
of course I agree that
(T) there is no accident of Peter's color over and above Peter's whiteness.
But it seems to me that this is inconsistent with your theory. Assume T and your theory, and various antinomies will follow. In order to avoid being distracted by the special problem whether and how "colouredness" is essential to Peter, let me choose another pair of subordinate properties: "courage" and "virtue". It is contingent not just that Peter is courageous, but also that Peter is virtuous; but if Peter has courage, he has a virtue.
Now see: if Peter is virtuous, then Peter exemplifies virtue, therefore there is the (temporally indexed) nexus of exemplification [NE] between Peter and virtue. Or could you be forced to take the position that Peter can exemplify virtue without there being a NE between him and virtue? If not, then there is the complex [Peter+virtue+NE+TI]. If the complex [Peter+courage+NE+TI] is called "Peter's courage", then the former must be called "Peter's virtue", by parity of reason. But then Peter's courage is not Peter's virtue, whereas in reality Peter's courage is Peter's virtue (perhaps the only Peter's virtue). Besides, on the principle that any instance of a genus is an instance of some of its species it holds that any instance of virtue must be an instance either of courage, or of temperance, or of prudence, etc. But Peter's virtue construed as above is an instance of virtue without being an instance of any of the species of virtue. This is a contradiction.
Perhaps you will say that Peter exemplifies virtue by the very same NE by which he exemplifies courage. But this does not help, for there still is the complex [Peter+virtue+NE+TI], only it shares its NE with Peter's courage, and it still demands to be called "Peter's virtue". In order to escape the conclusion, you would have to deny that there is any NE between Peter and virtue at all - but then it seems plain contradiction to say that Peter still exemplifies virtue.
Where have I gone wrong?
Posted by: Lukáš Novák | Thursday, February 07, 2013 at 09:47 AM
Hi Lukas,
I apologize for being such a quibbler, but if Peter is courageous, it doesn't follow that Peter is virtuous, although it does follow that he has a virtue. For Peter might be a terrorist.
So let's talk about the property of having a virtue. I grant the following. (i) If Peter is courageous, then he has a virtue. (ii) If Peter has a virtue, it does not follow that he is courageous. (iii) It is not essential to any person that he have a virtue, or any particular virtue such as courage.
We are assuming that being courageous is an accident of Peter as substance. In your excellent article you speak of Aristotleian accidents, accidental forms, tropes, and modes.
My question concerns the exact nature of accidents. Do they have any inernal structure or not? My main point is that the cannot be simple. I won't repeat the arguments I gave. But I am not committed to any particular theory of their complexity.
As for your objection, why can't I say what I said earlier? In reality, there is, corresponding to the true sentence 'Peter is courageous,' the accident *courageousness.* But there is no accident in reality corresponding to the predicate in the true sentence 'Peter has a virtue.'
Posted by: Bill Vallicella | Thursday, February 07, 2013 at 04:49 PM
Bill,
my objection is aimed at the particular theory you proposed earlier. It seems to me that you cannot say, consistently with that theory, that there is no accident in reality corresponding to the predicate "(has) viertue" because if "Peter has a virtue" is true, then there is Peter, virtue, and the (temporally indexed) NE between them - which jointly amounts to an accidetn Peter's virtue, in your theory.
Posted by: Lukáš Novák | Saturday, February 09, 2013 at 12:30 AM
Bill, I'm rather confused about the distinction between accidents of a substance and what we might call its inessential properties. Consider a knife. A knife has bladedness in that part of it is in the shape of a blade and this bladedness, which resides in the shape of the knife, would appear to be dependent on the knife and thus accidental. Ontologically the knife's bladedness is a PE entity with the knife and the universal bladedness as constituents. On the other hand, bladedness would appear to be an essential property of a knife. Ontologically the knife is then a particular with the universal bladedness as a constituent. These two views are in some tension. Can it be relaxed?
Posted by: David Brightly | Saturday, February 09, 2013 at 09:10 AM
David,
One issue is whether a property can exist without being had by anything. Consider first-level properties, properties of individuals, to keep it simple. View 1: Necessarily, first-level properties exist only if had by individuals. It is impossible that there be such a property had by no individual. View 2: Possibly, some properties exist that are not had by any individuals.
If to have a property is to exemplify a property, then the difference is between saying that unexemplified properties are impossible and that unexemplified properties are possible.
But this difference is not the same as the difference between essential and accidental properties. An essential property of x is a property x cannot exist without, while an accidental property of x is one x can exist without.
Now the bladedness of a knife is essential to it. This is logically consistent with the bladedness existing only if the knife exists. Suppose there is only one knife K and that properties cannot exist unless exemplified. Then the following are consistent:
1. K is essentially bladed
2. Had K not existed, bladedness would not have existed.
So you may be confusing the two issues I distinguished. If a property P is dependent for its existence on an individual x, it does not follow that P is an accidental property of x.
Posted by: Bill Vallicella | Saturday, February 09, 2013 at 11:41 AM
David,
We must also distinguish between an accidental property and an accident. Every accident is an accidental property of the substance of which it is the accident, but an accidental property of a thing needn't be an accident of it. Accidents are particulars, but properties could be construed as universals.
Posted by: Bill Vallicella | Saturday, February 09, 2013 at 11:48 AM
Thanks, Bill. Having the definitions close together helps. But I must be missing something as I'm continuing to find apparent anomalies.
>> An essential property of x is a property x cannot exist without, while an accidental property of x is one x can exist without.
1. So the properties of the knife K are partitioned into two exclusive sets, its essential properties and its accidental properties.
>> Now the bladedness of a knife is essential to it.
2. So bladedness is an essential property of K.
But (my hypothesis) the bladedness of K cannot exist independently of K.
3. So the bladedness of K is an accident of K.
Now,
>> Every accident is an accidental property of the substance of which it is the accident.
4. So the bladedness of K is an accidental property of K.
But (2) and (4) are in tension. If we identify bladedness with the bladedness of K we are in direct contradiction with (1). Conversely, if we do not make this identification, perhaps we say bladedness is universal and the bladedness of K is particular, then we have entities from distinct metaphysical realms vying to be properties of K. This suggests that 'property' is not univocal.
Posted by: David Brightly | Sunday, February 10, 2013 at 11:31 AM
David,
I'm not sure you got the point of the distinction I made.
Your (1) is correct, and (2) follows from it. But (3) does not follow.
Suppose bladedness is a universal. Then it cannot be an accident since every accident is a particular. This is so even if universals cannot exist without being exemplified. What you seem not to appreciate is that the exemplification of a universal does not make of that universal a particular or an accident.
There is also an important difference in the nature of the connection between a universal and a particular and an accident and a substance. Even if universals cannot exist unexemplified, there is no necessity that U be exemplified by k; the necessity is merely that U be exemplified by some concrete particular or other. An accident A, however, is necessarily such that it inheres in the very substance of which it is an accident.
Posted by: Bill Vallicella | Monday, February 11, 2013 at 04:35 AM
Thank you for your patience, Bill. I am having trouble finding solid ground under this. One last question perhaps. We have a necessary condition for a particular to be an accident of a substance: it must be incapable of existing independently of the substance. Is there a sufficient condition?
Posted by: David Brightly | Tuesday, February 12, 2013 at 02:38 AM
Well, let me see if I can define 'accident' in terms of 'particular.' A definition specifies necessary and sufficent conditions.
A is an accident of a substance S =df (i) A is a particular; (ii) A is an item whose identity and existence are dependent on the identity and existence of S; (iii) A is predicable of S.
I think that does the trick. The RHS specifies three necessary conditions which are jointly sufficient for an item to be an accident.
Or can you spot a counterexample?
Posted by: Bill Vallicella | Tuesday, February 12, 2013 at 04:58 AM