Combining Texts

All the ideas for 'Event Causation: counterfactual analysis', 'Russell's Mathematical Logic' and 'Philosophy of Mind: 1950-2000'

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

21 ideas

2. Reason / D. Definition / 8. Impredicative Definition
10041 Impredicative Definitions refer to the totality to which the object itself belongs [Gödel]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
21716 In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
10035 Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
8132 We now have a much more sophisticated understanding of logical form in language [Burge]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
10042 Reference to a totality need not refer to a conjunction of all its elements [Gödel]
5. Theory of Logic / K. Features of Logics / 8. Enumerability
10038 A logical system needs a syntactical survey of all possible expressions [Gödel]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
10046 The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
10039 Some arithmetical problems require assumptions which transcend arithmetic [Gödel]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10043 Mathematical objects are as essential as physical objects are for perception [Gödel]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
10045 Impredicative definitions are admitted into ordinary mathematics [Gödel]
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
8439 Maybe each event has only one possible causal history [Bennett]
8440 Maybe an event's time of occurrence is essential to it [Bennett]
15. Nature of Minds / A. Nature of Mind / 6. Anti-Individualism
8126 Anti-individualism says the environment is involved in the individuation of some mental states [Burge]
8127 Broad concepts suggest an extension of the mind into the environment (less computer-like) [Burge]
16. Persons / C. Self-Awareness / 2. Knowing the Self
8129 Anti-individualism may be incompatible with some sorts of self-knowledge [Burge]
17. Mind and Body / C. Functionalism / 1. Functionalism
8131 Some qualities of experience, like blurred vision, have no function at all [Burge]
26. Natural Theory / C. Causation / 1. Causation
8441 Delaying a fire doesn't cause it, but hastening it might [Bennett]
8436 Either cause and effect are subsumed under a conditional because of properties, or it is counterfactual [Bennett]
26. Natural Theory / C. Causation / 2. Types of cause
8435 Causes are between events ('the explosion') or between facts/states of affairs ('a bomb dropped') [Bennett]
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
8437 The full counterfactual story asserts a series of events, because counterfactuals are not transitive [Bennett]
8438 A counterfactual about an event implies something about the event's essence [Bennett]