Read more
This Element addresses the viability of categoricity arguments in philosophy by focusing with some care on the specific conclusions that a sampling of prominent figures have attempted to draw ¿ the same theorem might successfully support one such conclusion while failing to support another. It begins with Dedekind, Zermelo, and Kreisel, casting doubt on received readings of the latter two and highlighting the success of all three in achieving what are argued to be their actual goals. These earlier uses of categoricity arguments are then compared and contrasted with more recent work of Parsons and the co-authors Button and Walsh. Highlighting the roles of first- and second-order theorems, of external and internal theorems, the Element concludes that categoricity arguments have been more effective in historical cases that reflect philosophically on internal mathematical matters than in recent questions of pre-theoretic metaphysics.
List of contents
1. Introduction; 2. Dedekind in 'Was sind und was sollen die Zahlen?' (1888); 3. Dedekind in 'Was sind und was sollen die Zahlen?' (1888); 4. Kreisel in 'Informal rigor and incompleteness proofs' (1967) and 'Two notes on the foundations of set theory'(1969); 5. Parsons in 'The uniqueness of the natural numbers' (1990) and 'Mathematical induction' (2008); 6. Parsons in 'The uniqueness of the natural numbers' (1990) and 'Mathematical induction' (2008); 7. Conclusion; References.
Summary
This Element addresses the categoricity arguments that have been more effective in historical cases that reflect philosophically on internal mathematical matters than in recent questions of pre-theoretic metaphysics.
