Show simple item record

dc.contributor.authorØgaard, Tore Fjetland
dc.date.accessioned2020-05-22T08:46:38Z
dc.date.available2020-05-22T08:46:38Z
dc.date.issued2021
dc.PublishedØgaard T.F.. Non-Boolean classical relevant logics I. Synthese. 2021eng
dc.identifier.issn0039-7857
dc.identifier.issn1573-0964
dc.identifier.urihttps://hdl.handle.net/1956/22333
dc.description.abstractRelevant logics have traditionally been viewed as paraconsistent. This paper shows that this view of relevant logics is wrong. It does so by showing forth a logic which extends classical logic, yet satisfies the Entailment Theorem as well as the variable sharing property. In addition it has the same S4-type modal feature as the original relevant logic E as well as the same enthymematical deduction theorem. The variable sharing property was only ever regarded as a necessary property for a logic to have in order for it to not validate the so-called paradoxes of implication. The Entailment Theorem on the other hand was regarded as both necessary and sufficient. This paper shows that the latter theorem also holds for classical logic, and so cannot be regarded as a sufficient property for blocking the paradoxes. The concept of suppression is taken up, but shown to be properly weaker than that of variable sharing.en_US
dc.language.isoengeng
dc.publisherSpringereng
dc.relation.urihttps://rdcu.be/bY2OI
dc.subjectLogikk / Logiceng
dc.titleNon-Boolean classical relevant logics Ieng
dc.typePeer reviewed
dc.typeJournal article
dc.date.updated2020-01-15T21:27:04Z
dc.description.versionacceptedVersion
dc.rights.holderCopyright 2019 Springereng
dc.identifier.doihttps://doi.org/10.1007/s11229-019-02507-z
dc.identifier.cristin1760068
dc.source.journalSynthese
dc.source.pagenumber6993–7024
dc.subject.nsiVDP::Humaniora: 000::Filosofiske fag: 160::Filosofi: 161
dc.subject.nsiVDP::Humanities: 000::Philosophy: 160::Philosophy: 161
dc.subject.nsiVDP::Humaniora: 000::Filosofiske fag: 160::Logikk: 163
dc.subject.nsiVDP::Humanities: 000::Philosophy: 160::Logic: 163
dc.source.volume198


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record