Combining Texts

All the ideas for 'Human Freedom and Divine choice', 'Investigations into Logical Deduction' and 'Mathematical Explanation'

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

5 ideas

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
13832 Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking]
9. Objects / D. Essence of Objects / 3. Individual Essences
13230 Particular essence is often captured by generality [Steiner,M]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
13083 The essence is the necessary properties, and the concept includes what is contingent [Leibniz]
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
13229 Maybe an instance of a generalisation is more explanatory than the particular case [Steiner,M]
14. Science / D. Explanation / 2. Types of Explanation / m. Explanation by proof
13231 Explanatory proofs rest on 'characterizing properties' of entities or structure [Steiner,M]