Defending the Axioms: On the Philosophical Foundations of Set TheoryOxford University Press, 27 gen 2011 - 150 pagine Mathematics depends on proofs, and proofs have to begin somewhere, from some fundamental assumptions. Chapter I traces the historical rise of pure mathematics and the development of set theory, eventually axiomatic set theory, to play this foundational role for contemporary classical mathematics. Here the Euclidean ideal of postulates that are simply obvious or self-evident can't be the whole story, which raises two basic questions: what are the proper methods for defending set-theoretic axioms? And, why are these the proper methods? Chapter II introduces the meta-philosophical perspective, called Second Philosophy, from which the inquiry into these questions will take place, and identifies straightforward mathematical answers to the first question. Addressing the second requires engagement with the troublesome ontological and epistemological issues that have dogged the philosophy of mathematics from its beginnings. Chapters III and IV describe and explore two apparently conflicting stands on these issues—called Thin Realism and Arealism—not so much to recommend either one, but with an eye to suggesting that the question of which is correct has less bite than it might appear. In the end, the hope is to shift attention away from these elusive matters of truth and existence, and to direct it toward the distinctive type of mathematical objectivity emphasized in the opening section of Chapter V. The concluding sections of chapter V return, at last, to the question of set-theoretic method and draw some concrete morals for the project of defending the axioms. |
Sommario
Introduction | 1 |
I The Problem | 2 |
II Proper Method | 38 |
III Thin Realism | 60 |
IV Arealism | 88 |
V Morals | 113 |
138 | |
147 | |
Altre edizioni - Visualizza tutto
Defending the Axioms: On the Philosophical Foundations of Set Theory Penelope Maddy Anteprima limitata - 2011 |
Defending the Axioms: On the Philosophical Foundations of Set Theory Penelope Maddy Anteprima non disponibile - 2013 |
Defending the Axioms: On the Philosophical Foundations of Set Theory Penelope Maddy Anteprima non disponibile - 2011 |
Parole e frasi comuni
abstract actually analysis answer appear application argument axioms begin believe body Burgess called Cantor challenge Chapter Choice claims classical concept connection consider considerations consistency continuous course Dedekind derived describe determinacy determinate developed differential discussion effective empirical entirely equations Euler’s evidence example existence extrinsic fact familiar follows force foundation fruitful function fundamental geometry given gives goals grounds hypotheses idea important intrinsic intuition involved justifications Kline large cardinals laws logical mathe mathematicians matics matter means mechanics methods natural Newton noted numbers objects observation ordinary particular perhaps physical position possible practice principles problem projective proof pure mathematics quantum mechanics question reason regard reliability Robust Realism Second Philosopher seems seen sense set theory set-theoretic set-theoretic methods simply sort structure theorem Thin Realism things thought tions true truth underlying understanding various