4 ideas
23367 | Even pointing a finger should only be done for a reason [Epictetus] |
22329 | Logic is highly general truths abstracted from reality [Russell, by Glock] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
21569 | It is good to generalise truths as much as possible [Russell] |