display all the ideas for this combination of texts
15 ideas
13828 | Necessary truths are those provable from identities by pure logic in finite steps [Leibniz, by Hacking] |
15086 | Absolute necessity might be achievable either logically or metaphysically [Hale] |
8261 | Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale] |
15080 | 'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale] |
15081 | A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale] |
15082 | Metaphysical necessity says there is no possibility of falsehood [Hale] |
15085 | 'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale] |
15088 | Logical necessities are true in virtue of the nature of all logical concepts [Hale] |
13084 | How can things be incompatible, if all positive terms seem to be compatible? [Leibniz] |
4307 | A reason must be given why contingent beings should exist rather than not exist [Leibniz] |
15087 | Conceptual necessities are made true by all concepts [Hale] |
15883 | Leibniz narrows down God's options to one, by non-contradiction, sufficient reason, indiscernibles, compossibility [Leibniz, by Harré] |
18822 | Each monad expresses all its compatible monads; a possible world is the resulting equivalence class [Leibniz, by Rumfitt] |
7837 | Leibniz proposed possible worlds, because they might be evil, where God would not create evil things [Leibniz, by Stewart,M] |
13080 | Leibniz has a counterpart view of de re counterfactuals [Leibniz, by Cover/O'Leary-Hawthorne] |