Abstract
Reductivist programs in logicand philosophy, especially inthe philosophy of mathematics,are reviewed. The paper argues fora ``methodological realism'' towardsnumbers and sets, but still givesreductionism an important place,albeit in methodology/epistemologyrather than in ontology proper.
Similar content being viewed by others
REFERENCES
Boolos, G.: 1985, ‘Nominalist Platonism', Philosophical Review 94, 327–344.
Chihara, C.: 1990, Constructibility and Mathematical Existence, Clarendon, Oxford.
Drake, F.: 1989, ‘On the Foundations of Mathematics in 1987', in H.-D. Ebbinghaus et al. (eds.), '87, North-Holland, Amsterdam, 11–25.
Feferman, S.: 1988, ‘Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions', Journal of Symbolic Logic 53, 364–384.
Feferman, S.: 1996, ‘Gödel's Program for New Axioms: Why, Where, How and What?', in P. Hájek (ed.), Gödel'96, Lecture Notes in Logic 6, 3–22.
Feferman, S.: 1998, ‘Weyl Vindicated: Das Kontinuum Seventy Years Later', in In the Light of Logic, Oxford University Press, New York and Oxford.
Feferman, S. and G. Hellman: 1995, ‘Predicative Foundations of Arithmetic', Journal of Philosophical Logic 24, 1–17.
Field, H.: 1980, Science Without Numbers. A Defence of Nominalism, Blackwell, Oxford.
Friedman, H.: 1986, ‘Necessary Uses of Abstract Set Theory in Finite Mathematics', Advances in Mathematics 60, 92–122.
Hahn, L. and P. Schilpp (eds): 1986, The Philosophy of W. V. Quine, Open Court, La Salle, IL.
Hellman, G.: 1989, Mathematics Without Numbers. Towards a Modal-Structural Interpretation, Clarendon, Oxford.
Hellman, G.: 1994, ‘Real Analysis Without Classes', Philosophia Mathematica 2, 228–250.
Jensen, R.: 1995, ‘Inner Models and Large Cardinals', Bulletin of Symbolic Logic 1, 393–407.
Kanamori, A.: 1997, The Higher Infinite, Springer, Berlin.
Kreisel, G. and A. Levy: 1968, ‘Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 14, 97–142.
Link, G.: 1998, Algebraic Semantics in Language and Philosophy, CSLI Publications, Stanford.
Linsky, B. and E. Zalta: 1995, ‘Naturalized Platonism vs. Platonized Naturalism', Journal of Philosophy 92, 525–555.
Maddy, P.: 1990, Realism in Mathematics, Clarendon, Oxford.
Maddy, P.: 1997, Naturalism in Mathematics, Clarendon, Oxford.
Mycielski, J.: 1981, ‘Analysis Without Actual Infinity', Journal of Symbolic Logic 46, 625–633.
Nelson, E.: 1986, Predicative Arithmetic, Princeton University Press, Princeton.
Quine, W.: 1991, ‘Immanence and Validity', Dialectica 45, 219–230.
Resnik, M.: 1997, Mathematics as a Science of Patterns, Clarendon, Oxford.
Russell, B.: 1917, ‘The Relation of Sense-Data to Physics', Mysticism and Logic, London.
Shapiro, S.: 1997, Philosophy of Mathematics. Structure and Ontology, Oxford University Press, New York and Oxford.
Simpson, S.: 1999, Subsystems of Second Order Arithmetic, Springer, Berlin.
Thomason, S. K.: 1984, ‘On Constructing Instants from Events', Journal of Philosophical Logic 13, 85–96.
Weyl, H.: 1918, Das Kontinuum. Kritische Untersuchungen über die Grundlagen der Analysis, Veit, Leipzig.
Woodin, H.: 1994, ‘Large Cardinal Axioms and Independence: The Continuum Problem Revisited', The Mathematical Intelligencer 16, 31–35.
Woodin, H.: 1999, The Axiom of Determinancy, Forcing Axioms, and the Nonstationary Ideal, de Gruyter, Berlin.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Link, G. Reductionism as Resource-Conscious Reasoning. Erkenntnis 53, 173–193 (2000). https://doi.org/10.1023/A:1005610001124
Issue Date:
DOI: https://doi.org/10.1023/A:1005610001124