Notre Dame Journal of Formal Logic

Grundgesetze der Arithmetik I §§29‒32

Richard G. Heck

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
http://projecteuclid.org/euclid.ndjfl/1039700749

Mathematical Reviews number (MathSciNet)
MR1624970

Digital Object Identifier
doi:10.1305/ndjfl/1039700749

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 Journal of Formal Logic 38 (1997), no. 3, 437--474. doi:10.1305/ndjfl/1039700749. http://projecteuclid.org/euclid.ndjfl/1039700749.


Export citation

References

  • [1] Boolos, G., ``Whence the contradiction?,'' Proceedings of the Aristotelian Society, sup. vol. 67 (1993), pp. 213--33.
  • [2] Dummett, M., ``Frege on the consistency of mathematical theories,'' pp. 1--16 in Frege and Other Philosophers, Clarendon Press, Oxford, 1991.
  • [3] Dummett, M., Frege: Philosophy of Language, Harvard University Press, Cambridge, 1973.
  • [4] Dummett, M., Frege: Philosophy of Mathematics, Harvard University Press, Cambridge, 1991.
  • [5] Evans, G., ``Pronouns, quantifiers, and relative clauses (I),'' pp. 76--153 in Collected Papers, Clarendon Press, Oxford, 1985.
  • [6] Frege, G., ``Function and concept,'' pp. 137--56 in Collected Papers, translated by P. Geach, edited by B. McGuinness, Basil Blackwell, Oxford, 1984.
  • [7] Frege, G., Grundgesetze der Arithmetik, Georg Olms, Hildesheim, 1962.
  • [8]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.
  • [9] Frege, G., ``On sense and reference,'' pp.157--77 in Collected Papers, translated by M. Black, edited by B. McGuinness, Basil Blackwell, Oxford, 1984.
  • [10] Frege, G., ``On the foundations of geometry: first series,'' pp. 273--84 in Collected Papers, edited by B. McGuinness, Basil Blackwell, Oxford,1984.
  • [11] Frege, G., ``On the foundations of geometry: second series,'' pp. 293--40 in Collected Papers, edited by B. McGuinness, Basil Blackwell, Oxford, 1984.
  • [12] Frege, G., Philosophical and Mathematical Correspondence, edited by G. Gabriel et al., translated by H. Kaal, University of Chicago Press, Chicago, 1980.
  • [13] Frege, G., The Basic Laws of Arithmetic: Exposition of the System, translated by M. Furth, University of California Press, Berkeley, 1964.
  • [14] Frege, G., The Foundations of Arithmetic, translated by J. L. Austin, Northwestern University Press, Evanston, 1980.
  • [15] Heck, Jnr., R., ``Frege and semantics,'' in The Cambridge Companion to Frege, edited by T. Ricketts, Cambridge University Press, Cambridge, forthcoming.
  • [16] 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.
  • [17] Martin, E., ``Referentiality in Frege's Grundgesetze,'' History and Philosophy of Logic, vol. 3 (1982), pp. 151--64.
  • [18]Mates, B., Elementary Logic, 2d edition, Oxford University Press, Oxford, 1972.
  • [19]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.
  • [20] Parsons, C., ``Frege's theory of number,'' pp. 150--75 in Mathematics in Philosophy, Cornell University Press, Ithaca, 1983.
  • [21] 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.
  • [22] Resnik, M., ``Frege's proof of referentiality,'' pp. 177--95 in Frege Synthesized, edited by L. Haaparanta and J. Hintikka, Dordrecht Reidel, Boston, 1986.
  • [23] 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.
  • [24] Stanley, J., ``Truth and meta-theory in Frege,'' Pacific Philosophical Quarterly, vol. 77 (1996), pp. 45--70.
  • [25] Weiner, J., Frege in Perspective, Cornell University Press, Ithaca, 1990.