Grundlagen der Arithmetik, §17: Part 1. Frege’s Anticipation of the Deduction Theorem

In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 53-84 (2024)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/978-3-031-50981-0_2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Die Grundlagen der Arithmetik, §§ 82-3. [REVIEW]William Demopoulos - 1998 - Bulletin of Symbolic Logic 6 (4):407-28.
Frege's theorem and his logicism.Hirotoshi Tabata - 2000 - History and Philosophy of Logic 21 (4):265-295.
Frege's Intellectual Life As a Logicist Project. [REVIEW]Joan Bertran-San Millán - 2020 - Teorema: International Journal of Philosophy 39:127-138.
Die Grundlagen Der Arithmetik: Eine Logisch-Mathematische Untersuchung Über Den Begriff Der Zahl.Friedrich Ludwig Gottlob Frege - 1884 - W. Koebner.
Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner Verlag.
Frege's Basic Law V and Cantor's Theorem.Manuel Bremer - manuscript
Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1988 - Meiner, F.
Frege Y Los nombres de cursos de valores.Matthias Schirn - 1994 - Theoria 9 (2):109-133.
Frege y los nombres de cursos de valores.Matthias Schirn - 1995 - Theoria 10 (1):109-133.
On Translating Frege's Die Grundlagen der Arithmetik.Matthias Schirn - 2010 - History and Philosophy of Logic 31 (1):47-72.
Frege y los nombres de cursos de valores.Matthias Schirn - 1994 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 9 (2):109-133.
Gottlob Frege. Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl. Centenary edition of 495. With supplementary text critically edited by Christian Thiel. Felix Meiner Verlag, Hamburg1986, LXIII + 187 pp. - Christian Thiel. Einleitung des Herausgebers. Therein, pp. XXI–LXIII. - Ernst Reinhold Eduard Hoppe. Review of Frege's Die Grundlagen der Arithmetik . Therein, pp. 109–117. , Litterarischer Bericht VII, pp. 28–35.) - Georg Cantor. Review of the same. A reprint of 651. Therein, pp. 117–119. - Ernst Zermelo. Anmerkung. A reprint of 1257. Therein, p. 119. - Gottlob Frege. Erwiderung. Therein, p. 120. , col. 1030.) - Anonymous. Review of the same. Therein, pp. 120–121. , cols. 1514–1515.) - Rudolf Eucken. Review of the same. Therein, pp. 122–123. , pp. 421–422.) - Kurd Laßwitz. Review of the same. Therein, pp. 123–128. , pp. 143–148.) - Ernst Schröder. Stellungnahme. A reprint of p. 704 of 427. Therein, pp. 128–129. - Edmund Husserl. Frege's. [REVIEW]Matthias Schirn - 1988 - Journal of Symbolic Logic 53 (3):993-999.
Frege's theorem and the peano postulates.George Boolos - 1995 - Bulletin of Symbolic Logic 1 (3):317-326.
Frege's Theorem and the Peano Postulates.George Boolos - 1995 - Bulletin of Symbolic Logic 1 (3):317-326.
Frege's Recipe.Roy T. Cook & Philip A. Ebert - 2016 - Journal of Philosophy 113 (7):309-345.

Analytics

Added to PP
2024-03-02

Downloads
10 (#1,198,690)

6 months
10 (#276,350)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Göran Sundholm
Leiden University

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Begriffsschrift.Gottlob Frege - 1967 - In Jean Van Heijenoort (ed.), From Frege to Gödel. Cambridge,: Harvard University Press. pp. 1-83.
Methods of Logic.W. V. Quine - 1952 - Critica 15 (45):119-123.
Wissenschaftslehre.Bernard Bolzano & Alois Höfler - 1837 - Revue de Métaphysique et de Morale 22 (4):15-16.

View all 22 references / Add more references