Notre Dame Journal of Formal Logic

Grundgesetze der Arithmetik I §§29‒32

Richard G. Heck, Jnr.

Abstract

Frege's intention in section 31 of Grundgesetze is to show that every well-formed expression in his formal system denotes. But it has been obscure why he wants to do this and how he intends to do it. It is argued here that, in large part, Frege's purpose is to show that the smooth breathing, from which names of value-ranges are formed, denotes; that his proof that his other primitive expressions denote is sound and anticipates Tarski's theory of truth; and that the proof that the smooth breathing denotes, while flawed, rests upon an idea now familiar from the completeness proof for first-order logic. The main work of the paper consists in defending a new understanding of the semantics Frege offers for the quantifiers: one which is objectual, but which does not make use of the notion of an assignment to a free variable.

Article information

Source
Notre Dame J. Formal Logic, Volume 38, Number 3 (1997), 437-474.

Dates
First available in Project Euclid: 12 December 2002

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1039700749

Digital Object Identifier
doi:10.1305/ndjfl/1039700749

Mathematical Reviews number (MathSciNet)
MR1624970

Zentralblatt MATH identifier
0915.03005

Subjects
Primary: 03-03: Historical (must also be assigned at least one classification number from Section 01)
Secondary: 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30}

Citation

Heck, Richard G. Grundgesetze der Arithmetik I §§29‒32. Notre Dame J. Formal Logic 38 (1997), no. 3, 437--474. doi:10.1305/ndjfl/1039700749. https://projecteuclid.org/euclid.ndjfl/1039700749


Export citation

References

  • Boolos, G., “Whence the contradiction?,” Proceedings of the Aristotelian Society, sup. vol. 67 (1993), pp. 213–33. Zbl 0961.03529
  • Dummett, M., “Frege on the consistency of mathematical theories,” pp. 1–16 in Frege and Other Philosophers, Clarendon Press, Oxford, 1991. MR 58:21379
  • Dummett, M., Frege: Philosophy of Language, Harvard University Press, Cambridge, 1973.
  • Dummett, M., Frege: Philosophy of Mathematics, Harvard University Press, Cambridge, 1991.
  • Evans, G., “Pronouns, quantifiers, and relative clauses (I),” pp. 76–153 in Collected Papers, Clarendon Press, Oxford, 1985.
  • Frege, G., “Function and concept,” pp. 137–56 in Collected Papers, translated by P. Geach, edited by B. McGuinness, Basil Blackwell, Oxford, 1984.
  • Frege, G., Grundgesetze der Arithmetik, Georg Olms, Hildesheim, 1962. MR 35:2715
  • Frege, G., “On Mr. Peano's conceptual notation and my own,” pp. 234–48 in Collected Papers, translated by V. H. Dudman, edited by B. McGuinness, Basil Blackwell, Oxford, 1984.
  • Frege, G., “On sense and reference,” pp.157–77 in Collected Papers, translated by M. Black, edited by B. McGuinness, Basil Blackwell, Oxford, 1984.
  • Frege, G., “On the foundations of geometry: first series,” pp. 273–84 in Collected Papers, edited by B. McGuinness, Basil Blackwell, Oxford,1984.
  • Frege, G., “On the foundations of geometry: second series,” pp. 293–40 in Collected Papers, edited by B. McGuinness, Basil Blackwell, Oxford, 1984.
  • Frege, G., Philosophical and Mathematical Correspondence, edited by G. Gabriel et al., translated by H. Kaal, University of Chicago Press, Chicago, 1980. Zbl 0502.03002 MR 81d:03001
  • Frege, G., The Basic Laws of Arithmetic: Exposition of the System, translated by M. Furth, University of California Press, Berkeley, 1964. Zbl 0155.33601 MR 31:1173
  • Frege, G., The Foundations of Arithmetic, translated by J. L. Austin, Northwestern University Press, Evanston, 1980. Zbl 0037.00602 MR 50:4227
  • Heck, Jnr., R., “Frege and semantics,” in The Cambridge Companion to Frege, edited by T. Ricketts, Cambridge University Press, Cambridge, forthcoming.
  • Heck, Jnr., R., “The consistency of predicative fragments of Frege's Grundgesetze der Arithmetik,” History and Philosophy of Logic, vol. 17 (1996), pp. 209–20. Zbl 0876.03032 MR 98i:03079
  • Martin, E., “Referentiality in Frege's Grundgesetze,” History and Philosophy of Logic, vol. 3 (1982), pp. 151–64. MR 84g:03005
  • Mates, B., Elementary Logic, 2d edition, Oxford University Press, Oxford, 1972. Zbl 0146.24601 MR 48:45
  • Moore, A., and A. Rein, “Grundgesetze Section 10,” pp. 375–84 in Frege Synthesized edited by L. Haaparanta and J. Hintikka, Dordrecht Reidel, Boston, 1986.
  • Parsons, C., “Frege's theory of number,” pp. 150–75 in Mathematics in Philosophy, Cornell University Press, Ithaca, 1983. Zbl 0900.03011 MR 1 376 396
  • Parsons, T., “On the consistency of the first-order portion of Frege's system,” Notre Dame Journal of Formal Logic, vol. 28 (1987), pp. 161–68. Zbl 0637.03005 MR 88h:03002
  • Resnik, M., “Frege's proof of referentiality,” pp. 177–95 in Frege Synthesized, edited by L. Haaparanta and J. Hintikka, Dordrecht Reidel, Boston, 1986.
  • Ricketts, T., “Objectivity and objecthood: Frege's metaphysics of judgement,” pp. 65–95 in Frege Synthesized, edited by L. Haaparanta and J. Hintikka, Dordrecht Reidel, Boston, 1986.
  • Stanley, J., “Truth and meta-theory in Frege,” Pacific Philosophical Quarterly, vol. 77 (1996), pp. 45–70.
  • Weiner, J., Frege in Perspective, Cornell University Press, Ithaca, 1990. Zbl 0937.03500 MR 92m:03009