12 ideas
| 18261 | A simplification which is complete constitutes a definition [Kant] |
| 14626 | In S5 matters of possibility and necessity are non-contingent [Williamson] |
| 22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
| 18528 | The single imagined 'interval' between things only exists in the intellect [Auriol] |
| 14625 | Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation [Williamson] |
| 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] |
| 18260 | If we knew what we know, we would be astonished [Kant] |
| 14628 | Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson] |
| 16589 | Prime matter lacks essence, but is only potentially and indeterminately a physical thing [Auriol] |
| 16651 | God can do anything non-contradictory, as making straightness with no line, or lightness with no parts [Auriol] |