Translator Disclaimer
September 2020 Begriffsschrift’s Logic
Calixto Badesa, Joan Bertran-San Millán
Notre Dame J. Formal Logic 61(3): 409-440 (September 2020). DOI: 10.1215/00294527-2020-0014


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.


Download Citation

Calixto Badesa. Joan Bertran-San Millán. "Begriffsschrift’s Logic." Notre Dame J. Formal Logic 61 (3) 409 - 440, September 2020.


Received: 7 March 2018; Accepted: 19 December 2019; Published: September 2020
First available in Project Euclid: 9 September 2020

MathSciNet: MR4159164
Digital Object Identifier: 10.1215/00294527-2020-0014

Primary: 01A55
Secondary: 03B1F

Rights: Copyright © 2020 University of Notre Dame


This article is only available to subscribers.
It is not available for individual sale.

Vol.61 • No. 3 • September 2020
Back to Top