Element contents
Series: Elements in Philosophy and Logic
Relevance Logic
Published online by Cambridge University Press: 28 March 2024
Summary
Relevance logics are a misunderstood lot. Despite being the subject of intense study for nearly a century, they remain maligned as too complicated, too abstruse, or too silly to be worth learning much about. This Element aims to dispel these misunderstandings. By focusing on the weak relevant logic B, the discussion provides an entry point into a rich and diverse family of logics. Also, it contains the first-ever textbook treatment of quantification in relevance logics, as well as an overview of the cutting edge on variable sharing results and a guide to further topics in the field.
- Type
- Element
- Information
- Series: Elements in Philosophy and LogicOnline ISBN: 9781009227773Publisher: Cambridge University PressPrint publication: 18 April 2024
References
Anderson, A. R., & Belnap, N. D. (1975). Entailment: The logic of relevance and necessity, vol. I. Princeton University Press.Google Scholar
Anderson, A. R., Belnap, N. D., & Dunn, J. M. (1992). Entailment: The logic of relevance and necessity, vol. II. Princeton University Press.Google Scholar
Barrio, E. A., Pailos, F., & Szmuc, D. (2020). A hierarchy of classical and paraconsistent logics. Journal of Philosophical Logic, 49(1), 93–120.CrossRefGoogle Scholar
Beall, J. (2017). There is no logical negation: True, false, both, and neither. Australasian Journal of Logic, 14(1), Article no. 1.CrossRefGoogle Scholar
Beall, J. (2018). The simple argument for subclassical logic. Philosophical Issues, 28(1), 30–54.CrossRefGoogle Scholar
Beall, J. (2019). FDE as the one true logic. In New essays on Belnap–Dunn logic (pp. 115–125). Springer.CrossRefGoogle Scholar
Belnap, N. D. (1960). Entailment and relevance. The Journal of Symbolic Logic, 25(2), 144–146.CrossRefGoogle Scholar
Belnap, N. D. (1982). Display logic. Journal of Philosophical Logic, 11(4), 375–417. doi: https://doi.org/10.1007/bf00284976.CrossRefGoogle Scholar
Berto, F., & Restall, G. (2019). Negation on the Australian plan. Journal of Philosophical Logic, 48(6), 1119–1144. doi: https://doi.org/10.1007/s10992-019-09510-2.CrossRefGoogle Scholar
Bimbó, K. (2007). Relevance logics. In Jacquette, D. (Ed.), Handbook of the philosophy of science: Philosophy of logic. North-Holland Academic Publishers.Google Scholar
Bimbó, K., & Dunn, J. M. (2008). Generalized Galois logics: Relational semantics of nonclassical logical calculi. Center for the Study of Language and Information.Google Scholar
Brady, R. T. (1984a). Depth relevance of some paraconsistent logics. Studia Logica, 43(1), 63–73.CrossRefGoogle Scholar
Brady, R. T. (1984b). Natural deduction systems for some quantified relevant logics. Logique et Analyse, 27(108), 355–378.Google Scholar
Brady, R. T. (1988). A content semantics for quantified relevant logics I. Studia Logica, 47(2), 111–127.CrossRefGoogle Scholar
Brady, R. T. (1989). A content semantics for quantified relevant logics II. Studia Logica, 48(2), 243–257.CrossRefGoogle Scholar
Brady, R. T. (2017a). Metavaluations. Bulletin of Symbolic Logic, 23(3), 296–323.CrossRefGoogle Scholar
Brady, R. T. (2017b). Some concerns regarding ternary-relation semantics and truth-theoretic semantics in general. IfCoLog Journal of Logics and Their Applications, 4(3), 755–781.Google Scholar
Brauer, E. (2020). Relevance for the classical logician. The Review of Symbolic Logic, 13(2), 436–457.CrossRefGoogle Scholar
Copeland, B. J. (1979). On when a semantics is not a semantics: Some reasons for disliking the Routley-Meyer semantics for relevance logic. Journal of Philosophical Logic, 8(1), 399–413.CrossRefGoogle Scholar
Copeland, B. J. (1980). The trouble Anderson and Belnap have with relevance. Philosophical Studies, 37(4), 325–334.CrossRefGoogle Scholar
Dunn, J. M. (1970). Algebraic completeness results for R-mingle and its extensions. The Journal of Symbolic Logic, 35(1), 1–13.CrossRefGoogle Scholar
Dunn, J. M. (1976). A Kripke-style semantics for R-mingle using a binary accessibility relation. Studia Logica: An International Journal for Symbolic Logic, 35(2), 163–172.CrossRefGoogle Scholar
Dunn, J. M. (1987). Relevant predication 1: The formal theory. Journal of Philosophical Logic, 16(4), 347–381.CrossRefGoogle Scholar
Dunn, J. M. (1990a). The frame problem and relevant predication. In Knowledge representation and defeasible reasoning (pp. 89–95). Springer.CrossRefGoogle Scholar
Dunn, J. M. (1990b). Relevant predication 2: Intrinsic properties and internal relations. Philosophical Studies, 60(3), 177–206.CrossRefGoogle Scholar
Dunn, J. M. (1990c). Relevant predication 3: Essential properties. In Truth or consequences (pp. 77–95). Springer.CrossRefGoogle ScholarPubMed
Dunn, J. M. (1993). Star and perp: Two treatments of negation. Philosophical Perspectives, 7, 331–357.CrossRefGoogle Scholar
Dunn, J. M. (2021). R-Mingle is nice, and so is Arnon Avron. In Arnon Avron on semantics and proof theory of non-classical logics (pp. 141–165). Springer.CrossRefGoogle Scholar
Ferenz, N. (2022). Quantified modal relevant logics. The Review of Symbolic Logic, 16(1), 210–240.CrossRefGoogle Scholar
Ferenz, N., & Tedder, A. (2022). Neighbourhood semantics for modal relevant logics. Journal of Philosophical Logic, 52, 145–181.CrossRefGoogle Scholar
Ferguson, T. M., & Priest, G. (Eds.). (2021). Special issue on Robert Meyer and relevant arithmetic. The Australasian Journal of Logic, 18(5).Google Scholar
Fine, K. (1974). Models for entailment. Journal of Philosophical Logic, 3(4), 347–372.CrossRefGoogle Scholar
Fine, K. (1988). Semantics for quantified relevance logic. Journal of Philosophical Logic, 17(1), 27–59.CrossRefGoogle Scholar
Fine, K. (1989). Incompleteness for quantified relevance logics. In Directions in relevant logic (pp. 205–225). Springer.CrossRefGoogle Scholar
Fitting, M., & Mendelsohn, R. L. (2012). First-order modal logic (Vol. 277). Springer Science & Business Media.Google Scholar
French, R. (2016). Structural reflexivity and the paradoxes of self-reference. Ergo, an Open Access Journal of Philosophy, 3. doi: http://doi.org/10.3998/ergo.12405314.0003.005CrossRefGoogle Scholar
Friedman, H., & Meyer, R. (1992). Whither relevant arithmetic? The Journal of Symbolic Logic, 57(3), 824–831.CrossRefGoogle Scholar
Goble, L. (2003). Neighborhoods for entailment. Journal of Philosophical Logic, 32(5), 483–529. doi: https://doi.org/10.1023/a:1025638012192.CrossRefGoogle Scholar
Gödel, K. (1932). Zum intuitionistischen aussagenkalkül. Anzeiger der Akademie der Wissenschaften in Wien, 69, 65–66.Google Scholar
Goldblatt, R., & Kane, M. (2010). An admissible semantics for propositionally quantified relevant logics. Journal of Philosophical Logic, 39(1), 73–100.CrossRefGoogle Scholar
Hanson, W. H. (1989). Two kinds of deviance. History and Philosophy of Logic, 10(1), 15–28. doi: https://doi.org/10.1080/01445348908837139.CrossRefGoogle Scholar
Harrop, R. (1960). Concerning formulas of the types
,
in intuitionistic formal systems. The Journal of Symbolic Logic, 25(1), 27–32.CrossRefGoogle Scholar
Humberstone, I. (1988). Operational semantics for positive R. Notre Dame Journal of Formal Logic, 29(1), 61–80.Google Scholar
Kremer, P. (1989). Relevant predication: Grammatical characterisations. Journal of Philosophical Logic, 18(4), 349–382.CrossRefGoogle Scholar
Kremer, P. (1993). Quantifying over propositions in relevance logic: Nonaxiomatisability of primary interpretations of
and
. The Journal of Symbolic Logic, 58(1), 334–349.CrossRefGoogle Scholar
Kremer, P. (1997). Dunn’s relevant predication, real properties and identity. Erkenntnis, 47(1), 37–65.CrossRefGoogle Scholar
Kremer, P. (1999). Relevant identity. Journal of Philosophical Logic, 28(2), 199–222.CrossRefGoogle Scholar
Kripke, S. A. (1963). Semantical considerations on modal logic. Acta Philosophica Fennica, 16, 83–94.Google Scholar
Lavers, P. (1985). Generating intensional logics (unpublished master’s thesis). University of Adelaide.Google Scholar
Lavers, P. (1994). Generalising tautological entailment. Logique et Analyse, 37(147/148), 367–377.Google Scholar
Logan, S. A. (2019). Notes on stratified semantics. Journal of Philosophical Logic, 48(4), 749–786.CrossRefGoogle Scholar
Logan, S. A. (2021). Strong depth relevance. Australasian Journal of Logic, 18(6), 645–656.CrossRefGoogle Scholar
Logan, S. A. (2022a). Deep fried logic. Erkenntnis, 87(1), 257–286. doi: https://doi.org/10.1007/s10670-019-00194-3.CrossRefGoogle Scholar
Logan, S. A. (2022b). Depth relevance and hyperformalism. Journal of Philosophical Logic, 51(4):721–737.CrossRefGoogle Scholar
Logan, S. A., & Leach-Krouse, G. (2021). On not saying what we shouldn’t have to say. The Australasian Journal of Logic, 18(5), 524–568.CrossRefGoogle ScholarPubMed
Mares, E. D. (1992). Semantics for relevance logic with identity. Studia Logica, 51(1), 1–20.CrossRefGoogle Scholar
Mares, E. D. (2004). Relevant logic: A philosophical interpretation. Cambridge University Press.CrossRefGoogle Scholar
Mares, E. D., & Goldblatt, R. (2006). An alternative semantics for quantified relevant logic. The Journal of Symbolic Logic, 71(1), 163–187.CrossRefGoogle Scholar
Méndez, J. M., & Robles, G. (2012). A general characterization of the variable-sharing property by means of logical matrices. Notre Dame Journal of Formal Logic, 53(2), 223–244.CrossRefGoogle Scholar
Meyer, R. (2021a). Arithmetic formulated relevantly. The Australasian Journal of Logic, 18(5), 154–288.CrossRefGoogle Scholar
Meyer, R. (2021b). The consistency of arithmetic. The Australasian Journal of Logic, 18(5), 289–379.CrossRefGoogle Scholar
Meyer, R. (2021c). Relevant arithmetic. The Australasian Journal of Logic, 18(5), 150–153.CrossRefGoogle Scholar
Meyer, R., & Mortensen, C. (202a). Alien intruders in relevant arithmetic. The Australasian Journal of Logic, 18(5), 401–425.CrossRefGoogle Scholar
Meyer, R., & Mortensen, C. (2021b). Inconsistent models for relevant arithmetics. The Australasian Journal of Logic, 18(5), 380–400.CrossRefGoogle Scholar
Meyer, R. K. (1976). Metacompleteness. Notre Dame Journal of Formal Logic, 17(4), 501–516.CrossRefGoogle Scholar
Mortensen, C. (2021). Remark on relevant arithmetic. The Australasian Journal of Logic, 18(5), 426–427.CrossRefGoogle Scholar
Padro, R. (2015). What the tortoise said to Kripke: The adoption problem and the epistemology of logic (unpublished doctoral dissertation). City University of New York.Google Scholar
Pym, D. (2013). The semantics and proof theory of the logic of bunched implications. Springer Netherlands.Google Scholar
Read, S. (1993). Formal and material consequence, disjunctive syllogism and gamma. In Argumentationstheorie (pp. 233–259). Brill.CrossRefGoogle Scholar
Restall, G. (1995). Display logic and gaggle theory. Reports on Mathematical Logic, 133–146.Google Scholar
Restall, G. (1998). Displaying and deciding substructural logics 1: Logics with contraposition. Journal of Philosophical Logic, 27(2), 179–216. doi: https://doi.org/10.1023/a:1017998605966.CrossRefGoogle Scholar
Restall, G. (1999). Negation in relevant logics (how I stopped worrying and learned to love the Routley star). In Gabbay, D. M. & Wansing, H. (Eds.), What is negation? (pp. 53–76). Kluwer Academic Publishers.CrossRefGoogle Scholar
Restall, G., & Standefer, S. (2022). Collection frames for distributive substructural logics. The Review of Symbolic Logic, 16(4):1120–1157CrossRefGoogle Scholar
Robles, G., & Méndez, J. M. (2014). Generalizing the depth relevance condition: Deep relevant logics not included in R-mingle. Notre Dame Journal of Formal Logic, 55(1), 107–127.CrossRefGoogle Scholar
Robles, G., & Méndez, J. M. (2018). Routley-Meyer ternary relational semantics for intuitionistic-type negations. Academic Press.Google Scholar
Routley, R., & Meyer, R. K. (1972a). The semantics of entailment. In Leblanc, H. (Ed.), (pp. 199–243). North-Holland Publishing Company.Google Scholar
Routley, R., & Meyer, R. K. (1972b). The semantics of entailment II. Journal of Philosophical Logic, 1(1), 53–73.CrossRefGoogle Scholar
Routley, R., & Meyer, R. K. (1972c). The semantics of entailment III. Journal of Philosophical Logic, 1(2), 192–208.CrossRefGoogle Scholar
Routley, R., & Meyer, R. K. (1975a). Towards a general semantical theory of implication and conditionals. II. Systems with normal conjunctions and disjunctions and aberrant and normal negations. Reports on Mathematical Logic (9), 47–62.Google Scholar
Routley, R., & Meyer, R. K. (1975b). Towards a general semantical theory of implication and conditionals. I. Systems with normal conjunctions and disjunctions and aberrant and normal negations. Reports on Mathematical Logic (4), 67–89.Google Scholar
Routley, R., Plumwood, V., Meyer, R. K., & Brady, R. T. (1982). In Sylvan, R. & Brady, R. (Eds.), Relevant logics and their rivals. Ridgeview.Google Scholar
Routley, R., & Routley, V. (1972). The semantics of first degree entailment. Noús, 335–359.Google Scholar
Savic, N., & Studer, T. (2019). Relevant justification logic. Journal of Applied Logics, 6(2), 395–410.Google Scholar
Slaney, J. (1984). A metacompleteness theorem for contraction-free relevant logics. Studia Logica, 43(1), 159–168.CrossRefGoogle Scholar
Slaney, J. (1990). A general logic. Australasian Journal of Philosophy, 68(1), 74–88.CrossRefGoogle Scholar
Slaney, J. (1995). MaGIC: Matrix generator for implication connectives ( Tech. Rep.). Tech. Report TR-ARP-11-95, Research School of Information Science.Google Scholar
Standefer, S. (2019). Tracking reasons with extensions of relevant logics. Logic Journal of the IGPL, 27(4), 543–569. doi: https://doi.org/10.1093/jigpal/jzz018.CrossRefGoogle Scholar
Standefer, S. (2021). Identity in Mares–Goldblatt models for quantified relevant logic. Journal of Philosophical Logic, 50(6), 1389–1415.CrossRefGoogle Scholar
Standefer, S. (2022a). Weak relevant justification logics. Journal of Logic and Computation, 33(7):1665–1683.CrossRefGoogle Scholar
Standefer, S. (2022b). What is a relevant connective? Journal of Philosophical Logic, 51(4), 919–950. doi: https://doi.org/10.1007/s10992-022-09655-7.CrossRefGoogle Scholar
Sylvan, R. (1992). Process and action: Relevant theory and logics. Studia Logica, 51(3), 379–437.CrossRefGoogle Scholar
Szmuc, D. E. (2021). The (greatest) fragment of classical logic that respects the variable-sharing principle (in the FMLA-FMLA framework). Bulletin of the Section of Logic, 50(4), 421–453.CrossRefGoogle Scholar
Tedder, A. (2021). Information flow in logics in the vicinity of BB. The Australasian Journal of Logic, 18(1), 1–24.CrossRefGoogle Scholar
Tedder, A., & Bilková, M. (2022). Relevant propositional dynamic logic. Synthese, 200(3), 1–42.CrossRefGoogle Scholar
Tedder, A., & Ferenz, N. (2022). Neighbourhood semantics for quantified relevant logics. Journal of Philosophical Logic, 51(3), 457–484.CrossRefGoogle Scholar
Urquhart, A. (1972). Semantics for relevant logics. Journal of Symbolic Logic, 37(1), 159–169. doi: https://doi.org/10.2307/2272559.CrossRefGoogle Scholar
- 2
- Cited by