Notre Dame Journal of Formal Logic

Frege's New Science

Aldo Antonelli and Robert May

Abstract

In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs in geometry and we begin by considering their dispute. We propose that Frege's critique rests on his view that language is a set of propositions, each immutably equipped with a truth value (as determined by the thought it expresses), so to Frege it was inconceivable that axioms could even be considered to be other than true. Because of his adherence to this view, Frege was precluded from the sort of metatheoretical considerations that were available to Hilbert; but from this, we shall argue, it does not follow that Frege was blocked from metatheory in toto. Indeed, Frege suggests in Die Grundlagen der Geometrie a metatheoretical method for establishing independence proofs in the context of the New Science. Frege had reservations about the method, however, primarily because of the apparent need to stipulate the logical terms, those terms that must be held invariant to obtain such proofs. We argue that Frege's skepticism on this score is not warranted, by showing that within the New Science a characterization of logical truth and logical constant can be obtained by a suitable adaptation of the permutation argument Frege employs in indicating how to prove independence. This establishes a foundation for Frege's metatheoretical method of which he himself was unsure, and allows us to obtain a clearer understanding of Frege's conception of logic, especially in relation to contemporary conceptions.

Article information

Source
Notre Dame J. Formal Logic, Volume 41, Number 3 (2000), 242-270.

Dates
First available in Project Euclid: 26 November 2002

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

Digital Object Identifier
doi:10.1305/ndjfl/1038336844

Mathematical Reviews number (MathSciNet)
MR1943495

Zentralblatt MATH identifier
1009.03004

Subjects
Primary: 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30}
Secondary: 00A30: Philosophy of mathematics [See also 03A05]

Keywords
Frege Hilbert logicism logical truth logical constants independence proofs

Citation

Antonelli, Aldo; May, Robert. Frege's New Science. Notre Dame J. Formal Logic 41 (2000), no. 3, 242--270. doi:10.1305/ndjfl/1038336844. https://projecteuclid.org/euclid.ndjfl/1038336844


Export citation

