## Thursday, February 19, 2009

You can follow this conversation by subscribing to the comment feed for this post.

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.

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.

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.

"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

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.

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!

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     |+------------------------+-------------------+-----------------------+--------------------------+`

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'.

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.

The comments to this entry are closed.

## Other Maverick Philosopher Sites

Member since 10/2008

## September 2024

Sun Mon Tue Wed Thu Fri Sat
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30