Frege's Begriffsschrift is Indeed First-Order Complete

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

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.

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2017.1350549

Links

PhilArchive

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

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.
The Consistency of predicative fragments of frege's grundgesetze der arithmetik.Richard Heck Jnr - 1996 - History and Philosophy of Logic 17 (1 & 2):209-220.
The Consistency of predicative fragments of frege’s grundgesetze der arithmetik.Richard G. Heck - 1996 - History and Philosophy of Logic 17 (1-2):209-220.
On Frege’s Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs.Dirk Schlimm - 2018 - History and Philosophy of Logic 39 (1):53-79.
What Frege’s Theory of Identity is Not.Robert May - 2012 - Thought: A Journal of Philosophy 1 (1):41-48.
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
On the consistency of the Δ11-CA fragment of Frege's grundgesetze.Fernando Ferreira & Kai F. Wehmeier - 2002 - Journal of Philosophical Logic 31 (4):301-311.
Frege on Identity. The Transition from Begriffsschrift to Über Sinn und Bedeutung.Valentin Sorin Costreie - 2012 - Logos and Episteme 3 (2):297-308.
Frege’s Begriffsschrift as a lingua characteristica.Tapio Korte - 2010 - Synthese 174 (2):283 - 294.
Frege on identity: the transition from Begriffsschrift to Über Sinn und Bedeutung.Sorin Costreie - 2012 - Logos and Episteme 3 (3):297-308.
Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.
On the Consistency of the Δ1 1-CA Fragment of Frege's Grundgesetze.Fernando Ferreira & Kai F. Wehmeier - 2002 - Journal of Philosophical Logic 31 (4):301-311.

Analytics

Added to PP
2016-02-20

Downloads
453 (#40,520)

6 months
120 (#28,473)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yang Liu
Cambridge University

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
Begriffsschrift, a Formula Language, Modeled upon that of Arithmetic, for Pure Thought [1879].Gottlob Frege - 1879 - From Frege to Gödel: A Source Book in Mathematical Logic 1931:1--82.
Introduction to Mathematical Logic.John Corcoran - 1964 - Journal of Symbolic Logic 54 (2):618-619.
Introduction to Mathematical Logic.Dirk van Dalen - 1964 - Journal of Symbolic Logic 34 (1):110-111.

Add more references