Combining Texts

All the ideas for 'The Facts of Causation', 'A World of Propensities' and 'Gentzen's Analysis of First-Order Proofs'

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

7 ideas

3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
10365 We might use 'facta' to refer to the truth-makers for facts [Mellor, by Schaffer,J]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
13831 Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
13825 Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
13823 In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
8. Modes of Existence / C. Powers and Dispositions / 7. Against Powers
11946 Propensities are part of a situation, not part of the objects [Popper]
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
4785 Causal statements relate facts (which are whatever true propositions express) [Mellor, by Psillos]
26. Natural Theory / C. Causation / 8. Particular Causation / e. Probabilistic causation
8408 Probabilistic causation says C is a cause of E if it increases the chances of E occurring [Mellor, by Tooley]