Abstract
The Mares-Goldblatt semantics for quantified relevant logics have been developed for first-order extensions of R, and a range of other relevant logics and modal extensions thereof. All such work has taken place in the the ternary relation semantic framework, most famously developed by Sylvan (née Routley) and Meyer. In this paper, the Mares-Goldblatt technique for the interpretation of quantifiers is adapted to the more general neighbourhood semantic framework, developed by Sylvan, Meyer, and, more recently, Goble. This more algebraic semantics allows one to characterise a still wider range of logics, and provides the grist for some new results. To showcase this, we show, using some non-augmented models, that some quantified relevant logics are not conservatively extended by connectives the addition of which do conservatively extend the associated propositional logics, namely fusion and the dual implication. We close by proposing some further uses to which the neighbourhood Mares-Goldblatt semantics may be put.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Anderson, A.R., Belnap, N.D., & Dunn, J.M. (1992). Entailment the logic of relevance and necessity Vol. II. Princeton: Princeton University Press.
Beal, J., & Logan, S.A. (2017). Logic: The basics, 2nd edn. London: Routledge.
Bimbó, K., & Dunn, J.M. (2008). Generalized galois logics: relational semantics for nonclassical logical calculi, CSLI, Stanford.
Bimbó, K. (2011). Combinatory logic: Pure, applied and typed. Boca Raton: CRC.
Brady, R.T. (1984). Natural deduction systems for some quantified relevant logics. Logique et Analyse, 27, 355–377.
Brady, R.T. (1988). A content semantics for quantified relevant logics. I. Studia Logica, 47(2), 111–127.
Brady, R.T. (1989). A content semantics for quantified relevant logics. II. Studia Logica, 48(2), 243–257.
Brady, R. (2003). Relevant logics and their rivals, Volume II: a continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood, and Ross Brady. Edited by Ross Brady with contributions by Martin Bunder, André Fuhrmann, Andréa Loparić, Edwin Mares, Chris Mortensen and Alasdair Urquhart. Ashgate.
Dunn, J.M. (1991). Gaggle theory: an abstraction of galois connections and residuation with applications to negation, implication, and various logical operators J. van Eijck (Ed.), (Vol. 478, Springer.
Ferenz, N. (2019). Quantified Modal Relevant Logics. Ph.D, Dissertation, University of Alberta.
Ferenz, N. (2021). Identity in relevant logics: A relevant predication approach. Logica yearbook 2020 college publications.
Ferenz, N. (Forthcoming). Quantified modal relevant logics. Review of Symbolic Logic.
Kit, F. (1988). Semantics for quantified relevance logic. Journal of Philosophical Logic, 17, 27–59.
Fine, K. (1989). Incompleteness for quantified relevance logics. In J. Norman R. Sylvan (Eds.) Directions in relevant logic (pp. 205–225). Kluwer.
Goble, L. (2003). Neighborhoods for entailment. Journal of Philosophical Logic, 32, 483–529.
Goldblatt, R. (2011). Quantifiers, propositions and identity: Admissible semantics for quantified modal and substructural logics. Cambridge: Cambridge University Press.
Goldblatt, R., & Kane, M. (2010). An admissible semantics for propositionally quantified relevant logics. Journal of Philosophical Logic, 39(1), 73–100.
Humberstone, L. (2011). The connectives, MIT press, Cambridge.
Lavers, P. (1985). Generating intensional logics. MA Thesis, University of Adelaide.
Logan, S.A. (2020). Hyperdoctrines and the Ontology of Stratified Semantics. In D. Fazio, A. Ledda, & F. Paoli (Eds.) Algebraic Persepctives on substructural logics (pp. 169–193). Springer.
Mares, E.D., & Goldblatt, R. (2006). An alternative semantics for quantified relevant logics. Journal of Symbolic Logic, 71(1), 163–187.
Mares, E.D. (2009). General information in relevant logic. Synthese, 167, 343–362.
Ono, H. (2012). Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics. In L. Beklemishev, G. Bezhanishvili, D. Mundici, & Y. Venema (Eds.) Studia logica special issue for Leo Esakia, (Vol. 100 pp. 339–359).
Pacuit, E. (2017). Neighborhood semantics for modal logic. Berlin: Springer.
Restall, G. (2000). An introduction to substructural logics. London: Routledge.
Routley, R., & Meyer, R.K. (1975). 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.
Routley, R., & Meyer, R.K. (1976). Towards a general semantical theory of implication and conditionals. II. Improved negation theory and propositional identity. Reports on Mathematical Logic, 9, 47–62.
Routley, R., Meyer, R.K., Plumwood, V., & Brady, R.T. (1982). Relevant logics and their rivals Vol. 1. Atascadero: Ridgeview Publishing.
Smiley, T. (1984). Hunter on conditionals. In Proceedings of the Aristotelian society, 1983–1984, New Series, (Vol. 84 pp. 241–249).
Standefer, S. (2019). Tracking reasons with extensions of relevant logics. Logic Journal of the IGPL, 27(4), 543–569.
Standefer, S. (Forthcoming). Identity in Mares-Goldblatt models for quantifed relevant logic. Journal of Philosophical Logic.
Tedder, A. (2021). Information flow in logics in the vicinity of BB. Australasian Journal of Logic, 18(1), 1–24.
Acknowledgements
We’d like to thank Shay Allen Logan, Teresa Kouri Kissel, and Graham Leach Krouse for discussion on a draft. The first author gratefully acknowledges the GaČR grant no. 18-19162Y for funding. We would also like to take this opportunity to acknowledge our deep debt to the work, and person, of J. Michael Dunn, whose pioneering work on gaggle theory, and relevant logic in general, provided an important part of the background for this paper. Futhermore, we have both benefited enormously from knowing Mike, who was a model of insight, creativity, kindness, and generosity in a mentor. This paper is dedicated to him.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Tedder, A., Ferenz, N. Neighbourhood Semantics for Quantified Relevant Logics. J Philos Logic 51, 457–484 (2022). https://doi.org/10.1007/s10992-021-09637-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-021-09637-1