13 ideas
| 19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
| 19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
| 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] |
| 15087 | Conceptual necessities are made true by all concepts [Hale] |
| 19402 | The actual universe is the richest composite of what is possible [Leibniz] |
| 3979 | The Turing Machine is the best idea yet about how the mind works [Fodor on Turing] |
| 5321 | In 50 years computers will successfully imitate humans with a 70% success rate [Turing] |