Combining Texts

All the ideas for 'works', 'Believing the Axioms I' and 'Against Structural Universals'

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

30 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 / 4. Intrinsic Properties
15435 If you think universals are immanent, you must believe them to be sparse, and not every related predicate [Lewis]
8. Modes of Existence / B. Properties / 5. Natural Properties
15451 I assume there could be natural properties that are not instantiated in our world [Lewis]
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
15433 Tropes are particular properties, which cannot recur, but can be exact duplicates [Lewis]
8. Modes of Existence / D. Universals / 2. Need for Universals
15436 Universals are meant to give an account of resemblance [Lewis]
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
15438 We can add a primitive natural/unnatural distinction to class nominalism [Lewis]
9. Objects / C. Structure of Objects / 1. Structure of an Object
15448 The 'magical' view of structural universals says they are atoms, even though they have parts [Lewis]
15449 If 'methane' is an atomic structural universal, it has nothing to connect it to its carbon universals [Lewis]
15439 The 'pictorial' view of structural universals says they are wholes made of universals as parts [Lewis]
15441 The structural universal 'methane' needs the universal 'hydrogen' four times over [Lewis]
15445 Butane and Isobutane have the same atoms, but different structures [Lewis]
15434 Structural universals have a necessary connection to the universals forming its parts [Lewis]
15437 We can't get rid of structural universals if there are no simple universals [Lewis]
9. Objects / C. Structure of Objects / 5. Composition of an Object
15446 Composition is not just making new things from old; there are too many counterexamples [Lewis]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
15440 A whole is distinct from its parts, but is not a further addition in ontology [Lewis]
15444 Different things (a toy house and toy car) can be made of the same parts at different times [Lewis]
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
15450 Maybe abstraction is just mereological subtraction [Lewis]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
15443 Mathematicians abstract by equivalence classes, but that doesn't turn a many into one [Lewis]
29. Religion / B. Monotheistic Religion / 4. Christianity / d. Heresy
16713 Philosophers are the forefathers of heretics [Tertullian]
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
6610 I believe because it is absurd [Tertullian]