Switch to: References

Citations of:

Relevant Logics and Their Rivals

Ridgeview. Edited by Richard Sylvan & Ross Brady (1982)

Add citations

You must login to add citations.
  1. Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
    This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical (...)
    Download  
     
    Export citation  
     
    Bookmark   169 citations  
  • Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   198 citations  
  • Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.
    The aim of the present book is to give a comprehensive account of the ‘state of the art’ of substructural logics, focusing both on their proof theory and on their semantics (both algebraic and relational. It is for graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics as well as specialists and researchers.
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Truthmakers, entailment and necessity.Greg Restall - 1996 - Australasian Journal of Philosophy 74 (2):331 – 340.
    Download  
     
    Export citation  
     
    Bookmark   139 citations  
  • HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
    This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and the (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • A Relevant Framework for Barriers to Entailment.Yale Weiss - forthcoming - IfCoLog Journal of Logics and Their Applications.
    In her recent book, Russell (2023) examines various so-called “barriers to entailment,” including Hume’s law, roughly the thesis that an ‘ought’ cannot be derived from an ‘is.’ Hume’s law bears an obvious resemblance to the proscription on fallacies of modality in relevance logic, which has traditionally formally been captured by the so-called Ackermann property. In the context of relevant modal logic, this property might be articulated thus: no conditional whose antecedent is box-free and whose consequent is box-prefixed is valid (for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Subject-matter and intensional operators I: conditional-agnostic analytic implication.Thomas Macaulay Ferguson - 2023 - Philosophical Studies 180 (7):1849-1879.
    Although logical settings are typically concerned with tracking alethic considerations, frameworks exist in which topic-theoretic considerations—e.g., tracking subject-matter or topic—are given equal importance. Intuitions about extending topic through a propositional language are generally straightforward for extensional cases. For a number of reasons, arriving at a compelling account of the subject-matter of intensional operators—such as intensional conditionals—is a more difficult task. In particular, the framework of topic-sensitive intentional modals (TSIMs) championed by Francesco Berto and his collaborators leave the topics of intensional (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Varieties of Relevant S5.Shawn Standefer - 2023 - Logic and Logical Philosophy 32 (1):53–80.
    In classically based modal logic, there are three common conceptions of necessity, the universal conception, the equivalence relation conception, and the axiomatic conception. They provide distinct presentations of the modal logic S5, all of which coincide in the basic modal language. We explore these different conceptions in the context of the relevant logic R, demonstrating where they come apart. This reveals that there are many options for being an S5-ish extension of R. It further reveals a divide between the universal (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
    Inferentialism claims that expressions are meaningful by virtue of rules governing their use. In particular, logical expressions are autonomous if given meaning by their introduction-rules, rules specifying the grounds for assertion of propositions containing them. If the elimination-rules do no more, and no less, than is justified by the introduction-rules, the rules satisfy what Prawitz, following Lorenzen, called an inversion principle. This connection between rules leads to a general form of elimination-rule, and when the rules have this form, they may (...)
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  • The simple argument for subclassical logic.Jc Beall - 2018 - Philosophical Issues 28 (1):30-54.
    This paper presents a simple but, by my lights, effective argument for a subclassical account of logic—an account according to which logical consequence is (properly) weaker than the standard, so‐called classical account. Alas, the vast bulk of the paper is setup. Because of the many conflicting uses of ‘logic’ the paper begins, following a disclaimer on logic and inference, by fixing the sense of ‘logic’ in question, and then proceeds to rehearse both the target subclassical account of logic and its (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
    There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Free of Detachment: Logic, Rationality, and Gluts.Jc Beall - 2013 - Noûs 49 (2):410-423.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • On the Ternary Relation and Conditionality.Jc Beall, Ross T. Brady, J. Michael Dunn, A. P. Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John Slaney & Richard Sylvan - 2012 - Journal of Philosophical Logic 41 (3):595 - 612.
    One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...)
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • Topic Transparency and Variable Sharing in Weak Relevant Logics.Thomas Macaulay Ferguson & Shay Allen Logan - forthcoming - Erkenntnis:1-28.
    In this paper, we examine a number of relevant logics’ variable sharing properties from the perspective of theories of topic or subject-matter. We take cues from Franz Berto’s recent work on topic to show an alignment between families of variable sharing properties and responses to the topic transparency of relevant implication and negation. We then introduce and defend novel variable sharing properties stronger than strong depth relevance—which we call cn-relevance and lossless cn-relevance—showing that the properties are satisfied by the weak (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Logic and the autonomy of ethics.Charles R. Pigden - 1989 - Australasian Journal of Philosophy 67 (2):127 – 151.
    My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • What Is an Inconsistent Truth Table?Zach Weber, Guillermo Badia & Patrick Girard - 2016 - Australasian Journal of Philosophy 94 (3):533-548.
    ABSTRACTDo truth tables—the ordinary sort that we use in teaching and explaining basic propositional logic—require an assumption of consistency for their construction? In this essay we show that truth tables can be built in a consistency-independent paraconsistent setting, without any appeal to classical logic. This is evidence for a more general claim—that when we write down the orthodox semantic clauses for a logic, whatever logic we presuppose in the background will be the logic that appears in the foreground. Rather than (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • (1 other version)One Step is Enough.David Ripley - 2021 - Journal of Philosophical Logic 51 (6):1-27.
    The recent development and exploration of mixed metainferential logics is a breakthrough in our understanding of nontransitive and nonreflexive logics. Moreover, this exploration poses a new challenge to theorists like me, who have appealed to similarities to classical logic in defending the logic ST, since some mixed metainferential logics seem to bear even more similarities to classical logic than ST does. There is a whole ST-based hierarchy, of which ST itself is only the first step, that seems to become more (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Corrupting the youth: a history of philosophy in Australia.James Franklin - 2003 - Sydney, Australia: Macleay Press.
    A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Information flow and relevant logics.Greg Restall - 1996 - In Jerry Seligman & Dag Westerstahl, Logic, Language and Computation. Center for the Study of Language and Inf. pp. 463–477.
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  • An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
    This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Collection Frames for Distributive Substructural Logics.Greg Restall & Shawn Standefer - 2023 - Review of Symbolic Logic 16 (4):1120-1157.
    We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and complete for (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • (1 other version)A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.
    The hallmark of the deductive systems known as ‘conceptivist’ or ‘containment’ logics is that for all theorems of the form , all atomic formulae appearing in also appear in . Significantly, as a consequence, the principle of Addition fails. While often billed as a formalisation of Kantian analytic judgements, once semantics were discovered for these systems, the approach was largely discounted as merely the imposition of a syntactic filter on unrelated systems. In this paper, we examine a number of prima (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • An alternative semantics for quantified relevant logic.Edwin D. Mares & Robert Goldblatt - 2006 - Journal of Symbolic Logic 71 (1):163-187.
    The quantified relevant logic RQ is given a new semantics in which a formula for all xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are modelled as functions from variable-assignments to propositions, where a proposition is a set of worlds in a relevant model structure. A completeness proof is given for a basic quantificational system QR from which RQ is obtained by adding the axiom EC of 'extensional confinement': for all x(A V (...)
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • Assertion, denial and non-classical theories.Greg Restall - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli, Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 81--99.
    In this paper I urge friends of truth-value gaps and truth-value gluts – proponents of paracomplete and paraconsistent logics – to consider theories not merely as sets of sentences, but as pairs of sets of sentences, or what I call ‘bitheories,’ which keep track not only of what holds according to the theory, but also what fails to hold according to the theory. I explain the connection between bitheories, sequents, and the speech acts of assertion and denial. I illustrate the (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • (1 other version)Subject-Matter and Intensional Operators III: State-Sensitive Subject-Matter and Topic Sufficiency.Thomas Macaulay Ferguson - 2024 - Review of Symbolic Logic 17 (4):1070-1096.
    Logical frameworks that are sensitive to features of sentences’ subject-matter—like Berto’s topic-sensitive intentional modals (TSIMs)—demand a maximally faithful model of the topics of sentences. This is an especially difficult task in the case in which topics are assigned to intensional formulae. In two previous papers, a framework was developed whose model of intensional subject-matter could accommodate a wider range of intuitions about particular intensional conditionals. Although resolving a number of counterintuitive features, the work made an implicit assumption that the subject-matter (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Negation as cancellation, and connexive logic.Graham Priest - 1999 - Topoi 18 (2):141-148.
    Of the various accounts of negation that have been offered by logicians in the history of Western logic, that of negation as cancellation is a very distinctive one, quite different from the explosive accounts of modern "classical" and intuitionist logics, and from the accounts offered in standard relevant and paraconsistent logics. Despite its ancient origin, however, a precise understanding of the notion is still wanting. The first half of this paper offers one. Both conceptually and historically, the account of negation (...)
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Ultralogic as Universal?: The Sylvan Jungle - Volume 4.Richard Routley - 2019 - Cham, Switzerland: Springer Verlag.
    Ultralogic as Universal? is a seminal text in non-classcial logic. Richard Routley presents a hugely ambitious program: to use an 'ultramodal' logic as a universal key, which opens, if rightly operated, all locks. It provides a canon for reasoning in every situation, including illogical, inconsistent and paradoxical ones, realized or not, possible or not. A universal logic, Routley argues, enables us to go where no other logic—especially not classical logic—can. Routley provides an expansive and singular vision of how a universal (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Against Classical Paraconsistent Metatheory.Koji Tanaka & Patrick Girard - 2023 - Analysis 83 (2):285-294.
    There was a time when 'logic' just meant classical logic. The climate is slowly changing and non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the properties of non-classical logic is often classical. In this paper, we will argue that this practice of relying on classical metatheories is problematic. In particular, we will show that it is a bad practice because the metatheory that is used to study a non-classical logic often rules out the very logic it (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)One Step is Enough.David Ripley - 2022 - Journal of Philosophical Logic 51 (6):1233-1259.
    The recent development and exploration of mixed metainferential logics is a breakthrough in our understanding of nontransitive and nonreflexive logics. Moreover, this exploration poses a new challenge to theorists like me, who have appealed to similarities to classical logic in defending the logic ST, since some mixed metainferential logics seem to bear even more similarities to classical logic than ST does. There is a whole ST-based hierarchy, of which ST itself is only the first step, that seems to become more (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Paraconsistency: Logic and Applications.Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) - 2012 - Dordrecht, Netherland: Springer.
    A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Boolean negation and all that.Graham Priest - 1990 - Journal of Philosophical Logic 19 (2):201 - 215.
    We have seen that proofs of soundness of (Boolean) DS, EFQ and of ABS — and hence the legitimation of these inferences — can be achieved only be appealing to the very form of reasoning in question. But this by no means implies that we have to fall back on classical reasoning willy-nilly. Many logical theories can provide the relevant boot-strapping. Decision between them has, therefore, to be made on other grounds. The grounds include the many criteria familiar from the (...)
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Implicational paradoxes and the meaning of logical constants.Francesco Paoli - 2007 - Australasian Journal of Philosophy 85 (4):553 – 579.
    I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Connexive Negation.Luis Estrada-González & Ricardo Arturo Nicolás-Francisco - 2023 - Studia Logica 112 (1):511-539.
    Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, not sufficiently explored in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Consistent Theories in Inconsistent Logics.Franci Mangraviti & Andrew Tedder - 2023 - Journal of Philosophical Logic 52 (04):1133-1148.
    The relationship between logics with sets of theorems including contradictions (“inconsistent logics”) and theories closed under such logics is investigated. It is noted that if we take “theories” to be defined in terms of deductive closure understood in a way somewhat different from the standard, Tarskian, one, inconsistent logics can have consistent theories. That is, we can find some sets of formulas the closure of which under some inconsistent logic need not contain any contradictions. We prove this in a general (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Four-valued semantics for relevant logics (and some of their rivals).Greg Restall - 1995 - Journal of Philosophical Logic 24 (2):139 - 160.
    This paper gives an outline of three different approaches to the four-valued semantics for relevant logics (and other non-classical logics in their vicinity). The first approach borrows from the 'Australian Plan' semantics, which uses a unary operator '⋆' for the evaluation of negation. This approach can model anything that the two-valued account can, but at the cost of relying on insights from the Australian Plan. The second approach is natural, well motivated, independent of the Australian Plan, and it provides a (...)
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • Tracking reasons with extensions of relevant logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.
    In relevant logics, necessary truths need not imply each other. In justification logic, necessary truths need not all be justified by the same reason. There is an affinity to these two approaches that suggests their pairing will provide good logics for tracking reasons in a fine-grained way. In this paper, I will show how to extend relevant logics with some of the basic operators of justification logic in order to track justifications or reasons. I will define and study three kinds (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • The politics of reason: Towards a feminist logic.Val Plumwood - 1993 - Australasian Journal of Philosophy 71 (4):436 – 462.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Anything is possible.Ch Mortensen - 1989 - Erkenntnis 30 (3):319 - 337.
    This paper criticises necessitarianism, the thesis that there is at least one necessary truth; and defends possibilism, the thesis that all propositions are contingent, or that anything is possible. The second section maintains that no good conventionalist account of necessity is available, while the third section criticises model theoretic necessitarianism. The fourth section sketches some recent technical work on nonclassical logic, with the aim of weakening necessitarian intuitions and strengthening possibilist intuitions. The fifth section considers several a prioristic attempts at (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Fusion and Confusion.Graham Priest - 2015 - Topoi 34 (1):55-61.
    IntroductionCurry’s paradox is well known.See, e.g., Priest , ch. 6. It comes in both set theoretic and semantic versions. Here we will concentrate on the semantic versions. Historically, these have deployed the notion of truth. Those who wish to endorse an unrestricted T-schema have mainly endorsed a logic which rejects the principle of Absorption, \\models A\rightarrow B\). High profile logics of this kind are certain relevant logics; these have semantics which show how and why this principle is not valid. Of (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • What If? The Exploration of an Idea.Graham Priest - 2017 - Australasian Journal of Logic 14 (1).
    A crucial question here is what, exactly, the conditional in the naive truth/set comprehension principles is. In 'Logic of Paradox', I outlined two options. One is to take it to be the material conditional of the extensional paraconsistent logic LP. Call this "Strategy 1". LP is a relatively weak logic, however. In particular, the material conditional does not detach. The other strategy is to take it to be some detachable conditional. Call this "Strategy 2". The aim of the present essay (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • The Birth of Dialetheism.Elena Ficara - 2021 - History and Philosophy of Logic 42 (3):281-296.
    The aim of this paper is to lay bare the roots of dialetheism in discussions about dialectics and dialectical logic at the time of the first development of paraconsistent logics. In other words, th...
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Paths to Triviality.Tore Fjetland Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
    This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Naive Structure, Contraction and Paradox.Lionel Shapiro - 2015 - Topoi 34 (1):75-87.
    Rejecting structural contraction has been proposed as a strategy for escaping semantic paradoxes. The challenge for its advocates has been to make intuitive sense of how contraction might fail. I offer a way of doing so, based on a “naive” interpretation of the relation between structure and logical vocabulary in a sequent proof system. The naive interpretation of structure motivates the most common way of blaming Curry-style paradoxes on illicit contraction. By contrast, the naive interpretation will not as easily motivate (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • A relevant theory of conditionals.Edwin D. Mares & André Fuhrmann - 1995 - Journal of Philosophical Logic 24 (6):645 - 665.
    In this paper we set out a semantics for relevant (counterfactual) conditionals. We combine the Routley-Meyer semantics for relevant logic with a semantics for conditionals based on selection functions. The resulting models characterize a family of conditional logics free from fallacies of relevance, in particular counternecessities and conditionals with necessary consequents receive a non-trivial treatment.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Contra-classical logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.
    Only propositional logics are at issue here. Such a logic is contra-classical in a superficial sense if it is not a sublogic of classical logic, and in a deeper sense, if there is no way of translating its connectives, the result of which translation gives a sublogic of classical logic. After some motivating examples, we investigate the incidence of contra-classicality (in the deeper sense) in various logical frameworks. In Sections 3 and 4 we will encounter, originally as an example of (...)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • A Note on Contraction-Free Logic for Validity.Colin R. Caret & Zach Weber - 2015 - Topoi 34 (1):63-74.
    This note motivates a logic for a theory that can express its own notion of logical consequence—a ‘syntactically closed’ theory of naive validity. The main issue for such a logic is Curry’s paradox, which is averted by the failure of contraction. The logic features two related, but different, implication connectives. A Hilbert system is proposed that is complete and non-trivial.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Paraconsistent Logic.David Ripley - 2015 - Journal of Philosophical Logic 44 (6):771-780.
    In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that there is considerable open texture to the idea. In Section 2, I’ll give some examples of techniques for (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • What, exactly, is a paradox?W. G. Lycan - 2010 - Analysis 70 (4):615-622.
    (No abstract is available for this citation).
    Download  
     
    Export citation  
     
    Bookmark   19 citations