Notre Dame Journal of Formal Logic

Frege's Other Program

Aldo Antonelli and Robert May

Abstract

Frege's logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the "neologicist" approach of Hale and Wright. Less attention has been given to Frege's extensionalist program, according to which arithmetic is to be reconstructed in terms of a theory of extensions of concepts. This paper deals just with such a theory. We present a system of second-order logic augmented with a predicate representing the fact that an object x is the extension of a concept C, together with extra-logical axioms governing such a predicate, and show that arithmetic can be obtained in such a framework. As a philosophical payoff, we investigate the status of the so-called Hume's Principle and its connections to the root of the contradiction in Frege's system.

Article information

Source
Notre Dame J. Formal Logic Volume 46, Number 1 (2005), 1-17.

Dates
First available: 31 January 2005

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1107220671

Digital Object Identifier
doi:10.1305/ndjfl/1107220671

Zentralblatt MATH identifier
02186748

Mathematical Reviews number (MathSciNet)
MR2131544

Subjects
Primary: 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30}
Secondary: 00A30: Philosophy of mathematics [See also 03A05] 03B15: Higher-order logic and type theory 03B30: Foundations of classical theories (including reverse mathematics) [See also 03F35] 03F35: Second- and higher-order arithmetic and fragments [See also 03B30]

Keywords
Frege arithmetic logicism neologicism Hume's Principle

Citation

Antonelli, Aldo; May, Robert. Frege's Other Program. Notre Dame Journal of Formal Logic 46 (2005), no. 1, 1--17. doi:10.1305/ndjfl/1107220671. http://projecteuclid.org/euclid.ndjfl/1107220671.


Export citation

References

  • [1] Antonelli, A., and R. May, "Frege's New Science", Notre Dame Journal of Formal Logic, Logicism and the Paradoxes: A Reappraisal, I (Notre Dame, IN, 2001), vol. 41 (2000), pp. 242--70.
  • [2] Boolos, G., "On the proof of Frege's theorem", pp. 143--59 in Benacerraf and His Critics, edited by A. Morton and S. P. Stich, vol. 8 of Philosophers and Their Critics, Blackwell Publishers Limited, Oxford, 1996. Reprinted in [?], pp. 275--90.
  • [3] Boolos, G., ``Is Hume's Principle analytic?'' pp. 245--61 in Language, Thought, and Logic: Essays in Honour of Michael Dummett, edited by R. G. Heck, Jr., Oxford University Press, New York, 1997.
  • [4] Boolos, G., Logic, Logic, and Logic, edited by R. Jeffrey, Harvard University Press, Cambridge, 1998.
  • [5] Boolos, G., and R. Heck, "Die Grundlagen der Arithmetik, \S\S"82--83, pp. 407--28 in The Philosophy of Mathematics Today, edited by M. Schirn, Including papers from the conference held in Munich, June 28--July 4, 1993, The Clarendon Press, New York, 1998. Reprinted in [?], pp. 315--38.
  • [6] Demopoulos, W., and J. L. Bell, "Frege's theory of concepts and objects and the interpretation of second-order logic", Philosophia Mathematica. Series III, vol. 1 (1993), pp. 139--56.
  • [7] Ferreira, F., and K. F. Wehmeier, "On the consistency of the $\Delta_1^1$-CA fragment of Frege's Grundgesetze", Journal of Philosophical Logic, vol. 31 (2002), pp. 301--11.
  • [8] Fine, K., The Limits of Abstraction, The Clarendon Press, Oxford, 2002.
  • [9] Hale, B., and C. Wright, The Reason's Proper Study. Essays towards a Neo-Fregean Philosophy of Mathematics, The Clarendon Press, Oxford, 2001.
  • [10] Heck, R., "An introduction to Frege's theorem", Harvard Review of Philosophy, vol. 7 (1999), pp. 56--73.
  • [11] Heck, R. G., Jr., "The consistency of predicative fragments of Frege's Grundgesetze der Arithmetik", History and Philosophy of Logic, vol. 17 (1996), pp. 209--20.
  • [12] Hodes, H. T., "Logicism and the ontological commitments of arithmetic", The Journal of Philosophy, vol. 81 (1984), pp. 123--49.
  • [13] Parsons, C., "Developing arithmetic in set theory without infinity: Some historical remarks", History and Philosophy of Logic, vol. 8 (1987), pp. 201--13.
  • [14] Rayo, A., "Frege's unofficial arithmetic", The Journal of Symbolic Logic, vol. 67 (2002), pp. 1623--38.
  • [15] Wehmeier, K. F., "Consistent fragments of Grundgesetze and the existence of non-logical objects", Synthese, vol. 121 (1999), pp. 309--28.
  • [16] Wright, C., "Is Hume's Principle analytic?", Notre Dame Journal of Formal Logic, vol. 40 (1999), pp. 6--30. Special issue in honor and memory of George S. Boolos (Notre Dame, IN, 1998).