Results for 'relevance logic'

999 found
Order:
See also
  1.  98
    Relevant Logic: A Philosophical Interpretation.Edwin D. Mares - 2004 - New York: Cambridge University Press.
    This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles and natural language conditionals. The book ends by examining various applications of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   111 citations  
  2. The Relevant Logic E and Some Close Neighbours: A Reinterpretation.Edwin Mares & Shawn Standefer - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):695--730.
    This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven. -/- .
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  70
    Relevance Logic.Michael Dunn & Greg Restall - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers.
    Direct download  
     
    Export citation  
     
    Bookmark   107 citations  
  4.  53
    Relevance Logic.Shay Allen Logan - 2024 - Cambridge University Press.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Relevant logic: a philosophical examination of inference.Stephen Read - 1988 - Oxford: Blackwell.
    The logician's central concern is with the validity of argument. A logical theory ought, therefore, to provide a general criterion of validity. This book sets out to find such a criterion, and to describe the philosophical basis and the formal theory of a logic in which the premises of a valid argument are relevant to its conclusion. The notion of relevance required for this theory is obtained by an analysis of the grounds for asserting a formula in a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   100 citations  
  6.  7
    Relevance Logic.Edwin D. Mares - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 607–627.
    This chapter contains sections titled: Non‐Sequiturs are Bad The Real Use of Premises Implication From Proof Theory to Semantics Adding Conjunction The Problem of Disjunction Routley and Meyer's Ternary Relation Rules for Disjunction The Semantics of Negation Rules for Negation Disjunctive Syllogism Logics Stronger than R Logics Weaker than R Relevant Logics and Natural Language Conditionals Theory of Properties Summary.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  7.  11
    Relevant Logics.Edwin D. Mares & Robert K. Meyer - 2017 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 280–308.
    Once upon a time, modal logic was castigated because it ‘had no semantics.’ Kripke, Hintikka, Kanger, and others changed all that. In a similar way, when Relevant Logic was introduced by Anderson and Belnap, it too was castigated for ‘having no semantics.’ The present overview marks a culmination of that effort. The semantic approach described here brings together a number of hitherto disparate efforts to set out formal systems for logics of relevant implication and entailment. It also makes (...)
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  8.  17
    Relevant logic: a philosophical examination of inference.Stephen Read - 1988 - New York, NY, USA: Blackwell.
  9. Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.
     
    Export citation  
     
    Bookmark   205 citations  
  10.  60
    Relevant logics and their rivals.Richard Sylvan & Ross Brady (eds.) - 1982 - Atascadero, CA: Ridgeview Pub. Co..
    Relevant Logics and their Rivals, Volume II extends the material of the first volume in two ways.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  11. Relevant logic and the theory of information.Edwin Mares - 1996 - Synthese 109 (3):345 - 360.
    This paper provides an interpretation of the Routley-Meyer semantics for a weak negation-free relevant logic using Israel and Perry's theory of information. In particular, Routley and Meyer's ternary accessibility relation is given an interpretation in information-theoretic terms.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  12. Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):301-361.
    This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  13.  28
    Relevance logic as a conservative extension of classical logic.David C. Makinson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems. Series: Outstanding Contributions to Logic. Springer.
    Relevance logic is ordinarily seen as a subsystem of classical logic under the translation that replaces arrows by horseshoes. If, however, we consider the arrow as an additional connective alongside the horseshoe, then another perspective emerges: the theses of relevance logic, specifically the system R, may also be seen as the output of a conservative extension of the relation of classical consequence. We describe two ways in which this may be done. One is by defining (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  33
    Relevance logic.Edwin Mares - 2008 - Stanford Encyclopedia of Philosophy.
  15.  39
    The relevance logic of Boolean groups.Yale Weiss - 2023 - Logic Journal of the IGPL 31 (1):96-114.
    In this article, I consider the positive logic of Boolean groups (i.e. Abelian groups where every non-identity element has order 2), where these are taken as frames for an operational semantics à la Urquhart. I call this logic BG. It is shown that the logic over the smallest nontrivial Boolean group, taken as a frame, is identical to the positive fragment of a quasi-relevance logic that was developed by Robles and Méndez (an extension of this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  68
    Classical relevant logics II.Robert K. Meyer & Richard Routley - 1974 - Studia Logica 33 (2):183 - 194.
  17. Relevant Logic : a Philosophical Examination of Inference.Stephen Read - 1988 - Revue Philosophique de la France Et de l'Etranger 179 (4):656-656.
     
    Export citation  
     
    Bookmark   66 citations  
  18.  93
    Classical relevant logics. I.R. K. Meyer & Richard Routley - 1973 - Studia Logica 32:51.
  19.  10
    Implicational relevance logic is 2-exptime-complete.Sylvain Schmitz - 2016 - Journal of Symbolic Logic 81 (2):641-661.
    We show that provability in the implicational fragment of relevance logic is complete for doubly exponential time, using reductions to and from coverability in branching vector addition systems.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  25
    Non-Boolean classical relevant logics I.Tore Fjetland Øgaard - 2019 - Synthese (8):1-32.
    Relevant 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  21.  41
    Relevance Logic: Problems Open and Closed.Alasdair Urquhart - 2016 - Australasian Journal of Logic 13 (1).
    I discuss a collection of problems in relevance logic. The main problems discussed are: the decidability of the positive semilattice system, decidability of the fragments of R in a restricted number of variables, and the complexity of the decision problem for the implicational fragment of R. Some related problems are discussed along the way.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22. Actual Issues for Relevant Logics.Shawn Standefer - 2020 - Ergo: An Open Access Journal of Philosophy 7.
    In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  26
    Relevant logic as a basis for paraconsistent epistemic logics.Gerson Zaverucha - 1992 - Journal of Applied Non-Classical Logics 2 (2):225-241.
    ABSTRACT In this work we argue for relevant logics as a basis for paraconsistent epistemic logics. In order to do so, a paraconsistent nonmonotonic multi-agent epistemic logic, MDR (for Modal Defeasible Relevant), is briefly introduced. In MDR each agent has two kinds of belief: an absolute belief that P, represented by AiP, and a defeasible belief that P, represented by DiP. Therefore, an agent can reason with his own absolute and defeasible beliefs about the world and also reason about (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. Incompleteness for Quantified Relevance Logics.Kit Fine - 1989 - In J. Norman & R. Sylvan (eds.), Directions in Relevant Logic. Dordrecht and Boston: Springer. pp. 205-225.
    In the early seventies, several logicians developed a semantics for propositional systems of relevance logic. The essential ingredients of this semantics were a privileged point o, an ‘accessibility’ relation R and a special operator * for evaluating negation. Under the truth- conditions of the semantics, each formula A(Pl,…,Pn) could be seen as expressing a first order condition A+(pl,…,pn, o, R,*) on sets p1,…,pn and o, R, *, while each formula-scheme could be regarded as expressing the second-order condition ∀p1,…,∀pn (...)
     
    Export citation  
     
    Bookmark   17 citations  
  25.  35
    A Relevant Logic of Questions.Vít Punčochář - 2020 - Journal of Philosophical Logic 49 (5):905-939.
    This paper introduces the inquisitive extension of R, denoted as InqR, which is a relevant logic of questions based on the logic R as the background logic of declaratives. A semantics for InqR is developed, and it is shown that this semantics is, in a precisely defined sense, dual to Routley-Meyer semantics for R. Moreover, InqR is axiomatized and completeness of the axiomatic system is established. The philosophical interpretation of the duality between Routley-Meyer semantics and the semantics (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  48
    Non-Boolean classical relevant logics II: Classicality through truth-constants.Tore Fjetland Øgaard - 2021 - Synthese (3-4):1-33.
    This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three categories: criteria pertaining to modality, those pertaining to relevance, and those related to expressive strength. The leitmotif of both this paper and its prequel is the relevant legitimacy of disjunctive syllogism. Relevant logics are commonly held to be paraconsistent logics. It is shown in this paper, however, that both E and R can be extended to explosive (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  27. Semantics for Second Order Relevant Logics.Shay Logan - forthcoming - In Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic. Springer.
    Here's the thing: when you look at it from just the right angle, it's entirely obvious how semantics for second-order relevant logics ought to go. Or at least, if you've understood how semantics for first-order relevant logics ought to go, there are perspectives like this. What's more is that from any such angle, the metatheory that needs doing can be summed up in one line: everything is just as in the first-order case, but with more indices. Of course, it's no (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Relevant Logic and the Philosophy of Mathematics.Edwin Mares - 2012 - Philosophy Compass 7 (7):481-494.
    This paper sets out three programmes that attempt to use relevant logic as the basis for a philosophy of mathematics. Although these three programmes do not exhaust the possible approaches to mathematics through relevant logic, they are fairly representative of the current state of the field. The three programmes are compared and their relative strengths and weaknesses set out. At the end of the paper I examine the consequences of adopting each programme for the realist debate about mathematical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Truthmaker Semantics for Relevant Logic.Mark Jago - 2020 - Journal of Philosophical Logic 49 (4):681-702.
    I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  30.  91
    Relevance logic and the calculus of relations.Roger D. Maddux - 2010 - Review of Symbolic Logic 3 (1):41-70.
    Sound and complete semantics for classical propositional logic can be obtained by interpreting sentences as sets. Replacing sets with commuting dense binary relations produces an interpretation that turns out to be sound but not complete for R. Adding transitivity yields sound and complete semantics for RM, because all normal Sugihara matrices are representable as algebras of binary relations.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  31.  35
    Classically complete modal relevant logics.Edwin D. Mares - 1993 - Mathematical Logic Quarterly 39 (1):165-177.
    A variety of modal logics based on the relevant logic R are presented. Models are given for each of these logics and completeness is shown. It is also shown that each of these logics admits Ackermann's rule γ and as a corollary of this it is proved that each logic is a conservative extension of its counterpart based on classical logic, hence we call them “classically complete”. MSC: 03B45, 03B46.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  32. Relevant Logics and Their Rivals, Volume II.Richard Sylvan & Ross Brady - 2005 - Bulletin of Symbolic Logic 11 (1):70-72.
  33.  61
    Relevance logic brings hope to hypothetico-deductivism.C. Kenneth Waters - 1987 - Philosophy of Science 54 (3):453-464.
    Clark Glymour has argued that hypothetico-deductivism, which many take to be an important method of scientific confirmation, is hopeless because it cannot be reconstructed in classical logic. Such reconstructions, as Glymour points out, fail to uphold the condition of relevance between theory and evidence. I argue that the source of the irrelevant confirmations licensed by these reconstructions lies not with hypothetico-deductivism itself, but with the classical logic in which it is typically reconstructed. I present a new reconstruction (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  34. Relevance logics and relation algebras.Katalin Bimbó, J. Michael Dunn & Roger D. Maddux - 2009 - Review of Symbolic Logic 2 (1):102-131.
    Relevance logics are known to be sound and complete for relational semantics with a ternary accessibility relation. This paper investigates the problem of adequacy with respect to special kinds of dynamic semantics (i.e., proper relation algebras and relevant families of relations). We prove several soundness results here. We also prove the completeness of a certain positive fragment of R as well as of the first-degree fragment of relevance logics. These results show that some core ideas are shared between (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Relevant Logics and Their Rivals: Part 1. The Basic Philosophical and Semantical Theory.Richard Routley, Robert K. Meyer, Val Plumwood & Ross T. Brady - 1988 - Studia Logica 47 (2):169-172.
  36.  43
    Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation.José M. Méndez & Gemma Robles - 2007 - Logic and Logical Philosophy 15 (3):175-191.
    The logic B+ is Routley and Meyer’s basic positive logic. We define the logics BK+ and BK'+ by adding to B+ the K rule and to BK+ the characteristic S4 axiom, respectively. These logics are endowed with a relatively strong non-constructive negation. We prove that all the logics defined lack the K axiom and the standard paradoxes of consistency.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  37. Relevant logic, probabilistic information, and conditionals.Edwin Mares - 2006 - Logique Et Analyse 49:399-411.
  38.  15
    Directions in Relevant Logic.J. Norman & R. Sylvan (eds.) - 1989 - Dordrecht and Boston: Springer.
    Relevance logics came of age with the one and only International Conference on relevant logics in 1974. They did not however become accepted, or easy to promulgate. In March 1981 we received most of the typescript of IN MEMORIAM: ALAN ROSS ANDERSON Proceedings of the International Conference of Relevant Logic from the original editors, Kenneth W. Collier, Ann Gasper and Robert G. Wolf of Southern Illinois University. 1 They had, most unfortunately, failed to find a publisher - not, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  39. Relevance Logic and Inferential Knowledge.John A. Barker - 1989 - In J. Norman & R. Sylvan (eds.), Directions in Relevant Logic. Dordrecht and Boston: Springer. pp. 317-326.
     
    Export citation  
     
    Bookmark  
  40. Rich Relevant Logics Based on a Simple Type of Semantics.D. Batens - 1986 - Logique Et Analyse 29 (116):437-457.
     
    Export citation  
     
    Bookmark  
  41. Recent Work in Relevant Logic.Mark Jago - 2013 - Analysis 73 (3):526-541.
    This paper surveys important work done in relevant logic in the past 10 years.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  42.  36
    Structural Completeness in Relevance Logics.J. G. Raftery & K. Świrydowicz - 2016 - Studia Logica 104 (3):381-387.
    It is proved that the relevance logic \ has no structurally complete consistent axiomatic extension, except for classical propositional logic. In fact, no other such extension is even passively structurally complete.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  93
    Intuitionistic Relevant Logic and Perfect Validity.Peter Milne - 1994 - Analysis 54 (3):140 - 142.
  44.  42
    Are relevant logics deviant?Robert G. Wolf - 1978 - Philosophia 7 (2):327-340.
  45.  16
    A Pretabular Classical Relevance Logic.Lisa Galminas & John G. Mersch - 2012 - Studia Logica 100 (6):1211-1221.
    In this paper we construct an extension, ℒ, of Anderson and Belnap's relevance logic R that is classical in the sense that it contains p&p → q as a theorem, and we prove that ℒ is pretabular in the sense that while it does not have a finite characteristic matrix, every proper normal extension of it does. We end the paper by commenting on the possibility of finding other classical relevance logics that are also pretabular.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Relevance Logics, Paradoxes Of Consistency And The K Rule Ii.José Méndez & Gemma Robles - 2006 - Logic and Logical Philosophy 15:175-191.
    The logic B+ is Routley and Meyer’s basic positive logic. Wedefine the logics BK+ and BK′+ by adding to B+ the K rule and to BK+the characteristic S4 axiom, respectively. These logics are endowed witha relatively strong non-constructive negation. We prove that all the logicsdefined lack the K axiom and the standard paradoxes of consistency.
     
    Export citation  
     
    Bookmark   1 citation  
  47.  86
    Whither relevance logic?Arnon Avron - 1992 - Journal of Philosophical Logic 21 (3):243 - 281.
  48.  25
    Neighbourhood Semantics for Quantified Relevant Logics.Andrew Tedder & Nicholas Ferenz - 2022 - Journal of Philosophical Logic 51 (3):457-484.
    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 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  85
    Substructural Fuzzy-Relevance Logic.Eunsuk Yang - 2015 - Notre Dame Journal of Formal Logic 56 (3):471-491.
    This paper proposes a new topic in substructural logic for use in research joining the fields of relevance and fuzzy logics. For this, we consider old and new relevance principles. We first introduce fuzzy systems satisfying an old relevance principle, that is, Dunn’s weak relevance principle. We present ways to obtain relevant companions of the weakening-free uninorm systems introduced by Metcalfe and Montagna and fuzzy companions of the system R of relevant implication and its neighbors. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  56
    Semantics for relevance logic with identity.Edwin D. Mares - 1992 - Studia Logica 51 (1):1 - 20.
    Models are constructed for a variety of systems of quantified relevance logic with identity. Models are given for systems with different principles governing the transitivity of identity and substitution, and the relative merits of these principles are discussed. The models in this paper are all extensions of the semantics of Fine's Semantics for Quantified Relevance Logic (Journal of Philosophical Logic 17 (1988)).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
1 — 50 / 999