Show simple item record

dc.contributor.authorDewar, Neil
dc.date.accessioned2022-05-16T23:30:44Z
dc.date.available2022-05-16T23:30:44Z
dc.date.issued2022-05-14
dc.identifier.issn0003-2638
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/337212
dc.description.abstractThe proof in Dewar 2018 that classical and intuitionistic logic are not intertranslatable is defective. The proof claims that up to logical equivalence, there are only three non-trivial one-place schemata in intuitionistic logic (λφ.φ, λφ.¬φ and λφ.¬¬φ). This is false, for two reasons. First, we could include arbitrary further propositional constants in a one-place schema: for instance, the schema λφ.(φ∨P) is still a one-place schema. Second, even if we restrict our attention to one-place schemata that do not include any propositional constants, there are still infinitely many (logically inequivalent) schemata: this follows from the result of Nishimura (1960) that for any propositional constant, there are infinitely many intuitionistically inequivalent formulae containing only that propositional constant. However, the result still stands, as the following proof demonstrates.
dc.publisherOxford University Press (OUP)
dc.rightsPublisher's own licence
dc.titleCorrigendum to: On translating between logics
dc.typeArticle
dc.publisher.departmentFaculty of Philosophy
dc.date.updated2022-05-16T10:41:16Z
prism.publicationDate2022
prism.publicationNameAnalysis
dc.identifier.doi10.17863/CAM.84630
dcterms.dateAccepted2021-08-20
rioxxterms.versionofrecord10.1093/analys/anab058
rioxxterms.versionAM
dc.contributor.orcidDewar, Neil [0000-0001-6623-4529]
dc.identifier.eissn1467-8284
rioxxterms.typeJournal Article/Review
cam.issuedOnline2022-01-10
cam.orpheus.success2022-05-16 - Embargo set during processing via Fast-track
cam.depositDate2022-05-16
pubs.licence-identifierapollo-deposit-licence-2-1
pubs.licence-display-nameApollo Repository Deposit Licence Agreement
rioxxterms.freetoread.startdate2023-01-10


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record