9 ideas
14626 | In S5 matters of possibility and necessity are non-contingent [Williamson] |
16007 | I assume existence, rather than reasoning towards it [Kierkegaard] |
14625 | Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation [Williamson] |
16013 | Nothing necessary can come into existence, since it already 'is' [Kierkegaard] |
7803 | Modal logic began with translation difficulties for 'If...then' [Lewis,CI, by Girle] |
14623 | Strict conditionals imply counterfactual conditionals: □(A⊃B)⊃(A□→B) [Williamson] |
14624 | Counterfactual conditionals transmit possibility: (A□→B)⊃(◊A⊃◊B) [Williamson] |
14531 | Rather than define counterfactuals using necessity, maybe necessity is a special case of counterfactuals [Williamson, by Hale/Hoffmann,A] |
14628 | Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson] |