3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
12716 | The concept of forces or powers best reveals the true concept of substance [Leibniz] |
7907 | Human killing is worse if the victim is virtuous [Buddhaghosa] |