Combining Texts

All the ideas for 'Mechanisms', 'Believing the Axioms I' and 'The Mind and the Soul'

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

22 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
13011 New axioms are being sought, to determine the size of the continuum [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
13013 The Axiom of Extensionality seems to be analytic [Maddy]
13014 Extensional sets are clearer, simpler, unique and expressive [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
13021 The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy]
13022 Infinite sets are essential for giving an account of the real numbers [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / g. Axiom of Powers VI
13023 The Power Set Axiom is needed for, and supported by, accounts of the continuum [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
13024 Efforts to prove the Axiom of Choice have failed [Maddy]
13025 Modern views say the Choice set exists, even if it can't be constructed [Maddy]
13026 A large array of theorems depend on the Axiom of Choice [Maddy]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
13019 The Iterative Conception says everything appears at a stage, derived from the preceding appearances [Maddy]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
13018 Limitation of Size is a vague intuition that over-large sets may generate paradoxes [Maddy]
8. Modes of Existence / B. Properties / 1. Nature of Properties
9295 Not only substances have attributes; events, actions, states and qualities can have them [Teichmann]
14. Science / B. Scientific Theories / 2. Aim of Science
17488 Empiricist theories are sets of laws, which give explanations and reductions [Glennan]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
17493 Modern mechanism need parts with spatial, temporal and function facts, and diagrams [Glennan]
17487 Mechanistic philosophy of science is an alternative to the empiricist law-based tradition [Glennan]
17489 Mechanisms are either systems of parts or sequences of activities [Glennan]
17490 17th century mechanists explained everything by the kinetic physical fundamentals [Glennan]
17491 Unlike the lawlike approach, mechanistic explanation can allow for exceptions [Glennan]
17. Mind and Body / A. Mind-Body Dualism / 2. Interactionism
9293 Body-spirit interaction ought to result in losses and increases of energy in the material world [Teichmann]
26. Natural Theory / C. Causation / 4. Naturalised causation
17494 Since causal events are related by mechanisms, causation can be analysed in that way [Glennan]
29. Religion / D. Religious Issues / 2. Immortality / b. Soul
9292 The Soul has no particular capacity (in the way thinking belongs to the mind) [Teichmann]
9294 No individuating marks distinguish between Souls [Teichmann]