Neo-logicism? An ontological reduction of mathematics to metaphysics

Erkenntnis

Volumn 53, Issue 1-2, 2000, Pages 219-265

  Zalta, Edward N ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 3843099028     PISSN: 01650106     EISSN: 15728420     Source Type: Journal    
DOI: 10.1023/a:1005614102033     Document Type: Article

References (47)

1. Balaguer, M.: 1998, Platonism and Anti-Platonism in Mathematics, Oxford University Press, Oxford.
2. Balaguer, M.: 1995, 'A Platonist Epistemology', Synthese 103, 303-325.
3. Benacerraf, P.: 1965, 'What Numbers Could Not Be', Philosophical Review, 74, 47-73.
4. Boolos, G.: 1987, 'The Consistency of Frege's Foundations of Arithmetic', in J. Thomson (ed.), On Being and Saying, MIT Press, Cambridge, MA; reprinted in Boolos (1998), pp. 183-201.
5. Boolos, G.: 1997, 'Is Hume's Principle Analytic?', in R. Heck (ed.), Logic, Language, and Thought, Oxford University Press, Oxford; reprinted in Boolos (1998), pp. 301-314.
6. Boolos, G.: 1998, Logic, Logic, and Logic, Harvard University Press, Cambridge, MA.
7. Carnap, R.: 1967, The Logical Structure of the World, R. George (trans.), University of California Press, Berkeley.
8. Carnap, R.: 1950, 'Empiricism, Semantics, and Ontology', Revue Internationale de Philosophie, 4, 20-40.
9. Feferman, S.: 1998, In the Light of Logic, Oxford University Press, Oxford.
10. Feferman, S.: 1998a, 'What Rests on What? The Proof-Theoretic Analysis of Mathematics', in Feferman (1998), pp. 187-208.
11. Feferman, S.: 1988, 'Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions', Journal of Symbolic Logic 53, 364-384.
12. Feferman, S.: 1960, Arithmetization of Metamathematics in a General Setting', Fundamenta Mathematicae XLIX, 35-92.
13. Field, H.: 1998a, 'Which Undecidable Mathematical Sentences Have Determinate Truth Values?', in H. Dales and G. Olivieri (eds), Truth and Mathematics, Oxford University Press, Oxford, pp. 291-310.
14. Field, H.: 1998b, 'Mathematical Objectivity and Mathematical Objects', in S. Laurence and C. Macdonald (eds), Contemporary Readings in the Foundations of Metaphysics, Blackwell, Oxford, pp. 387-403.
15. Field, H.: 1994, 'Are Our Logical and Mathematical Concepts Highly Indeterminate?', in P. French, T. Uehling, H. Wettstein (eds), Midwest Studies in Philosophy, Volume 19, Notre Dame University Press, Nortre Dame, pp. 391-429.
16. Field, H. 1993, 'The Conceptual Contingency of Mathematical Objects', Mind, 102(406), 285-299.
17. Field, H.: 1989, Realism, Mathematics, and Modality, Blackwell, Oxford.
18. Field, H.: 1984, 'Critical Notice of Crispin Wright: Frege's Conception of Numbers as Objects', Canadian Journal of Philosophy, 14, 637-662;
19. reprinted in Field (1989), pp. 147-170, with the new title 'Platonism for Cheap? Crispin Wright on Frege's Context Principle'.
20. Field, H.: 1980, Science Without Numbers, Blackwell, Oxford.
21. Frege, Gottlob: 1884, The Foundations of Arithmetic, translated by J. L. Austin, Blackwell, Oxford, 1974, second revised edition.
22. Frege, Gottlob: 1893/1903, Grundgesetze der Arithmetik, Band I/II, Jena: Verlag Hermann Pohle.
23. Hempel, C.: 1945, 'On the Nature of Mathematical Truth', American Mathematical Monthly 52, 543-556;
24. reprinted in H. Putnam and P. Benacerraf, (eds), The Philosophy of Mathematics: Selected Readings, second edition, Cambridge University Press, Cambridge pp. 377-393.
25. Jubien, M.: 1969, 'Two Kinds of Reduction', The Journal of Philosophy, 66(17), 533-541.
26. Kripke, S.: 1959, 'A Completeness Theorem in Modal Logic', Journal of Symbolic Logic 24, 1-15.
27. Lewis, D.: 1986, On the Plurality of Worlds, Blackwell, Oxford.
28. Linsky, B. and Zalta, E.: 1995, 'Naturalized Platonism vs. Platonized Naturalism', The Journal of Philosophy, xcii(10), 525-555.
29. Maddy, P.: 1997, Naturalism in Mathematics, Clarendon, Oxford.
30. Mundy, B.: unpublished manuscript, 'Zalta's Logic of Encoding', version #3, January 1996.
31. Niebergall, K. G.: this volume, 'On the Logic of Reducibility: Axioms and Examples'.
32. Pelletier, J. and Zalta, E.: 2000, 'How to Say Goodbye to the Third Man', Noûs, forthcoming.
33. Resnik, M.: 1997, Mathematics as a Science of Patterns, Clarendon, Oxford.
34. Resnik, M.: 1981, 'Mathematics as a Science of Patterns: Ontology and Reference', Noûs, 15, 529-550.
35. Rosen, G.: 1993, 'The Refutation of Nominalism(?)', Philosophical Topics, 21(2), 149-186.
36. Quine, W.: 1976, 'Ontological Reduction and the World of Numbers', in The Ways of Paradox and Other Essays, rev. ed., Harvard University Press, Harvard, pp. 212-220.
37. Shapiro, S.: 1997, Philosophy of Mathematics: Structure and Ontology, Oxford University Press, Oxford.
38. Shapiro, S.: 1989, 'Structure and Ontology', Philosophical Topics, 17, 145-171.
39. Tarski, A., Mostowski, A., and Robinson, R.: 1953, Undecidable Theories, North Holland, Amsterdam.
40. Visser, A.: 1998, 'An Overview of Interpretability Logic', in M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev (eds), Advances in Modal Logic, Volume 1, CSLI Lecture Notes No. 87, Stanford: Center for the Study of Language and Information Publications, pp. 307-359.
41. Wagner, S.: 1982, Arithmetical Fiction', Pacific Philosophical Quarterly, 63, 255-269.
42. Wright, C.: 1983, Frege's Conception of Numbers as Objects, Aberdeen University Press, Aberdeen, Scotland, UK.
43. Zalta, E.: 2000, 'A (Leibnizian) Theory of Concepts', Philosophiegeschichte und logische Analyse/Logical Analysis and History of Philosophy, forthcoming.
44. Zalta, E.: 1999, 'Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege's Grundgesetze in Object Theory', Journal of Philosophical Logic, 28(6), 619-660.
45. Zalta, E.: 1993, 'Twenty-Five Basic Theorems in Situation and World Theory', Journal of Philosophical Logic, 22, 385-428.
46. Zalta, E.: 1988, Intensional Logic and the Metaphysics of Intentionality, MIT/Bradford, Cambridge, MA.
47. Zalta, E.: 1983, Abstract Objects: An Introduction to Axiomatic Metaphysics, D. Reidel, Dordrecht.