Combining Texts

All the ideas for 'Extrinsic Properties', 'works' and 'Naturalism in Mathematics'

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


37 ideas

4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
'Forcing' can produce new models of ZFC from old models [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
Axiom of Reducibility: propositional functions are extensionally predicative [Maddy]
4. Formal Logic / G. Formal Mereology / 1. Mereology
Abelard's mereology involves privileged and natural divisions, and principal parts [Abelard, by King,P]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
'Propositional functions' are propositions with a variable as subject or predicate [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
Cantor and Dedekind brought completed infinities into mathematics [Maddy]
Completed infinities resulted from giving foundations to calculus [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
Infinity has degrees, and large cardinals are the heart of set theory [Maddy]
For any cardinal there is always a larger one (so there is no set of all sets) [Maddy]
An 'inaccessible' cardinal cannot be reached by union sets or power sets [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / l. Limits
Theorems about limits could only be proved once the real numbers were understood [Maddy]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
The extension of concepts is not important to me [Maddy]
In the ZFC hierarchy it is impossible to form Frege's set of all three-element sets [Maddy]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
Frege solves the Caesar problem by explicitly defining each number [Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Making set theory foundational to mathematics leads to very fruitful axioms [Maddy]
Unified set theory gives a final court of appeal for mathematics [Maddy]
Set theory brings mathematics into one arena, where interrelations become clearer [Maddy]
Identifying geometric points with real numbers revealed the power of set theory [Maddy]
The line of rationals has gaps, but set theory provided an ordered continuum [Maddy]
Mathematics rests on the logic of proofs, and on the set theoretic axioms [Maddy]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics
Maybe applications of continuum mathematics are all idealisations [Maddy]
Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
The theoretical indispensability of atoms did not at first convince scientists that they were real [Maddy]
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
Being alone doesn't guarantee intrinsic properties; 'being alone' is itself extrinsic [Lewis, by Sider]
Extrinsic properties come in degrees, with 'brother' less extrinsic than 'sibling' [Lewis]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
If 'animal' is wholly present in Socrates and an ass, then 'animal' is rational and irrational [Abelard, by King,P]
Abelard was an irrealist about virtually everything apart from concrete individuals [Abelard, by King,P]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
Only words can be 'predicated of many'; the universality is just in its mode of signifying [Abelard, by Panaccio]
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
Total intrinsic properties give us what a thing is [Lewis]
10. Modality / A. Necessity / 4. De re / De dicto modality
The de dicto-de re modality distinction dates back to Abelard [Abelard, by Orenstein]
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
Science idealises the earth's surface, the oceans, continuities, and liquids [Maddy]
18. Thought / E. Abstraction / 8. Abstractionism Critique
Abelard's problem is the purely singular aspects of things won't account for abstraction [Panaccio on Abelard]
19. Language / C. Assigning Meanings / 3. Predicates
Nothing external can truly be predicated of an object [Abelard, by Panaccio]
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
Natural kinds are not special; they are just well-defined resemblance collections [Abelard, by King,P]