more on this theme     |     more from this thinker


Single Idea 14625

[filed under theme 10. Modality / A. Necessity / 1. Types of Modality ]

Full Idea

Modal thinking is logically equivalent to a type of counterfactual thinking. ...The necessary is that which is counterfactually implied by its own negation; the possible is that which does not counterfactually imply its own negation.

Gist of Idea

Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation

Source

Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 1)

Book Ref

'Modality', ed/tr. Hale,B/Hoffman,A [OUP 2010], p.83


A Reaction

I really like this, because it builds modality on ordinary imaginative thinking. He says you just need to grasp counterfactuals, and also negation and absurdity, and you can then understand necessity and possibility. We can all do that.


The 6 ideas from 'Modal Logic within Counterfactual Logic'

Rather than define counterfactuals using necessity, maybe necessity is a special case of counterfactuals [Williamson, by Hale/Hoffmann,A]
Counterfactual conditionals transmit possibility: (A□→B)⊃(◊A⊃◊B) [Williamson]
Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation [Williamson]
Strict conditionals imply counterfactual conditionals: □(A⊃B)⊃(A□→B) [Williamson]
In S5 matters of possibility and necessity are non-contingent [Williamson]
Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson]