4 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
16669 | Everything that exists is either a being, or some mode of a being [Malebranche] |
16674 | The quantity is just the matter, in that it has extended parts and is diffuse [Charleton] |
12726 | In a true cause we see a necessary connection [Malebranche] |