Combining Texts

All the ideas for 'In Defense of Essentialism', 'Maths as a Science of Patterns' and 'Believing the Axioms I'

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

28 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
6299 Axioms are often affirmed simply because they produce results which have been accepted [Resnik]
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
13014 Extensional sets are clearer, simpler, unique and expressive [Maddy]
13013 The Axiom of Extensionality seems to be analytic [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]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
6304 Mathematical realism says that maths exists, is largely true, and is independent of proofs [Resnik]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
6300 Mathematical constants and quantifiers only exist as locations within structures or patterns [Resnik]
6303 Sets are positions in patterns [Resnik]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
6295 There are too many mathematical objects for them all to be mental or physical [Resnik]
6296 Maths is pattern recognition and representation, and its truth and proofs are based on these [Resnik]
6301 Congruence is the strongest relationship of patterns, equivalence comes next, and mutual occurrence is the weakest [Resnik]
6302 Structuralism must explain why a triangle is a whole, and not a random set of points [Resnik]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
14193 'Substance theorists' take modal properties as primitive, without structure, just falling under a sortal [Paul,LA]
14195 If an object's sort determines its properties, we need to ask what determines its sort [Paul,LA]
14196 Substance essentialism says an object is multiple, as falling under various different sortals [Paul,LA]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
14198 Absolutely unrestricted qualitative composition would allow things with incompatible properties [Paul,LA]
9. Objects / D. Essence of Objects / 2. Types of Essence
14190 Deep essentialist objects have intrinsic properties that fix their nature; the shallow version makes it contextual [Paul,LA]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
14191 Deep essentialists say essences constrain how things could change; modal profiles fix natures [Paul,LA]
9. Objects / D. Essence of Objects / 15. Against Essentialism
14192 Essentialism must deal with charges of arbitrariness, and failure to reduce de re modality [Paul,LA]
14197 An object's modal properties don't determine its possibilities [Paul,LA]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
14189 'Modal realists' believe in many concrete worlds, 'actualists' in just this world, 'ersatzists' in abstract other worlds [Paul,LA]