Abstract
This paper reformulates and decides a certain conjecture in Dunn's ‘Relevant Predication 1: The Formal Theory’ (Journal of Philosophical Logic 16, 347–381, 1987). This conjecture of Dunn's relates his object-language characterisation of a property's being relevant in a variable x to certain grammatical characterisations of relevance, analogous to some given by Helman, in ‘Relevant Implication and Relevant Functions’ (to appear in Entailment: The Logic of Relevance and Necessity, vol. 2, by Alan Ross Anderson, Nuel Belnap, and J. Michael Dunn et al.) In the course of the investigation this paper also investigates Kit Fine's semantics for quantified relevance logics, which appears in his appropriately titled ‘Semantics for Quantified Relevance Logics’
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
AlanR. Anderson and NuelD. Belnap et al., 1975, Entailment: The Logic of Relevance and Necessity, vol. 1 (Princeton University Press), Princeton.
Alan R. Anderson, Nuel D. Belnap and J. Michael Dunn et al., to appear, Entailment: The Logic of Relevance and Necessity, vol. 2 (Princeton University Press), Princeton, forthcoming.
J. R. Chidgey, 1970, U, unpublished.
J. Michael Dunn, ‘Relevant Predication 1: The Formal Theory’, Journal of Philosophical Logic 16, 347–381, to be reprinted as §74 of Anderson, Belnap and Dunn et al., to appear, under the title ‘Relevant Predication: The Formal Theory’.
KitFine, 1974, ‘Models for Entailment’, Journal of Philosophical Logic 3, 347–372, to be reprinted as §51 of Anderson, Belnap and Dunn et al., to appear, under the title ‘Models for Entailment: Relational-Operational Semantics for Relevance Logics’.
Kit Fine, 1986, ‘Incompleteness for Quantified Relevance Logics’, to appear in Directions in Relevance Logic (ed. R. Sylvan), abstracted form to appear as §52 of Anderson, Belnap and Dunn et al., to appear.
KitFine, 1988, Semantics for Quantified Relevance Logics’, Journal of Philosophical Logic 17, 27–59, to be reprinted as §53 of Anderson, Belnap and Dunn et al., to appear.
GlenHelman, 1977, ‘Completeness of the Normal Typed Fragment of the λ-System U*’, Journal of Philosophical Logic 6, 33–46.
Glen Helman, to appear, ‘Relevant Implication and Relevant Functions’, to appear as §71 of Anderson, Belnap and Dunn et al., to appear.
RichardRoutley and Robert K.Meyer, 1973, ‘The Semantics of Entailment I’, in Truth Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics (ed. H.Leblanc), (North-Holland Publishing Company), Amsterdam, 199–243.
RichardRoutley, ValPlumwood, Robert K.Meyer, and Ross T.Brady, 1982, Relevant Logics and Their Rivals. Part I. The Basic Philosophical and Semantic Theory (Ridgeview Publishing Co.), Atascadero CA.
AlasdairUrquhart, 1972, ‘Semantics for Relevant Logics’, The Journal of Symbolic Logic 37, 159–169.
Alasdair Urquhart, 1973, The Semantics of Entailment, Ph. D. Thesis, University of Pittsburgh, (University Microfilms) Ann Arbor.
Author information
Authors and Affiliations
Additional information
Many thanks go to Nuel Belnap who suggested this research topic, and whose comments and inspiration were most appreciated.
Rights and permissions
About this article
Cite this article
Kremer, P. Relevant predication: Grammatical characterisations. J Philos Logic 18, 349–382 (1989). https://doi.org/10.1007/BF00262941
Issue Date:
DOI: https://doi.org/10.1007/BF00262941