The Difference Between Possibility and Contingency

Comments

9 responses to “The Difference Between Possibility and Contingency”

1. 

   Bill Vallicella

   February 20, 2009

   Peter L. admits in an e-mail that I am right, “but only contingently.” That’s a good joke but it is also true. There are plenty of possible worlds in which I am wrong about the point under discussion.

   Reply
2. 

   Ben Udell

   February 20, 2009

   That’s a point on which I was trying to get clear a while back – as a matter of technical terminology, does ‘contingent’ mean ‘both possible and unnecessary’? But the alternative, it seemed to me, was that ‘contingent’ simply means ‘unnecessary’. Now that alternate reading seems unlikely since (A) the impossible is a subclass of the unnecessary and (B) we would not call the impossible a subclass of the contingent. Yet I kept encountering statements that ‘contingent’ means ‘unnecessary’, so, worried that it was some sort of technical terminology quirk, I found myself weaseling around the issue when what I really wanted to do was make a hexagon of opposition (tildes to preserve spacing):
   ~ ~ uncontingent
   necessary ~ impossible
   possible ~ unnecessary
   ~ ~~ contingent
   (Valid) disjunction and (inconsistent) conjunction of any two contradictories among them make for a total of 6+2 = 8 options. When you combine with ‘true’ and ‘false’, (e.g., ‘contingently true’ and ‘contingently false’), then you get a 16-fold including a few odd combinations.
   Anyway it would be nice if there were a dictionary or lexicon which plainly said that ‘contingent’ means ‘possible and unnecessary’, since that sure seems to be the meaning.

   Reply
3. 

   David Brightly

   February 21, 2009

   Ben,
   I think this follows Bill’s usage. Does this help?

   +----------------+---------------------+-------+-------------------+--------------------+
   | The necessary  | necessarily True    |       |                   | not possibly False |
   +----------------+ --------------------+ True  |                   +--------------------+
   |                | contingently True   |       | possibly True     |                    |
   | The contingent +---------------------+-------+                   |                    |
   |                | contingently False  |       |                   | possibly False     |
   +----------------+---------------------+ False +-------------------+                    |
   | The impossible | necessarily False   |       | not possibly True |                    |
   +----------------+---------------------+-------+-------------------+--------------------+
   

   I think the problem arises because ‘necessary’ is often contrasted with ‘contingent’. When used like this ‘necessary’ includes the necessarily false, ie, the impossible, which perhaps is a little counter-intuitive.

   Reply
4. 

   peterlupu

   February 21, 2009

   “Peter L. admits in an e-mail that I am right, “but only contingently.””
   Bill is right, about both: contingency and my admission of him being contingently right. (I blame the Indian cuisine!)
   peter

   Reply
5. 

   Bill Vallicella

   February 21, 2009

   David,
   That’s beautiful and exactly right. Thanks! I was thinking of making a ‘modal map’ but I’m ‘graphically challenged.’
   >>I think the problem arises because ‘necessary’ is often contrasted with ‘contingent’. When used like this ‘necessary’ includes the necessarily false, ie, the impossible, which perhaps is a little counter-intuitive.<< Right. Consider *There are round squares.* We could classify this as necessarily false, as not possibly true, or as impossible. But it would be misleading to classify it as necessary.

   Reply
6. 

   Bill Vallicella

   February 21, 2009

   Ben writes, “Yet I kept encountering statements that ‘contingent’ means ‘unnecessary’. . .” If a proposition p is contingent, then p is not necessary (i.e., not necessarily true). But if p is not necessary, it does not follow that p is contingent. For example, *There are round squares* is not necessary because impossible. But the proposition is not contingent. So ‘contingent’ cannot mean ‘not necessary.’
   >>Anyway it would be nice if there were a dictionary or lexicon which plainly said that ‘contingent’ means ‘possible and unnecessary’, since that sure seems to be the meaning.<< That is indeed what 'contingent' means. The discussion in Kenneth Konyndyk, Introductory Modal Logic is good. He doesn’t put it your way but he says things that entail it. He also has an interesting modal diagram on p. 17. But it is not as good as Brightly’s!

   Reply
7. 

   Ben Udell

   February 21, 2009

   Thanks, Bill, for the reference, it may come in handy.
   David, you hit it the nail on the head about ‘necessary’ sometimes including the necessarily false – in that sense it really means ‘non-contingent’ and confusion’s seeds take root.
   I did get Bill’s sense originally. I meant that there are 16 non-redundant options, including 14 non-trivial options, which one can get for instance by combining ‘True’ and ‘contingent’, using the 16 binary connectives. So additionally there are the non-contingent, the not contingently-True, the not contingently-False, the contingent iff True, and the contingent iff False. The last two especially were what I meant by “odd combinations” (I haven’t been used to thinking about them and have wondered in what connections they might be of practical concern).
   I’ll try to use David’s graphic method, I really hope it works for me too, otherwise it will be a deletion-worthy mess. On the pattern of

   p iff q.      pq.   ~p~q.  F.
   if p then q.  q.    ~p.    ~pq.
   p if q.       p.    ~q.    p~q.
   T.            pvq.  p|q.   p iff ~q.
    
   +------------------------+-------------------+-----------------------+--------------------------+
   | contingent iff True    | contingently True | impossible            | [inconsistently classed] |
   +------------------------+-------------------+-----------------------+--------------------------+
   | possibly False         | contingent        | False                 | contingently False       |
   +------------------------+-------------------+-----------------------+--------------------------+
   | not contingently-False | True              | non-contingent        | necessary                |
   +------------------------+-------------------+-----------------------+--------------------------+
   | [validly classed]      | possibly True     | not contingently-True | contingent iff False     |
   +------------------------+-------------------+-----------------------+--------------------------+

   Reply
8. 

   David Brightly

   February 27, 2009

   Hello Bill, and thank you for the kind remarks. Some of us were doing tables this way long before MS Word and its like were invented!
   But I’ve been puzzling over Peter’s joke. You say you want to “try to prove to him [Peter] that they [contingency and possibility]” are indeed not the same. Both Peter and you agree that you are right, ie, that your proof is sound. But won’t the proof work in any possible world and hence aren’t you *necessarily* right? How could there be “possible worlds in which I[Bill] am wrong about the point under discussion”? After all, it’s a matter of definition and the extent of possible worlds, hence ‘lies outside all possible worlds’.

   Reply
9. 

   Bill Vallicella

   February 27, 2009

   David,
   You write, “Both Peter and you agree that you are right, ie, that your proof is sound. But won’t the proof work in any possible world and hence aren’t you *necessarily* right?”
   There are two separate questions here. One concerns a psychological fact about me, the other concerns the soundness of a proof. Yes, the proof is sound in every possible world. But I am not right in every possible world because there are worlds in which I am not aware of the proof. So although the proof is necessarily sound, it does not follow that I am necessarily right.
   Dou you buy this explanation?

   Reply