dc.contributor.author Liu, Yang en dc.date.accessioned 2017-11-28T16:09:41Z dc.date.available 2017-11-28T16:09:41Z dc.date.issued 2017-10-02 en dc.identifier.issn 0144-5340 dc.identifier.uri https://www.repository.cam.ac.uk/handle/1810/269771 dc.description.abstract It is widely taken that the first-order part of Frege's Begriffsschrift (1879) 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 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 dc.publisher Taylor & Francis dc.title Frege's Begriffsschrift is Indeed First-Order Complete en dc.type Article prism.endingPage 344 prism.issueIdentifier 4 en prism.publicationDate 2017 en prism.publicationName History and Philosophy of Logic en prism.startingPage 342 prism.volume 38 en dc.identifier.doi 10.17863/CAM.11143 dcterms.dateAccepted 2017-06-30 en rioxxterms.versionofrecord 10.1080/01445340.2017.1350549 en rioxxterms.version AM * rioxxterms.licenseref.uri http://www.rioxx.net/licenses/all-rights-reserved en rioxxterms.licenseref.startdate 2017-10-02 en dc.contributor.orcid Liu, Yang [0000-0001-8865-4647] dc.identifier.eissn 1464-5149 rioxxterms.type Journal Article/Review en rioxxterms.freetoread.startdate 2018-07-25
﻿