References

  • Beth, E. W., "On P"adoa's method in the theory of definition, Nederlandse Akademie van Wetenschappen Proceedings Series A, vol. 15 (1953), pp. 330–39.
  • Blanchette, P., "Frege's metatheory and the 1906 independence-test", University of Notre Dame, manuscript, 2000.
  • Carnap, R., The Logical Syntax of Language, Humanities, New York, 1937.
  • Chomsky, N., The Logical Structure of Linguistic Theory, Plenum Press, New York, 1975.
  • Demopoulos, W., "Frege, H"ilbert, and the conceptual structure of model theory, History and Philosophy of Logic, vol. 15 (1994), pp. 211–25.
  • Dreben, B. and J. van Heijenoort, "Introductory note to G" ödel 1929, 1930, 1930a, pp. 44–59 in Kurt G ödel: Collected Works, edited by S. Feferman, Oxford University Press, New York, 1986.
  • Dummett, M., Frege: Philosophy of Language, Duckworth, London, 1973.
  • Dummett, M., "Frege on the consistency of mathematical theories", pp. 1–16 in Frege and Other Philosophers, Clarendon Press, Oxford, 1991.
  • Feferman, S., "Logic, logics, and logicism", Notre Dame Journal of Formal Logic, vol. 40 (1999), pp. 31–54. Special issue in honor and memory of George S. Boolos (Notre Dame IN, 1998).
  • Frege, G., Begriffsschrift, eine der arithmetischen nachgebildete Fremdsprache des reinen Denkens, L. Nebert, Halle, 1879.
  • Frege, G., Die Grundlagen der Arithmetik. Eine logisch-mathematische Untersuchung über den Begriff der Zahl, W. Koebner, Breslau, 1884. Unveränderter Neudruck: M & H. Marcus, Breslau, 1934.
  • Frege, G., Grundgesetze der Arithmetik, H. Pohle, Jena, 1893, 1903.
  • Frege, G., "Über die G"rundlagen der Geometrie, Jahresbericht der Deutschen Mathematiker Vereinigung, vol. 12 (1903), pp. 319–24, 368–75. English translation byE-H. W. Kluge in Gottlob Frege, On the Foundations of Geometry and Formal Theories of Arithmetic, Yale University Press, New Haven, 1971.
  • Frege, G., "Über die G"rundlagen der Geometrie, Jahresbericht der Deutschen Mathematiker Vereinigung, vol. 15 (1906), pp. 293–309, 377–403, 423–30. English translation by E-H. W. Kluge in Gottlob Frege, On the Foundations of Geometry and Formal Theories of Arithmetic, Yale University Press, New Haven, 1971.
  • Frege, G., "Compound thoughts", pp. 55–77 in Logical Investigations, Basil Blackwell, Oxford, 1977. Translated by P. Geach (editor) and R. Stoothoff.
  • Frege, G., Logical Investigations, Basil Blackwell, Oxford, 1977. Translated by P. Geach (editor) and R. Stoothoff.
  • Goldfarb, W. D., "Logic in the twenties: T"he nature of the quantifier, The Journal of Symbolic Logic, vol. 44 (1979), pp. 351–68.
  • Gupta, A., "Truth and paradox", Journal of Philosophical Logic, vol. 11 (1982), pp. 1–60.
  • Heck, R., "Frege and semantics", Harvard University, manuscript, 1999.
  • Hilbert, D., "Über die G"rundlagen der Logik und der Arithmetik, in Verhandlungen des Dritten Internationalen Mathematiker-Kongresses, Leipzig, 1905. English translation in From Frege to G ödel: A Source Book in Mathematical Logic, edited by J. van Heijenoort, Harvard University Press, Cambridge, 1967, pp. 129–38.
  • Hilbert, D., "Neubegrundung der M"athematik: Erste Mitteilung, in Abhandlungen aus dem Mathematischen Seminar der Hamburgiuschen Universität 1, 1922. English translation in From Brouwer to Hilbert, edited by P. Mancosu, Oxford University Press, Oxford, 1998, pp. 198–214.
  • Hilbert, D., Foundations of Geometry, Open Court, La Salle, 1971. English translation by Leo Unger.
  • Jourdain, P., "The development of the theories of mathematical logic and the principles of mathematics", The Quarterly Journal of Pure and Applied Mathematics, vol. 43 (1912), pp. 237–69.
  • Korselt, A., "Über die G"rundlagen der Geometrie, Jahresbericht der Deutschen Mathematiker Vereinigung, vol. 12 (1903), pp. 402–7. English translation by E-H. W. Kluge in Gottlob Frege, On the Foundations of Geometry and Formal Theories of Arithmetic, Yale University Press, New Haven, 1971.
  • Lie, S., and G. Scheffers, Geometrie der Berührungstransformationen, BG Teubner, Leipzig, 1896.
  • May, R., Logical Form: Its Structure and Derivation, The MIT Press, Cambridge, 1985. Reprinted as “Logical Form as a Level of Linguistic Representation” in Readings in the Philosophy of Language, edited by P. Ludlow, The MIT Press, Cambridge, 1997.
  • McGee, V., "Logical operations", Journal of Philosophical Logic, vol. 25 (1996), pp. 567–80.
  • Ricketts, T., "Objectivity and objecthood: Frege's metaphysics of judgment", pp. 65–95 in Frege Synthesized: Essays on the Philosophical and Foundational work of Gottlob Frege, edited by L. Haaparantaand and J. Hintikka, D. Reidel, Dordrecht, 1986.
  • Ricketts, T., "Frege's 1906 foray into metalogic", Philosophical Topics, vol. 25 (1997), pp. 169–88.
  • Russell, B., "On denoting", Mind, vol. 14 (1905), pp. 479–93.
  • Russell, B., and A. N. Whitehead, Principia Mathematica. 3 volumes, Cambridge University Press, Cambridge, 1910 and 1912 and 1913. 2d edition, 1925 (Vol. 1), 1927 (Vols 2, 3).
  • Sher, G., The Bounds of Logic. A Generalized Viewpoint, The MIT Press, Cambridge, 1991.
  • Stanley, J., "Truth and metatheory in F"rege, Pacific Philosophical Quarterly, vol. 77 (1996), pp. 45–70.
  • Tappenden, J., "Metatheory of mathematical practice in F"rege, Philosophical Topics, vol. 25 (1997), pp. 213–63.
  • Tappenden, J., “Frege on axioms and independence arguments in geometry: Did Frege reject independence arguments?” University of Michigan, manuscript, 2000.
  • Tarski, A., "On the concept of logical consequence", pp. 409–20 in Logic, Semantics, Metamathematics, edited by J. Corcoran, Clarendon Press, Oxford, 1956. Translated by J. H. Woodger.
  • Tarski, A., "Some methodological investigations on the definability of concepts", pp. 296–319 in Logic, Semantics, Metamathematics, edited by J. Corcoran, Clarendon Press, Oxford, 1956. Translated by J. H. Woodger.
  • Tarski, A., “What are logical notions?” History and Philosophy of Logic, vol. 7 (1986), pp. 143–54.
  • van Heijenoort, J., "Logic as calculus and logic as language", Synthese, vol. 17 (1967), pp. 324–30.