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] |
18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |