Combining Texts

All the ideas for 'On Motion', 'Investigations into Logical Deduction' and 'Treatise of Freewill'

expand these ideas     |    start again     |     specify just one area for these texts


3 ideas

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking]
23. Ethics / F. Existentialism / 6. Authentic Self
There is a self-determing power in each person, which makes them what they are [Cudworth]
27. Natural Reality / B. Modern Physics / 1. Relativity / a. Special relativity
Motion is not absolute, but consists in relation [Leibniz]