Notre Dame Journal of Formal Logic 61 (3):409-440 (2020)

Joan Bertran-San Millán
University of Lisbon
In Begriffsschrift, Frege presented a formal system and used it to formulate logical definitions of arithmetical notions and to deduce some noteworthy theorems by means of logical axioms and inference rules. From a contemporary perspective, Begriffsschrift’s deductions are, in general, straightforward; it is assumed that all of them can be reproduced in a second-order formal system. Some deductions in this work present—according to this perspective—oddities that have led many scholars to consider it to be Frege’s inaccuracies which should be amended. In this paper, we continue with the analysis of Begriffsschrift’s logic undertaken in an earlier work and argue that its deductive system must not be reconstructed as a second-order calculus. This leads us to argue that Begriffsschrift’s deductions do not need any correction but, on the contrary, can be explained in coherence with a global reading of this work and, in particular, with its fundamental distinction between function and argument.
Keywords Begriffsschrift   concept-script   second-order logic   substitution rule  Frege
Categories (categorize this paper)
DOI 10.1215/00294527-2020-0014
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,581
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Reading the Begriffsschrift.George Boolos - 1985 - Mind 94 (375):331-344.
Frege on Identity and Identity-Statements: A Reply to Thau and Caplan.Richard Heck - 2003 - Canadian Journal of Philosophy 33 (1):83-102.
Function and Argument in Begriffsschrift.Calixto Badesa Cortes & Joan Bertran-San Millán - 2017 - History and Philosophy of Logic 38 (4):316-341.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Function and Argument in Begriffsschrift.Calixto Badesa Cortes & Joan Bertran-San Millán - 2017 - History and Philosophy of Logic 38 (4):316-341.
Formality of Logic and Frege’s Begriffsschrift.Daniele Mezzadri - 2019 - Canadian Journal of Philosophy 49 (2):182-207.
Frege's Begriffsschrift is Indeed First-Order Complete.Yang Liu - 2017 - History and Philosophy of Logic 38 (4):342-344.
La Primera Begriffsschrift Fregeana.Luis Segura Martínez - 1999 - Signos Filosóficos 1:13-32.
On the Purpose of the Begriffsschrift.Gottlob Frege - 1968 - Australasian Journal of Philosophy 46 (2):89-97.
On Herr Peano's Begriffsschrift and My Own.Gottlob Frege - 1969 - Australasian Journal of Philosophy 47 (1):1 – 14.
Where is ‘There is’ in ‘∃’?Richard Davies - forthcoming - Tandf: History and Philosophy of Logic:1-16.
A begriffsschrift for sentential logic.J. Evenden - 1976 - Logique Et Analyse 19 (74):413.
Frege and the Rigorization of Analysis.William Demopoulos - 1994 - Journal of Philosophical Logic 23 (3):225 - 245.


Added to PP index

Total views
32 ( #345,543 of 2,461,463 )

Recent downloads (6 months)
6 ( #119,105 of 2,461,463 )

How can I increase my downloads?


My notes