Abstract
A running commentary is offered on the first half of Frege’s Grundlagen der Arithmetik, §17, and suggests that Frege anticipated the method of demonstration used by Paul Bernays for the Deduction Theorem.
Chapter PDF
Similar content being viewed by others
References
Aquinas, T. (n.d.[a]). Summa Contra Gentiles. url: https://aquinas.cc/la/en/~SCG1.
Aquinas, T. (n.d.[b]). Summa Theologiae. url: https://aquinas.cc/la/en/~ST.I.
Baumann, J. J. (1868). Die Lehren von Raum, Zeit und Matehmatik in der neueren Philosophie. Berlin: Georg Reimer Verlag.
Boghossian, P. (1997). Analyticity. In: The Blackwell Companion to Philosophy of Language. Ed. by B. Hale and C. Wright. Oxford: Blackwell, 331–638.
Bolzano, B. (1837). Wissenschaftslehre. Versuch einer ausführlichen und grösstentheils neuen Darstellung der Logik mit steter Rücksicht auf deren bisherige Bearbeiter, 4 volumes. Sulzbach: J. E. v. Seidel.
Brentano, F. (1956). Lehre vom richtigen Urteil. Bern: Francke Verlag.
Burge, T. (1998). Frege on knowing the foundation. Mind 107, 307–347.
Church, A. (1956b). Introduction to Mathematical Logic, Vol. I. Princeton University
Press.
Dummett, M. (1973b). The Justification of Deduction, Annual Philosophical Lecture (Henriette Herz Trust), British Academy. London: Oxford University Press.
Dummett, M (1981b). Frege. Philosophy of Language. 2nd ed. London: Duckworth.
Dummett, M (1991c). Frege. Philosophy of Mathematics. London: Duckworth.
Frege, G. (1879). Begriffsschrift. Cited as BS, after the facsimile edition in Matthias Wille (ed.), Begriffsschrift, Springer, Berlin, 2018. Halle: Lois Nebert.
Frege, G (1884b). Grundlagen der Arithmetik. Breslau: Verlag von Wilhelm Koebner. English translation by John Austin, (1952), The Foundations of Arithmetic, (second edition) Basil Blackwell, Oxford. Dutch translation by A. Phalet, (1981), De grondslagen der arithmetica, Het Wereldfenster, Baarn. Swedish translation by Fredrik Stjernberg, (2001), Aritmetikens grundvalar, Thales, 2002. English translation by Dale Jacquette, (2007), The Foundations of Arithmetic, Pearson, Longman, New York. Cited as GLA.
Frege, G (1892). Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik 100, 25–50.
Frege, G (1976). Letter to Marty[?] In: Gottlob Frege Wissenschaftlicher Briefwechsel. Ed. by G. Gabriel et al. Hamburg: Felix Meiner, 163–165.
Frege, G (1984). Collected Papers on Mathematics, Logic, and Philosophy. Ed. by B.McGuinness. Oxford: Blackwell.
Frege, G (2007). The Foundations of Arithmetic. Translated by Dale Jacquette. New York: Pearson, Longman.
Frege, G (1893/1903). Grundgesetze der Arithmetik, I, II. Jena: Herman Pohle. English translation by P. Ebert and M. Rossberg, as Basic Laws of Arithmetic, Oxford University Press, 2013. Cited as GGA.
Gabriel, G. (2002). Frege, lotze and the continental roots of analytic philosophy. In: From Frege to Wittgenstein. Perspectives on Early Analytic Philosophy. Ed. By E. H. Reck. Oxford: Oxford University Press, 39–51.
Gabriel, G. and S. Schlotter (2017). Frege und die kontinentalen Urspünge der analytischen Philosophie. Münster: Mentis.
Gentzen, G. (1933a). Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen. Mathematische Annalen 107, 329–350.
Gentzen, G (1936). Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen 112, 493–565.
Herbrand, J. (1930). Recherches sur la théorie de la démonstration. PhD thesis. Faculté des sciences de Paris.
Hilbert, D. and P. Bernays (1934a). Die Grundlagen der Mathematik. Berlin: Springer.
Jaśkowski, S. (1934c). On the Rules of Suppositions in Formal Logic. Studia Logica 1.
Kant, I. (1800/1904a). Logik. Ed. by G. B. Jäsche. English translation by R. S. Hartman and W. Schwartz, Logic, Dover, N.Y. 1988. Leipzig: Felix Meiner.
Kienzler, W. (2009). Begriff und Gegenstand. Frankfurt am Main: Vittorio Klostermann.
Kleene, S. C. (1952a). Introduction to Metamathematics. Amsterdam: North-Holland.
Kneebone, G. T. (1963). Mathematical Logic and the Foundations of Mathematics. Also Dover Publications, New York, 2001. London: Van Nostrand.
Kreiser, L. (2001). Gottlob Frege. Leben – Werk – Zeit. Hamburg: Felix Meiner.
Kutschera, F. von (1996a). Frege and Natural Deduction. In: Frege: Importance and Legacy. Ed. by M. Schirn. Berlin: Walter de Gruyter, 301–307.
Leibniz, G. W. (1973). Philosophical Writings, edited and translated by G. H. R. Parkinson. London: J. M. Dent and Sons.
Leibniz, G. W (1704/1962). Nouveaux Essais sur lentendement humain. Berlin: Akademieausgabe, VI.6.
Mill, J. S. (1843). A System of Logic, Ratiocinative and Inductive, Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation, Vol. 1. London: John Parker.
Mill, J. S. (1868). System der deductiven und inductiven Logik. German translation by J. Schiel, of Mill (1843).
Millán, J. B.-S. (2018). Frege’s Begriffsschrift, and Logicism. In: LOGICA Yearbook 2017. London: College Publications.
Millán, J. B.-S. and C. Badesa (2017). Function and Argument in Begriffsschrift. History and Philosophy of Logic 38 (4), 316–341.
Millán, J. B.-S. and C. Badesa (2020). Begriffsschrift’s Logic. Notre Dame Journal of Formal Logic 61, 409–440.
Proops, I. (2002). The Tractatus on Inference and Entailment. In: From Frege to Wittgenstein. Perspectives on Early Analytic Philosophy. Ed. by E. H. Reck. Oxford: Oxford University Press.
Quine, W. V. O. (1950). Methods of Logic. New York: Henry Holt and Co.
Schirn, M. (2010). On Translating Frege’s Die Grundlagen der Arithmetik. History and Philosophy of Logic 31 (1), 47–72.
Schroeder-Heister, P. (1981c). Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen. PhD thesis. Universität Bonn.
Schroeder-Heister, P (1984d). A natural extension of natural deduction. Journal of Symbolic Logic 49, 1284–1300.
Schroeder-Heister, P (1984h). Freges Permutationsargument. Zu §10 der ‘Grundgesetze der Arithmetik’. In: Frege Conference 1984. Proceedings of the International Conference held at Schwerin (GDR), September 10–14, 1984. Ed. by G.Wechsung. Berlin: Akademie- Verlag, 182–188.
Schroeder-Heister, P (1987b). A model-theoretic reconstruction of Freges permutation argument. Notre Dame Journal of Formal Logic 28, 69–79.
Schroeder-Heister, P (1997c). Frege and the resolution calculus. History and Philosophy of Logic 18, 95–108.
Schroeder-Heister, P (1999b). Gentzen-Style Features in Frege. In: Abstracts of the 11th International Congress of Logic, Methodology, and Philosophy of Science (Cracow, August 1999), Cracow, 1999, 499.
Schroeder-Heister, P (2002c). Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen. Bulletin of Symbolic Logic 8, 246–265.
Schroeder-Heister, P (2014b). Frege’s sequent calculus. In: Trends in Logic XIII: Gentzen’s and Jaśkowski’s Heritage – 80 Years of Natural Deduction and Sequent Calculi. Ed. by A. Indrzejczak, J. Kaczmarek, and M. Zawidzki. Łódż University Press, 233–245. doi: https://doi.org/10.15496/publikation-72324.
Schroeder-Heister, P (2018d). Proof-Theoretic Semantics. In: url: https://plato.stanford.edu/entries/proof-theoretic-semantics/.
Schroeder-Heister, P. and K. F. Wehmeier (2005). Frege’s permutation argument revisited. Synthese 147, 43–61.
Schütte, K. (1950). Schlussweisen-Kalküle der Prädikatenlogik. Mathematische Annalen 122, 47–65.
Sundholm, G. (1983b). Systems of deduction. In: Handbook of Philosophical Logic. Ed. by D. Gabbay and F. Guenthner. Vol. I. Dordrecht: Reidel. Chap. I:2, 133–188.
Sundholm, G. (1986a). Proof Theory and Meaning. In: Handbook of Philosophical Logic. Ed. by D. Gabbay and F. Guenthner. Vol. III. Dordrecht: Reidel. Chap. III:8, 471–506.
Sundholm, G (1988). Oordeel en Gevolgtrekking. Bedreigde Species? (Judgement and Inference: Endangered Species?) An inaugural lecture in the Chair of Logic, at Leiden University, delivered on September 9, 1988, and published in pamphlet form by that university.
Sundholm, G (1994). Proof-theoretical Semantics and Fregean Identity-criteria for Propositions. The Monist 77, 294–314.
Sundholm, G (1997). Implicit Epistemic Aspects of Constructive Logic. Journal of Logic, Language, and Information 6, 192–212.
Sundholm, G (1998a). Inference versus Consequence. In: LOGICA Yearbook 1997. Prague: Filosofia Publishers, Czech Academy of Sciences, 26–35.
Sundholm, G (2000). When, and why, did Frege read Bolzano? In: Logica Yearbook 1999. Prague: Filosofia Publishers, Czech Academy of Science, 164–174.
Sundholm, G (2006b). Semantic values of natural deduction derivations. Synthese 148 (3), 623–638.
Sundholm, G (2009). A Century of Judgment and Inference: 1837–1936. In: The Development of Modern Logic. Ed. by L. Haaparanta. Oxford University Press, 262–317.
Sundholm, G (2012). ‘Inference versus consequence’ revisited: inference, consequence, conditional, implication. Synthese 187, 943–956.
Sundholm, G (2019). Validity. In: Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019. Ed. by T. Piecha and P. Schroeder-Heister. University of Tübingen, 237–252. url: https://doi.org/10.15496/publikation-35319.
Tarski, A. (1923). Sur le terme primitive de la Logistique. Fundamenta Mathematicae 4, 196–200.
Tarski, A. (1924a). Sur les truth-functions au sense de MM. Russell and Whitehead. Fundamenta Mathematicae 5, 59–74.
Tarski, A. (1924b). Über einige fundamentale Begriffe der Metamathematik. Comptes Rendus des séances de la Socité des Sciences et des Lettres de Varsovie, XXIII, Classe III, 22–29.
Tarski, A. (1930). Über einige fundamentale Begriffe der Metamathematik. In: Comptes rendus des Séances de la Société des Sciences et des Lettes de Varsovie, Classe III. Vol. 23, 22–29. English translation in Tarski (1956/1983).
Tarski, A. (1936). Über den Begriff der logischen Folgerung. In: Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935. Fasc. VII, Logique. Paris: Hermann, 1–11. English translation in Tarski (1956/1983).
Tarski, A. (1956/1983). Logic, Semantics, Metamathematics. Indianpolis: Hackett Publishing Company.
Tichý, P. (1988a). Freges Foundations of Logic. Berlin: De Gruyter.
Tichý, P. and J. Tichý (1999). On Inference. Prague: Philosophical Institute, Czech Academy of Science, FILOSOFIA Publishers, 73–85.
Wittgenstein, L. (1921). Logisch-Philosophische Abhandlung. Annalen der Naturphilosophische XIV (3/4).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-ShareAlike 4.0 International License (http://creativecommons.org/licenses/by-sa/4.0/), which permits use, sharing, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. If you remix, transform, or build upon this chapter or a part thereof, you must distribute your contributions under the same license as the original.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2024 The Author(s)
About this chapter
Cite this chapter
Sundholm, G. (2024). Grundlagen der Arithmetik, §17: Part 1. Frege’s Anticipation of the Deduction Theorem. In: Piecha, T., Wehmeier, K.F. (eds) Peter Schroeder-Heister on Proof-Theoretic Semantics. Outstanding Contributions to Logic, vol 29. Springer, Cham. https://doi.org/10.1007/978-3-031-50981-0_2
Download citation
DOI: https://doi.org/10.1007/978-3-031-50981-0_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-50980-3
Online ISBN: 978-3-031-50981-0
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)