Combining Texts

All the ideas for 'Phenomenalism', 'Completeness of Axioms of Logic' and 'Logic and Epistemology of Causal Relations'

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

---

10 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC

17751

Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]

10. Modality / B. Possibility / 1. Possibility

8361	What is true used to be possible, but it may no longer be so [Wright,GHv]

11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism

2614	Modern phenomenalism holds that objects are logical constructions out of sense-data [Ayer]

12. Knowledge Sources / B. Perception / 4. Sense Data / a. Sense-data theory

2615	The concept of sense-data allows us to discuss appearances without worrying about reality [Ayer]

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]