Combining Texts

All the ideas for 'Physiologia', 'The Search After Truth' and 'Investigations into Logical Deduction'

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


4 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]
8. Modes of Existence / B. Properties / 8. Properties as Modes
Everything that exists is either a being, or some mode of a being [Malebranche]
9. Objects / C. Structure of Objects / 4. Quantity of an Object
The quantity is just the matter, in that it has extended parts and is diffuse [Charleton]
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
In a true cause we see a necessary connection [Malebranche]