The reality of mathematics and the case of set theory

Truth Reference and Realism

Volumn , Issue , 2011, Pages 1-75

  Isaacson, Daniel ^a,b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b WOLFSON COLLEGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84878364367     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Chapter

References (103)

1. Aczel, P. 1988. Non-Well-Founded Sets. CSLI Lecture Notes no. 14. Stanford, Calif.: center for the study of language and information.
2. Bell, J.L. 1969. Model Theoretic and Axiomatization Results for Certain Restricted Second Order Languages. D. Phil. thesis, university of Oxford.
3. Benacerraf, P. 1965. "What Numbers Could Not Be." Philosophical Review 74: 47-73.
4. Benacerraf, P. 1973. "Mathematical Truth." Journal of Philosophy 70: 661-680.
5. Benacerraf, P. 1996. "Recantation." Philosophia Mathematica 4: 184-189.
6. Benacerraf, P. 1999. "What Mathematical Truth Could Not Be-II, or Through a Glass Darkly." In Sets and Proofs: Invited Papers from Logic Colloquium '97-European Meeting of the Association of Symbolic Logic, Leeds, July 1997, edited by S.B. Cooper and J.K. Truss, 27-51. London Mathematical Society Lecture Notes Series 258. Cambridge: Cambridge University Press.
7. Bernays, P. 1930. "Die Philosophie der Matematik und die Hilbertsche Be-weistheorie." Blatter fur deutsche Philosophie 4: 326-367. Reprinted with postscript in Abhandlungen zur Philosophie der Mathematik. Darmstadt: Wissenschaftlische Buchgesellschaft, 1976. English translation by Paolo Mancosu as "The Philosophy of Mathematics and Hilbert's Proof Theory." Text no. 9. Bernays Project, Carnegie-Mellon University.
8. Bernays, P. 1967. "What Do Some Recent Results in Set Theory Suggest?" In Lakatos 1965, vol. 1, 109-117.
9. Boolos, G. 1971. "The Iterative Conception of Set." Journal of Philosophy 68: 215-231.
10. Boolos, G. 1975. "On Second-Order Logic." Journal of Philosophy 72: 509-527.
11. Boolos, G. 1998. "Must We Believe in Set Theory?" In Logic, Logic, and Logic, 120-132. Cambridge, Mass.: Harvard university Press.
12. Bourbaki, N. 1948. "L'architecture des mathematiques." In Les Grands Cou-rants de la Pensee Mathematique, edited by F. Le Lionnais. Cahiers du Sud, 35-47. English translation by A. Dresden as "The Architecture of Mathematics." American Mathematical Monthly 57 (1950): 221-232.
13. Burgess, J. and R. Gideon. 1997. A Subject with no Object: Strategies for Nomi-nalistic Interpretation of Mathematics. New York: Oxford University Press.
14. Cantor, G. 1878. "Ein Beitrag zur Mannigfaltigkeitslehre." Journal fur die reine und angewandte Mathematik 84: 242-258.
15. Cantor, G. 1899. Letter to R. Dedekind, 28 July 1899. In Cantor 1932, 443-447. English translation by S. Bauer-Mengelberg and J. van Heijenoort in van Heijenoort 1967, 113-117.
16. Cantor, G. 1932. Gesammelte Abhandlungen matematischen und philosophischen Inhalts. Edited by E. Zermelo. Berlin: Springer.
17. Cohen, P.J. 1963. "The Independence of the Continuum Hypothesis I." Proceedings of the National Academy of Sciences of the U.S.A. 50: 1143-1148.
18. Cohen, P.J. 1964. "The Independence of the Continuum Hypothesis II." Pro- ceedings of the National Academy of Sciences of the U.S.A. 51: 105-110.
19. Cohen, P.J. and R. Hersh. 1967. "Non-Cantorian Set Theory." Scientific American 217: 104-116.
20. Corry, L. 1992. "Nicolas Bourbaki and the Concept of Mathematical Structure." Synthese 92: 315-348.
21. Corry, L. 1998. "The Origins of Eternal Truth in Modern Mathematics: Hilbert to Bourbaki and Beyond." Science in Context 12: 137-183.
22. Darmon, H. 1999. "A Proof of the Full Shimura-Taniyama-Weil Conjecture Is Announced." Notices of the American Mathematical Society 46: 1397-1401.
23. Dedekind, R. 1872. Stetigkeit und irrationale Zahlen. Braunschweig: Vieweg. English translation by W.W. Beman as "Continuity and Irrational Numbers," in Dedekind 1901, 765-779. Reprinted with corrections in Ewald 1996, 765-779.
24. Dedekind, R. 1888. Was sind und was sollen die Zahlen? Braunschweig: Vieweg. 2nd ed. 1893. English translation by WW. Beman as "The Nature and Meaning of Numbers," in Dedekind 1901, 29-115. Extensively revised by W.B. Ewald, in Ewald 1996, 787-833.
25. Dedekind, R. 1901. Essays on the Theory of Numbers. Chicago: Open Court.
26. Drake, F. 1974. Set Theory: An Introduction to Large Cardinals. Amsterdam: North-Holland.
27. Ewald, W.B., ed. 1996. From Kant to Hilbert: A Source Book in the Foundations of Mathetmatics. New York: Oxford University Press.
28. Enderton, H.B. 1977. Elements of Set Theory. New York: Academic Press.
29. Feferman, S. 1984. "Kurt Godel: Conviction and Caution." Philosophia Nat-uralis 21: 546-562. Reprinted with additions and corrections in In the Light of Logic, 150-164. New York: Oxford University Press, 1998.
30. Feferman, S. 1999. "Does Mathematics Need New Axioms?" American Mathe- matical Monthly 106: 99-116.
31. Feferman, S. 2000. "Why the Programs for New Axioms Need To Be Questioned." Bulletin of Symbolic Logic 6: 401-413.
32. Field, H. 2000. "Indeterminacy, Degree of Belief, and Excluded Middle." Nous 34: 1-30.
33. Frege, G. 1884. Die Grundlagen der Arithmetik, eine logisch-mathematische Un-tersuchung uber den Begriff der Zahl. Breslau: Verlag von Wilhelm Koeb-ner. English translation by J.L. Austin as The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number. Oxford: Basil Blackwell, 1950. 2nd ed. 1953. Revised ed. 1980.
34. Frege, G. 1976. Wissenschaftlicher Briefwechsel. Edited by G. Gabriel et al. Hamburg: Felix Meiner Verlag. Abridged by B. McGuinness and translated into English by H. Kaal as Philosophical and Mathematical Correspondence. Oxford: Basic Blackwell, 1980.
35. Friedman, H. 1971. "Higher Set Theory and Mathematical Practice." Annals of Mathematical Logic 2: 326-357.
36. Godel, K. 1931. "Uber formal untentscheidbare Satze der Principia mathemati-ca und verwandter Systeme I." Monatshefte fur Mathematik und Physik 38: 173-198. English translation by J. van Heijenoort as "On Formally Unde-cidable Propositions of Principia Mathematica and Related Systems I," in Publications 1929-1936, vol. 1 of Collected Works, edited by S. Feferman et al., 144-195. New York: Oxford University Press, 1986.
37. Godel, K. 1947. "What is Cantor's Continuum Problem?" American Mathemat- ical Monthly 54: 515-525. Errata 55: 151. Revised and expanded version in Philosophy of Mathematics: Selected Readings, edited by P. Benacerraf and H. Putnam, 258-273. Oxford: Basil Blackwell, 1964. Reprinted in Godel 1990, 176-187, 254-270.
38. Godel, K. 1959. Letter to Paul Arthur Schilpp, 3 February 1959. In Godel 2003, 244.
39. Godel, K. 1965. "Remarks Before the Princeton Bicentential Conference on Problems in Mathematics." In The Undecidable: Basic Papers on Undecid-able Propositions, Unsolvable Problems and Computable Functions, edited by M. Davis, 84-88. New York: Raven Press, Hewlett. Reprinted in Godel 1990, 150-153.
40. 2" (1970a). "A Proof of Cantor's Continuum Hypothesis from a Highly Plausible Axiom about Orders of Growth" (1970b). "Unsent letter to Alfred Tarski" (1970c). Introductory note to 1970a, 1970b and 1970c by R.M. Solovay. In Godel 1995, 405-425.
41. Godel, K. 1990. Publications 1938-1974. Vol. 2 of Collected Works, edited by S. Feferman et al. New York: Oxford University Press.
42. Godel, K. 1995. Unpublished Essays and Lectures. Vol. 3 of Collected Works, edited by S. Feferman et al. New York: Oxford University Press.
43. Godel, K. 2003. Correspondence H-Z. Vol. 5 of Collected Works, edited by S. Feferman et al. New York: Oxford University Press.
44. Godel K. and E. Zermelo. 1931. Correspondence. Printed with English translation by J.W Dawson in Godel 2003, 420-431.
45. Goldfarb, W. 1995. Introductory note to drafts of "Is Mathematics Syntax of Language?" by K. Godel. In Godel 1995, 324-334.
46. Goodstein, R.L. 1944. "On the Restricted Ordinal Theorem." Journal of Symbolic Logic 9: 33-41.
47. Gowers, T. 2006. "Does Mathematics Need a Philosophy?" In 18 Unconventional Essays on the Nature of Mathematics, edited by R. Hersh, 182-200. New York: Springer.
48. Hazen, A.P. 1985. Review of Frege's Conception of Numbers as Objects, by C. Wright. Australasian Journal of Philosophy 63: 253-254.
49. Hellman, G. 1989. Mathematics without Numbers: Towards a Modal-Structural Interpretation. New York: Oxford University Press.
50. Hilbert, D. 1899. Grundlagen der Geometrie. Lepzig: Teubner. English translation by E.J. Townsend as Foundations of Geometry. Chicago: Open Court, 1902. 10th ed., revised and enlarged by Paul Bernays. Stuttgart: Teub-ner, 1968. English translation by Leo Unger of the 10th ed. La Salle, Ill.: Open Court, 1971.
51. Isaacson, D. 1987. "Arithmetical Truth and Hidden Higher-order Concepts." In Logic Colloquium '85: Proceedings of the Colloquium held in Orsay, France July 1985, edited by The Paris Logic Group, 147-169. Amsterdam: North-Holland. Reprinted with small revisions in The Philosophy of Mathematics, edited by W.D. Hart, 201-224. New York: Oxford University Press, 1996.
52. Isaacson, D. 1992. "Some Considerations on Arithmetical Truth and the ω-rule." In Proof, Logic and Formalization, edited by M. Detlefsen, 94-138. London: Routledge.
53. Isaacson, D. 1994. "Mathematical Intuition and Objectivity." In Mathematics and Mind, edited by A. George, 118-140. New York: Oxford University Press.
54. Isaacson, D. 2004. "Quine and Logical Positivism." In The Cambridge Companion to Quine, edited by R. Gibson, 214-269. Cambridge: Cambridge University Press.
55. Jech, T. 2003. Set Theory: The Third Millennuium Edition, revised and expanded. Berlin: Springer.
56. Kalmar, L. 1965. "On the Role of Second Order Theories." In Lakatos 1965, vol. 1, 104-105.
57. Kanamori, A. 1997. The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings. Berlin: Springer-Verlag, 1997.
58. Katz, J.J. 1996. "Skepticism about Numbers and Indeterminacy Arguments." In Benacerraf and his Critics, edited by A. Morton and S.P. Stich, 119-139. Oxford: Blackwell Publishers.
59. Katz, J.J. 1998. Realistic Rationalism. Cambridge, Mass.: MIT Press.
60. Keranen, J. 2001. "The Identity Problem for Realist Structuralism." Philosophia Mathematica 9: 308-330.
61. Kirby, L. and J. Paris. 1982. "Accessible Independence Results for Peano Arithmetic." Bulletin of the London Mathematical Society 14: 285-293.
62. Kluge, E.-H.W., ed., trans. 1971. Gottlob Frege on the Foundations of Geometry and Formal Theories of Arithmetic. New Haven: Yale University Press.
63. Kreisel, G. 1950. "Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus." Fundamenta Mathematicae 37: 241-267.
64. Kreisel, G. 1967. "Informal Rigour and Completeness Proofs." In Lakatos 1965, vol. 1, 138-171.
65. Kreisel, G. 1968. "A Survey of Proof Theory." Journal of Symbolic Logic 33: 321-388.
66. Kreisel, G. 1977. Review of Weston 1976. Zentralblattfur Mathematik 341: 31.
67. Lakatos, I., ed. 1965. Problems in the Philosophy of Mathematics: Proceedings of the International Colloquium in the Philosophy of Science, London, 1965. 3 vols. Amsterdam: North-Holland Publishing Co.
68. Lang, S. 1985. The Beauty of Doing Mathematics: Three Public Dialogues. New York: Springer-Verlag.
69. Levy, A. 1979. Basic Set Theory. Berlin and New York: Springer-Verlag.
70. Linnebo, Ø. 2008. "Structuralism and the Notion of Dependence." Philosophical Quarterly 58: 59-79.
71. Lopez-Escobar, E.G.K. 1967. "A Complete, Infinitary Axiomatization of Weak Second-Order Logic." Fundamenta Mathematicae 61: 93-103.
72. MacBride, F. 2005. "Structuralism Reconsidered." In The Oxford Handbook of Philosophy of Mathematics and Logic, edited by S. Shapiro, 563-589. New York: Oxford University Press.
73. Manevitz, L.M. and J. Stavi. 1980. "Operators and Alternating Sentences in Arithmetic." Journal of Symbolic Logic 45: 144-154.
74. Martin, D.A. 1975. "Borel Determinacy." Annals of Mathematics 102: 363-371.
75. Martin, D.A. 1976. "Hilbert's First Problem: The Continuum Problem." In Mathematical Developments Arising From Hilbert Problems: Proceedings of Symposia in Pure Mathematics 28, edited by F. Browder, 81-92. Providence, Rhode Island: American Mathematical Society.
76. Martin, D.A. and J.R. Steel. 1988. "Projective Determinacy." Proceedings of the National Academy of Sciences of the USA 85: 6582-6586.
77. Martin, R.M. 1963. Intension and Decision: a Philosophical Study. Englewood Cliffs, N.J.: Prentice-Hall.
78. McGee, V. 1997. "How We Learn Mathematical Language." Philosophical Review 106: 35-68.
79. Monk, R. 1990. Ludwig Wittgenstein: The Duty of Genius. London: Jonathan Cape.
80. Moore, G. 1980. "Beyond First-Order Logic: The Historical Interplay between Mathematical Logic and Axiomatic Set Theory." History and Philosophy of Logic 1: 95-137.
81. Moore, G. 1990. Introductory note to "What is Cantor's Continuum Problem." In Godel 1990, 154-175.
82. Mostowski, A. 1967. "Recent Results in Set Theory." In Lakatos 1965, vol. 1., 82-96.
83. Parsons, C. 1990. "The Structuralist View of Mathematical Objects." Synthese 84: 303-346.
84. Prestel, A. 1990. "Nonstandard Analysis." In Numbers, edited by J.H. Ewing, 305-327. New York and London: Springer-Verlag.
85. Poincare, H. 1902. "La grandeur mathematiques et l'experience." La Science et l'Hypothese. Biblioteque de Philosophie Scientifique. Paris: Ernest Flam-marion. English trans. by W.J. Greenstreet as "Mathematical Magnititude and Experiment." In Science and Hypothesis, 17-34. London: Walter Scott Publishing Co, 1905.
86. Putnam, H. 1967. "The Thesis that Mathematics is Logic." In Bertrand Russell: Philosopher of the Century, edited by R. Shoenman, 273-303. London: George Allen and Unwin. Reprinted in Mathematics, Matter and Method, vol. 1. of Philosophical Papers, 12-42. Cambridge: Cambridge University Press, 1975.
87. Quine, W.V. 1970. Philosophy of Logic. Englewood Cliffs, N.J.: Prentice-Hall. 2nd edition. Cambridge, Mass: Harvard University Press, 1986.
88. Resnik, M. 1975. "Mathematical Knowledge and Pattern Cognition." Canadian Journal of Philosophy 5: 25-39.
89. Resnik, M. 1988. "Mathematics from the Structural Point of View." Revue Internationale de Philosophie 42: 400-424.
90. Russell, B. 1903. The Principles of Mathematics. Cambridge: Cambridge University Press.
91. Shapiro, S. 1985. "Second-Order Languages and Mathematical Practice." Journal of Symbolic Logic 50: 714-742.
92. Shapiro, S. 1997. Philosophy of Mathematics: Structure and Ontology. New York: Oxford University Press.
93. Shapiro, S. 2008. "Identity, Indiscernibility, and ante rem Structuralism: The Tale of i and -i." Philosophia Mathematica 16(3): 285-309.
94. Shepherdson, J.C. 1951-1953. "Inner Models for Set Theory." Parts 1, 2, 3. Journal of Symbolic Logic 16: 161-190; 17: 225-237; 18: 145-167.
95. Smorynski, C. 1977. "The Incompleteness Theorems." In Handbook of Mathematical Logic, edited by J. Barwise, 821-865. Amsterdam: North-Holland Publishing Co.
96. van Heijenoort, J., ed. 1967. From Frege to Godel: A Source Book in Mathematical Logic, 1897-1931. Cambridge, Mass.: Harvard University Press.
97. Vaananen, J. 2001. "Second-Order Logic and Foundations of Mathematics." Bulletin of Symbolic Logic 7: 504-520.
98. Weston, T. 1976. "Kreisel, the Continuum Hypothesis and Second Order Set Theory." Journal of Philosophical Logic 5: 281-298.
99. Woodin, W.H. 2001. "The Continuum Hypothesis." Notices of the American Mathematical Society 48: 567-576, 681-690.
100. Woodin, W.H. 2005. "Set Theory after Russell: The Journey back to Eden." In One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy, edited by G. Link, 29-47. De Gruyter Series in Logic and its Applications, vol. 6. Berlin: de Gruyter.
101. Zermelo, E. 1908. "Untersuchungen uber die Grundlagen der Mengenlehre I." Mathematische Annalen 59: 261-281. English translation by S. Bauer-Mengelberg in van Heijenoort 1967, 199-215.
102. Zermelo, E. 1930. "Uber Grenzzahlen und Mengenbereiche: Neue Untersuchungen uber die Grundlagen der Mengenlehre." Fundamenta Mathemati-cae 14: 29-47. English translation by M. Hallett as "On Boundary Numbers and Domains of Sets: New Investigations in the Foundations of Set Theory," in Ewald 1996, 1209-1233.
103. Zermelo, E. 1932. Editor's Remark on Cantor's Review of Frege's Die Grundlagen der Arithmetik. In Cantor 1932, 441-442.