Switch to: References

Add citations

You must login to add citations.
  1. A Reinterpretation of the Semilattice Semantics with Applications.Yale Weiss - 2021 - Logica Universalis 15 (2):171-191.
    In the early 1970s, Alasdair Urquhart proposed a semilattice semantics for relevance logic which he provided with an influential informational interpretation. In this article, I propose a BHK-inspired reinterpretation of the semantics which is related to Kit Fine’s truthmaker semantics. I discuss and compare Urquhart’s and Fine’s semantics and show how simple modifications of Urquhart’s semantics can be used to characterize both full propositional intuitionistic logic and Jankov’s logic. I then present (quasi-)relevant companions for both of these systems. Finally, I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Relevant propositional dynamic logic.Andrew Tedder & Marta Bilková - 2022 - Synthese 200 (3):1-42.
    Relevant propositional dynamic logics have been sporadically discussed in the broader context of modal relevant logics, but have not come up for sustained investigation until recently. In this paper, we develop a philosophical motivation for these systems, and present some new results suggested by the proposed motivation. Among these, we’ll show how to adapt some recent work to show that the extensions of relevant logics by the extensional truth constants \ are complete with respect to a natural class of ternary (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Grounding Principles for (Relevant) Implication.Francesca Poggiolesi - 2020 - Synthese 198 (8):7351-7376.
    Most of the logics of grounding that have so far been proposed contain grounding axioms, or grounding rules, for the connectives of conjunction, disjunction and negation, but little attention has been dedicated to the implication connective. The present paper aims at repairing this situation by proposing adequate grounding principles for relevant implication. Because of the interaction between negation and implication, new grounding principles concerning negation will also arise.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Proof Systems for Exact Entailment.Johannes Korbmacher - forthcoming - Review of Symbolic Logic:1-37.
    We present a series of proof systems for exact entailment (i.e. relevant truthmaker preservation from premises to conclusion) and prove soundness and completeness. Using the proof systems, we observe that exact entailment is not only hyperintensional in the sense of Cresswell but also in the sense recently proposed by Odintsov and Wansing.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Laws of Thought and the Laws of Truth as Two Sides of One Coin.Ulf Hlobil - forthcoming - Journal of Philosophical Logic:1-31.
    Some think that logic concerns the "laws of truth"; others that logic concerns the "laws of thought." This paper presents a way to reconcile both views by building a bridge between truth-maker theory, à la Fine, and normative bilateralism, à la Restall and Ripley. The paper suggests a novel way of understanding consequence in truth-maker theory and shows that this allows us to identify a common structure shared by truth-maker theory and normative bilateralism. We can thus transfer ideas from normative (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Conjunctive Paraconsistency.Franca D’Agostini - 2021 - Synthese 199 (3-4):6845-6874.
    This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • No Normative Free Lunch: Relevance and the Autonomy of the Normative Domain.Singa Behrens - 2021 - Synthese 199 (5-6):13163-13186.
    The autonomy thesis is the claim that one cannot get a normative statement from purely descriptive statements. But despite its intuitive appeal a precise formulation of the thesis has remained elusive. In a recent paper, Maguire makes the promising suggestion that the thesis should be understood in terms of ground. But Maguire’s formulation, I argue, is based on controversial taxonomic assumptions that make the autonomy thesis into a non-substantive claim. I develop an alternative ground-based formulation of the autonomy thesis that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Disjunctive Parts.Mark Jago - forthcoming - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Outstanding Contributions to Logic: Kit Fine. Springer.
    Fine (2017a) sets out a theory of content based on truthmaker semantics which distinguishes two kinds of consequence between contents. There is entailment, corresponding to the relationship between disjunct and disjunction, and there is containment, corresponding to the relationship between conjunctions and their conjuncts. Fine associates these with two notions of parthood: disjunctive and conjunctive. Conjunctive parthood is a very useful notion, allowing us to analyse partial content and partial truth. In this chapter, I extend the notion of disjunctive parthood (...)
    Download  
     
    Export citation  
     
    Bookmark