5 ideas
5021 | An idea is analysed perfectly when it is shown a priori that it is possible [Leibniz] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
5020 | Our thoughts are either dependent, or self-evident. All thoughts seem to end in the self-evident [Leibniz] |
5019 | Supreme human happiness is the greatest possible increase of his perfection [Leibniz] |