Review : Modes of Being

Herewith, a little summary of part of what I have been arguing.  Most analytic philosophers would accept (A) but not (B):

A. There are kinds of existent but no kinds of existence.
B. There are kinds of existent and also kinds of existence.

I have been defending the intelligibility of (B) but without committing myself to any particular MOB doctrine.    I use 'modes of being' and 'kinds of existence' interchangeably. Of course I grant to Reinhardt Grossmann and others that the following inference is invalid:

1. K1 and K2 are dramatically different categories of existent
Ergo
2. Instances of K1 differ from instances of K2 in their mode of existence.

But an invalid argument can have a true conclusion.  So one can cheerfully grant the invalidity of the inference from (1) to (2) while insisting that there are categories  the respective members of which differ in their very mode of existence.  For example, although one cannot straightaway infer from the dramatic difference between (primary) substances and accidents that substances and accidents differ in their mode of existence, it is difficult to understand how they could fail to so differ.  After all, accidents depend on substances in that they cannot exist except in substances as modifications of substances, and this dependence is neither causal nor logical.  So I say it is existential dependence. 

Consider a bulge in a carpet.  The bulge cannot exist apart from the carpet whose bulge it is, whereas the carpet can exist without any bulge.  You might be tempted to say that bulge and carpet both simply exist, but that they are counterfactually related: Had the carpet not existed, the bulge would not have existed.  That's true, but what makes it true?  I say it is the fact of the bulge's existential dependence on the carpet.  Accidents exist in a different way than substances.

You could resist this conclusion by simply denying that there are substances and accidents.  Fine, but then I will shift to another example, wholes and parts, say.  Do you have the chutzpah to deny that there are wholes and parts?  Consider again the house made of bricks.  And now try this aporetic pentad on for size:

1. The house exists. 
2. The bricks exist. 
3. The house is not the bricks. 
4. The house is not something wholly diverse from the bricks, something in addition to it, something over and above it. 
5.  'Exist(s)' is univocal. 

The pentad is inconsistent: the limbs cannot all be true.  So what are you going to do?  Deny (1) like van Inwagen?  Maybe that is not crazy, but surely it is extreme.  (2), (3), and (4) are are undeniable.  So I say we ought to deny (5).  The house does not exist in the same way as the bricks.