Routley, Richard, Routley, Val. The Semantics of First Degree Entailment
1972, Noûs 6 (4):335-359
From the introduction: "we argue that the semantics of the first degree paradox-free implication system FD supports the claim it is superior to strict implication as an analysis of entailment at the first degree level. The semantics also reveals that Disjunctive Syllogism, [...] far from being a paradigmatic entailment, is invalid, and allows the illegitimate suppression of tautologies"
Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Comment: The paper introduces some of the central ideas in the relevance logic literature, e..g the connection between suppression and sufficiency, and the modeling of negation via the Routley star. It is a natural pick for a specialized course on relevance logic, but it can also be used as an introduction to (or further reading about) relevance logic in a general course on non-classical logics. Some familiarity with classical and modal logic (in particular, the notion of strict implication) is required.