Frege's Begriffsschrift is Indeed First-Order Complete

History and Philosophy of Logic 38 (4):342-344 (2017)
Download Edit this record How to cite View on PhilPapers
It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, the standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively sufficient as far as the first-order completeness is concerned. In this short note we confirm that the missing axiom is derivable from his stated axioms and inference rules, and hence the logic system in the Begriffsschrift is indeed first-order complete.
Reprint years
PhilPapers/Archive ID
Upload history
First archival date: 2017-10-21
Latest version: 3 (2019-01-30)
View other versions
Added to PP index

Total views
183 ( #28,555 of 58,351 )

Recent downloads (6 months)
14 ( #42,364 of 58,351 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.