Abstract
This paper has three goals: (i) to show that the foundational program begun in theBegriffsschrift, and carried forward in theGrundlagen, represented Frege's attempt to establish the autonomy of arithmetic from geometry and kinematics; the cogency and coherence of‘intuitive’ reasoning were not in question. (ii) To place Frege's logicism in the context of the nineteenth century tradition in mathematical analysis, and, in particular, to show how the modern concept of a function made it possible for Frege to pursue the goal of autonomy within the framework of the system of second-order logic of theBegriffsschrift. (iii) To address certain criticisms of Frege by Parsons and Boolos, and thereby to clarify what was and was not achieved by the development, in Part III of theBegriffsschrift, of a fragment of the theory of relations.
Similar content being viewed by others
References
Bell, David. ‘How “Russellian” was Frege?,’Mind 99 (1990) 267–77.
Benacerraf, Paul. ‘Frege: the last logicist,’ in P. Frenchet al., eds.,Midwest Studies in Philosophy VI, Minneapolis: University of Minnesota Press, 1981.
Boolos, George. ‘Reading theBegriffsschrift,’Mind XCIV (1985) 331–44.
Bottazzini, Ugo.The Higher Calculus: A History of Real and Complex Analysis from Euler to Weierstrass, Berlin and New York: Springer-Verlag, 1986.
Coffa, Alberto. ‘Kant, Bolzano and the emergence of logicism,’Journal of Philosophy LXXIV (1982) 679–89.
Dedekind, Richard. ‘Continuity and irrational numbers,’ (1872) in R. Dedekind,Essays on the Theory of Numbers, New York: Dover, 1963, W. W. Beman tr.
Dedekind, Richard. ‘Was sind und was sollen die Zahlen?’ (1988), in R. Dedekind,Essays on the Theory of Numbers, New York: Dover, 1963, W. W. Beman tr.
Dedekind, Richard, ‘Letter to Keferstein’ (1890), in Jean van Heijenoort, ed.,From Frege to Gödel: A Sourcebook in Mathematical Logic, 1879–1931, Cambridge: Harvard University Press, 1967, Stefan Bauer-Mengelberg and Hao Wang, trs.
Dummett, Michael. ‘Frege and Kant on geomtry,’Inquiry 25 (1982) 233–54.
Dummett, Michael, ‘Frege and the paradox of analysis,’ in Michael Dummett,Frege and Other Philosophers, Oxford: Oxford University Press, 1991.
Dummett, Michael.Frege: Philosophy of Mathematics, Cambridge: Harvard University Press, 1991.
Frege, Gottlob. ‘Dissertation for theVenia docendi in the Philosophical Faculty of Jena,’ Jena: Freidrich Frommann, 1874. Reprinted in English translation as ‘Methods of calculation based on an extension of the concept of quantity,’ in Brian McGuiness, ed.,Gottlob Frege: Collected Papers in Mathematics, Logic and Philosophy, Oxford: Basil Blackwell, 1984, Hans Kaal, tr.
Frege, Gottlob.Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (1879). Reprinted in English translation asBegriffsschrift: A Formula Language, Modelled upon that of Arithmetic, for Pure Thought in Jean van Heijenoort, ed.,From Frege to Gödel: A Sourcebook in Mathematical Logic, 1879–1931, Cambridge: Harvard University Press, 1967, Stefan Bauer-Mengelberg, tr.
Frege, Gottlob. ‘Booles rechende Logik und die Begriffsschrift,’ (1880/81) in Hans Hermeset al., eds.,Gottlob Frege: Nachgelassene Schriften, Hamburg: Felix Meiner Verlag, 1983. Published in English translation as ‘Boole's logical calculus and the concept-script, in Hans Hermeset al, eds,Gottlob Frege: Posthumous Writings, Chicago: University of Chicago Press, 1980, Peter White and Roger Hargreaves trs.
Frege, Gottlob.Die Grundlagen der Arithmetik, Berlin: George Olms Verlagsbuchandlung, 1961, reprint of the 1884 edition. Translated asThe Foundations of Arithmetic: A Logico-Mathematical Enqiry into the Concept of Number, Evanston: Northwestern University Press, 1980, J. L. Austin, tr.
Frege, Gottlob. ‘Function and concept’ (1891), in Brian McGuinness, ed.,Gottlob Frege: Collected Papers on Mathematics, Logic, and Philosophy, Oxford: Basil Blackwell, 1984, Peter Geach, tr.
Goldfarb, Warren.‘Poincaré against the logicists,’ in W. Asprey and Phillip Kitcher, eds.,History and Philosophy of Modern Mathematics, Minnesota Studies in the Philosophy of Science, Vol. XI, Minneapolis: University of Minnesota Press, 1988.
Grabiner, Judith.The Origins of Cauchy's Rigorous Calculus, Cambridge: M.I.T. Press, 1981.
Hallett, Michael. ‘Physicalism, reductionism and Hilbert,’ in A. D. Irvine, ed.,Physicalism in Mathematics, Dordrecht and Boston: Kluwer, 1989.
Hallett, Michael.Cantorian Set Theory and Limitation of Size, Oxford: Oxford University Press, 1984.
Kitcher, Philip. ‘Frege's epistemology,’The Philosophical Review 88 (1979) 235–63.
McGuiness, Brian, ed.Gottlob Frege: Philosophical and Mathematical Correspondence, Chicago: University of Chicago Press, 1980.
Parsons, Charles. ‘Frege's theory of number,’ in Max Black, ed.,Philosophy in America, Ithaca: Cornell University Press, 1964, reprinted with a ‘Postscript’ in Charles Parsons,Mathematics in Philosophy, Selected Essays, Ithaca: Cornell University Press, 1984.
Russ, S. B. ‘A translation of Bolzano's paper on the intermediate value theorem,’Historia Mathematica 7 (1980) 152–85.
Simons, Peter. ‘Functional operations in Frege'sBegriffsschrift,’History and Philosophy of Logic 9 (1988) 35–42.
Wang, Hao. ‘The axiomatization of arithemtic,’Journal of Symbolic Logic 22 (1957) 145–57.
Weiner Joan,Frege in Perspective, Ithaca: Cornell University Press, 1990.
Wilson, Mark. ‘Honorable intensions,’ in S. Wagner and R. Warner, eds.,Naturalism, South Bend: Notre Dame University Press, 1993.
Youschkevitch, A. P. ‘The concept of function up to the middle of the 19th century,’Archive for the History of Exact Science 16 (1975/76) 37–85.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Demopoulos, W. Frege and the rigorization of analysis. J Philos Logic 23, 225–245 (1994). https://doi.org/10.1007/BF01048481
Issue Date:
DOI: https://doi.org/10.1007/BF01048481