×

Hume’s Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters. (English) Zbl 1103.03010

Summary: In this paper, I discuss several topics related to Frege’s paradigms of second-order abstraction principles and his logicism. The discussion includes a critical examination of some controversial views put forward mainly by Robin Jeshion, Tyler Burge, Crispin Wright, Richard Heck and John MacFarlane. In the introductory section, I try to shed light on the connection between logical abstraction and logical objects. The second section contains a critical appraisal of Frege’s notion of evidence and its interpretation by Jeshion, the introduction of the course-of-values operator and Frege’s attitude towards Axiom V, in the expression of which this operator occurs as the key primitive term. Axiom V says that the course-of-values of the function \(f\) is identical with the course-of-values of the function \(g\) if and only if \(f\) and \(g\) are coextensional. In the third section, I intend to show that in Die Grundlagen der Arithmetik (1884) Frege hardly could have construed Hume’s Principle (HP) as a primitive truth of logic and used it as an axiom governing the cardinality operator as a primitive sign. HP expresses that the number of \(F\)s is identical with the number of \(G\)s if and only if \(F\) and \(G\) are equinumerous. In the fourth section, I argue that Wright falls short of making a convincing case for the alleged analyticity of HP. In the final section, I canvass Heck’s arguments for his contention that Frege knew he could deduce the simplest laws of arithmetic from HP without invoking Axiom V. I argue that they do not carry conviction. I conclude this section by rejecting an interpretation concerning HP suggested by MacFarlane.

MSC:

03A05 Philosophical and critical aspects of logic and foundations
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] BS: Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, L. Nebert, Halle a.S. 1879.
[2] GGA: Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet, vol. I, H. Pohle, Jena 1893, vol. II, H. Pohle, Jena 1903. · JFM 34.0071.05
[3] GLA: Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl, W. Koebner, Breslau 1884.
[4] KS: Kleine Schriften, ed. I. Angelelli, G. Olms, Hildesheim 1967.
[5] NS: Nachgelassene Schriften, eds. H. Hermes, F. Kambartel and F. Kaulbach, F. Meiner, Hamburg 1969.
[6] WB: Wissenschaftlicher Briefwechsel, eds. G. Gabriel, H. Hermes, F. Kambartel, C. Thiel, A. Veraart, F. Meiner, Hamburg 1976.
[9] Boolos, G.: 1987b, ’Saving Frege from Contradiction’, Proceedings of the Aristotelian Society 1986–87, 137–151. · Zbl 0900.03021
[12] Boolos, G.: 1997, ’Is Hume’s Principle Analytic?’, in Heck 1997a, pp. 245–261. · Zbl 0938.03506
[17] Fine K.: 1998, ’The Limits of Abstraction’, in Schirn 1998, pp. 503–629. · Zbl 0922.03011
[21] Heck, R. G.: 1993, ’The Development of Arithmetic in Frege’s Grundgesetze der Arithmetik’, The Journal of Symbolic Logic 58, 579–601; reprinted with minor revisions in W. Demopoulos (ed.), Frege’s Philosophy of Mathematics, Harvard University Press, Cambridge, MA., pp. 257–285. · Zbl 0784.03005
[24] Heck, R. G.: 1997b, ’The Julius Caesar Objection’, in Heck 1997a, pp. 273–308. · Zbl 0938.03531
[27] Heck R. G.: forthcoming, ’Frege and Semantics’, in T. Ricketts (ed.), The Cambridge Companion to Frege, Cambridge University Press, Cambridge.
[30] Leibniz, G. W.: 1875–1890, in C. J. Gerhardt (ed.), Die philosophischen Schriften von G.W. Leibniz, Berlin; reprint Olms, Hildesheim 1960–1961.
[31] Leibniz, G. W.: 1903, in L. Couturat (ed.), Opuscules et fragments inédits de Leibniz, Paris; reprint Olms, Hildesheim 1966. · JFM 34.0042.06
[33] Parsons, C.: 1997, ’Wright on Abstraction and Set Theory’, in Heck 1997a, pp. 263–272. · Zbl 0938.03535
[35] Russell B. (1903). The Principles of Mathematics. Cambridge; second edition, New York. · JFM 34.0062.14
[40] Thiel, C.: 1975, ’Zur Inkonsistenz der Fregeschen Mengenlehre’, in C. Thiel (ed.), Frege und die moderne Grundlagenforschung, Anton Hain, Meisenheim am Glan, pp. 134–159.
[44] Wright, C.: 1997, ’On the Philosophical Significance of Frege’s Theorem’, in Heck 1997a, pp. 201–244 · Zbl 0938.03508
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.