Show simple item record

dc.contributor.authorLiu, Yangen
dc.date.accessioned2017-11-28T16:09:41Z
dc.date.available2017-11-28T16:09:41Z
dc.date.issued2017-10-02en
dc.identifier.issn0144-5340
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/269771
dc.description.abstractIt 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.publisherTaylor & Francis
dc.titleFrege's Begriffsschrift is Indeed First-Order Completeen
dc.typeArticle
prism.endingPage344
prism.issueIdentifier4en
prism.publicationDate2017en
prism.publicationNameHistory and Philosophy of Logicen
prism.startingPage342
prism.volume38en
dc.identifier.doi10.17863/CAM.11143
dcterms.dateAccepted2017-06-30en
rioxxterms.versionofrecord10.1080/01445340.2017.1350549en
rioxxterms.versionAM*
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserveden
rioxxterms.licenseref.startdate2017-10-02en
dc.contributor.orcidLiu, Yang [0000-0001-8865-4647]
dc.identifier.eissn1464-5149
rioxxterms.typeJournal Article/Reviewen
rioxxterms.freetoread.startdate2018-07-25


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record