Frege's Begriffsschrift is Indeed First-Order Complete

History and Philosophy of Logic 38 (4):342-344 (2017)

Authors
Yang Liu
Cambridge University
Abstract
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.
Keywords Begriffsschrift  Frege  completeness  First-order logic
Categories (categorize this paper)
Reprint years 2017
ISBN(s)
DOI 10.1080/01445340.2017.1350549
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
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

Introduction to Mathematical Logic.Elliott Mendelson - 1964 - Journal of Symbolic Logic 54 (2):618-619.
Introduction to Mathematical Logic.Elliott Mendelson - 1964 - Journal of Symbolic Logic 34 (1):110-111.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Frege and the Rigorization of Analysis.William Demopoulos - 1994 - Journal of Philosophical Logic 23 (3):225 - 245.
First-Order Frege Theory is Undecidable.Warren Goldfarb - 2001 - Journal of Philosophical Logic 30 (6):613-616.
La Primera Begriffsschrift Fregeana.Luis Segura Martínez - 1999 - Signos Filosóficos 1:13-32.
Completeness and Categoricity: Frege, Gödel and Model Theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
What Frege's Theory of Identity is Not.Robert May - 2012 - Thought: A Journal of Philosophy 1 (1):41-48.
Idéographie.Corine Besson & Jonathan Barnes - 1999 - Librairie J. Vrin.

Analytics

Added to PP index
2016-02-20

Total views
132 ( #58,637 of 2,266,272 )

Recent downloads (6 months)
29 ( #27,470 of 2,266,272 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature