green numbers give full details.     |    back to list of philosophers     |     expand these ideas

Ideas of Penelope Maddy, by Text

[American, b.1950, Professor of Logic and Philosophy of Science at the University of California, Irvine.]

1981 Sets and Numbers
I p.345 17823 If mathematical objects exist, how can we know them, and which objects are they?
II p.347 17824 The master science is physical objects divided into sets
II p.347 17825 Set theory (unlike the Peano postulates) can explain why multiplication is commutative
III p.347 17826 Standardly, numbers are said to be sets, which is neat ontology and epistemology
III p.349 17828 Numbers are properties of sets, just as lengths are properties of physical objects
III p.349 17827 Sets exist where their elements are, but numbers are more like universals
IV p.350 17829 Number words are unusual as adjectives; we don't say 'is five', and numbers always come first
V p.353 17830 Number theory doesn't 'reduce' to set theory, because sets have number properties
1988 Believing the Axioms I
§0 p.482 13011 New axioms are being sought, to determine the size of the continuum
§1.1 p.484 13014 Extensional sets are clearer, simpler, unique and expressive
§1.1 p.484 13013 The Axiom of Extensionality seems to be analytic
§1.3 p.485 13018 Limitation of Size is a vague intuition that over-large sets may generate paradoxes
§1.3 p.485 13019 The Iterative Conception says everything appears at a stage, derived from the preceding appearances
§1.5 p.486 13021 The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics
§1.5 p.486 13022 Infinite sets are essential for giving an account of the real numbers
§1.6 p.486 13023 The Power Set Axiom is needed for, and supported by, accounts of the continuum
§1.7 p.487 13024 Efforts to prove the Axiom of Choice have failed
§1.7 p.488 13025 Modern views say the Choice set exists, even if it can't be constructed
§1.7 p.488 13026 A large array of theorems depend on the Axiom of Choice
1990 Realism in Mathematics
p.191 17733 We know mind-independent mathematical truths through sets, which rest on experience [Jenkins]
p.223 8755 Maddy replaces pure sets with just objects and perceived sets of objects [Shapiro]
p.224 8756 Intuition doesn't support much mathematics, and we should question its reliability [Shapiro]
3 §2 p.19 10718 A natural number is a property of sets [Oliver]
1997 Naturalism in Mathematics
§107 p.117 18182 The extension of concepts is not important to me
I Intro p.1 18163 Mathematics rests on the logic of proofs, and on the set theoretic axioms
I.1 p.5 18164 Frege solves the Caesar problem by explicitly defining each number
I.1 p.7 18167 We can get arithmetic directly from HP; Law V was used to get HP from the definition of number
I.1 p.9 18168 'Propositional functions' are propositions with a variable as subject or predicate
I.1 p.11 18169 Axiom of Reducibility: propositional functions are extensionally predicative
I.1 p.16 18172 Infinity has degrees, and large cardinals are the heart of set theory
I.1 p.17 18175 For any cardinal there is always a larger one (so there is no set of all sets)
I.1 n39 p.15 18171 Cantor and Dedekind brought completed infinities into mathematics
I.2 p.23 18177 In the ZFC hierarchy it is impossible to form Frege's set of all three-element sets
I.2 p.26 18185 Unified set theory gives a final court of appeal for mathematics
I.2 p.26 18183 Set theory brings mathematics into one arena, where interrelations become clearer
I.2 p.26 18186 Identifying geometric points with real numbers revealed the power of set theory
I.2 p.26 18184 Making set theory foundational to mathematics leads to very fruitful axioms
I.2 p.27 18188 The line of rationals has gaps, but set theory provided an ordered continuum
I.2 p.27 18187 Theorems about limits could only be proved once the real numbers were understood
I.3 p.51 18190 Completed infinities resulted from giving foundations to calculus
I.3 p.52 18191 Axiom of Infinity: completed infinite collections can be treated mathematically
I.3 p.60 18193 The Axiom of Foundation says every set exists at a level in the set hierarchy
I.4 p.66 18194 'Forcing' can produce new models of ZFC from old models
I.5 p.73 18195 A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy
I.5 p.74 18196 An 'inaccessible' cardinal cannot be reached by union sets or power sets
II.5 p.131 18204 Scientists posit as few entities as possible, but set theorist posit as many as possible
II.6 p.143 18205 The theoretical indispensability of atoms did not at first convince scientists that they were real
II.6 p.143 18206 Science idealises the earth's surface, the oceans, continuities, and liquids
II.6 p.152 18207 Maybe applications of continuum mathematics are all idealisations
2007 Second Philosophy
III.8 n1 p.299 10594 Henkin semantics is more plausible for plural logic than for second-order logic
2011 Defending the Axioms
1.3 p.31 17605 Hilbert's geometry and Dedekind's real numbers were role models for axiomatization
1.3 p.35 17610 The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres
2.3 p.53 17614 The connection of arithmetic to perception has been idealised away in modern infinitary mathematics
2.4 n40 p.56 17615 Every infinite set of reals is either countable or of the same size as the full set of reals
3.3 p.99 17620 Critics of if-thenism say that not all starting points, even consistent ones, are worth studying
3.4 p.82 17618 Set-theory tracks the contours of mathematical depth and fruitfulness
5.3ii p.129 17625 If two mathematical themes coincide, that suggest a single deep truth