Combining Texts

All the ideas for 'Scientific Explanation and the Causal Structure of the World', 'Elements of Intuitionism (2nd ed)' and 'On the General Idea of Proof Theory'

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

---

5 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic

18832

Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett]

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

13827

Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]

5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models

13826

Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]

14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism

17093

Causation produces productive mechanisms; to understand the world, understand these mechanisms [Salmon]

17492

Salmon's interaction mechanisms needn't be regular, or involving any systems [Glennan on Salmon]