5 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
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] |
19402 | The actual universe is the richest composite of what is possible [Leibniz] |
14470 | Explanatory exclusion: there cannot be two separate complete explanations of a single event [Kim] |