5 ideas
19370 | 'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
19391 | We can assign a characteristic number to every single object [Leibniz] |
19390 | Everything is subsumed under number, which is a metaphysical statics of the universe, revealing powers [Leibniz] |
5996 | Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA] |