Combining Texts

All the ideas for 'Logic and Epistemology of Causal Relations', 'Dispositional Essentialism and the Laws of Nature' and 'Gentzen's Analysis of First-Order Proofs'

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

11 ideas

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]
10. Modality / B. Possibility / 1. Possibility
8361 What is true used to be possible, but it may no longer be so [Wright,GHv]
26. Natural Theory / C. Causation / 5. Direction of causation
8363 p is a cause and q an effect (not vice versa) if manipulations of p change q [Wright,GHv]
8364 We can imagine controlling floods by controlling rain, but not vice versa [Wright,GHv]
26. Natural Theory / C. Causation / 8. Particular Causation / a. Observation of causation
8366 The very notion of a cause depends on agency and action [Wright,GHv]
8362 We give regularities a causal character by subjecting them to experiment [Wright,GHv]
26. Natural Theory / C. Causation / 8. Particular Causation / c. Conditions of causation
8360 We must further analyse conditions for causation, into quantifiers or modal concepts [Wright,GHv]
26. Natural Theory / D. Laws of Nature / 2. Types of Laws
8365 Some laws are causal (Ohm's Law), but others are conceptual principles (conservation of energy) [Wright,GHv]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
17993 Laws are relations of kinds, quantities and qualities, supervening on the essences of a domain [Vetter]