What is it to be contingent? There are at least two nonequivalent definitions of 'contingency' at work in philosophical discussions. I will call them the modal definition and the dependency definition.
Modal Contingency. X is modally contingent =df x exists in some but not all metaphysically (broadly logically) possible worlds.
Since possible worlds jargon is very confusing to many, I will also put the definition like this:
X is modally contingent =df x is possibly nonexistent if existent and possibly existent if nonexistent.
For example, I am modally contingent because I might not have existed: my nonexistence is metaphysically possible. Unicorns, on the other hand, are also modally contingent items because they are possibly existent despite their actual nonexistence. It take it that this is what Aquinas meant when he said that the contingent is what is possible to be and possible not to be. If x is contingent, then (possibly x is and possibly x is not). Don't confuse this with the contradictory, possibly (x is and x is not).
Note that the contingent and the actual are not coextensive. Unicorns are contingent but not actual, and God and the number 9 are actual but not contingent. If you balk at the idea that unicorns are contingent, then I will ask you: Are they then necessary beings? Or impossible beings? Since they can't be either, then they must be contingent. Everything is either contingent or non-contingent, and everything non-contingent is either necessary or impossible.
Note also that because unicorns are modally contingent but nonexistent, one cannot validly argue from their modal contingency to their having a cause or ground of their existence. They don't exist; so of course they have no cause or ground of their existence.
Existential Dependency. Now for the dependency definition.
X is dependently contingent =df there is some y such that (i) x is not identical to y; (ii) necessarily, if x exists, then y exists; (iii) y is in some sense the ground or source of x's existence.
We need something like the third clause in the definiens for the following reason. Any two distinct necessary beings will satisfy the first two clauses. Let x be the property of being prime and y the number 9. The two items are distinct and it is necessarily the case that if being prime exists, then 9 exists. But we don't want to say that the the property is contingently dependent upon the number.
The two definitions of 'contingency' are not equivalent. What is modally contingent may or may not be dependently contingent. Bertrand Russell and others have held that the universe exists as a matter of brute fact. (Cf. his famous BBC debate with Fr. Copleston.) Thus it exists and is modally contingent, but does not depend on anything for its existence, and so is not dependently contingent, contingent on something. It is not a contradiction, or at least not an obvious contradiction, to maintain that the universe is modally contingent but not depend on anything distinct from itself. 'Contingent' and 'contingent upon' must not be confused. On the other hand, Aquinas held that there are two sorts of necessary beings, those that have their necessity from another and those that have their necessity in themselves. God, and God alone, has his necessity in himself, whereas Platonica have their necessity from God. That is to say that they derive their esse from God; they depend for their existence on God despite their modal necessity. If, per impossibile, God were not to exist, then the denizens of the Platonic menagerie would not exist either. It follows that Platonica are dependently contingent even though modally necessary.
In sum, modal contingency does not straightaway entail existential dependence, and modal necessity does not straightaway entail existential independence.
So it is not the case that, as some maintain, "the contingent is always contingent on something else." Or at least that is not obviously the case: it needs arguing. One who maintains this absent the arguing ought to be suspected of confusing the two senses of 'contingency' and of making things far too easy on himself.
The following, therefore, is a bad argument as it stands: The universe is contingent; the contingent, by definition, is contingent on something else; ergo the universe is contingent on something else, and this all men call God. It is a bad argument even apart from the 'this all men call God' part because the existence of the universe might well be a brute fact in which case it would be modally contingent but not dependent on anything distinct from it for its existence.
What have I accomplished in this entry? Not much, but this much: I have disambiguated 'contingent' and I have shown that a certain cosmological argument fails. In my book, A Paradigm Theory of Existence, I present an onto-cosmological argument that fares somewhat better. Mirabile dictu, the book is now available in paperback for a reasonable price! The bums at Kluwer never told me!
Recent Comments