Switch to: References

Citations of:

Distribution in the logic of meaning containment and in quantum mechanics

&
In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 223--255 (2013)

Add citations

You must login to add citations.
  1. Routes to relevance: Philosophies of relevant logics.Shawn Standefer - 2024 - Philosophy Compass 19 (2):e12965.
    Relevant logics are a family of non-classical logics characterized by the behavior of their implication connectives. Unlike some other non-classical logics, such as intuitionistic logic, there are multiple philosophical views motivating relevant logics. Further, different views seem to motivate different logics. In this article, we survey five major views motivating the adoption of relevant logics: Use Criterion, sufficiency, meaning containment, theory construction, and truthmaking. We highlight the philosophical differences as well as the different logics they support. We end with some (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • The use of definitions and their logical representation in paradox derivation.Ross T. Brady - 2017 - Synthese 199 (Suppl 3):527-546.
    We start by noting that the set-theoretic and semantic paradoxes are framed in terms of a definition or series of definitions. In the process of deriving paradoxes, these definitions are logically represented by a logical equivalence. We will firstly examine the role and usage of definitions in the derivation of paradoxes, both set-theoretic and semantic. We will see that this examination is important in determining how the paradoxes were created in the first place and indeed how they are to be (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Simple Consistency of Naive Set Theory using Metavaluations.Ross T. Brady - 2014 - Journal of Philosophical Logic 43 (2-3):261-281.
    The main aim is to extend the range of logics which solve the set-theoretic paradoxes, over and above what was achieved by earlier work in the area. In doing this, the paper also provides a link between metacomplete logics and those that solve the paradoxes, by finally establishing that all M1-metacomplete logics can be used as a basis for naive set theory. In doing so, we manage to reach logics that are very close in their axiomatization to that of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
    Free Semantics is based on normalized natural deduction for the weak relevant logic DW and its near neighbours. This is motivated by the fact that in the determination of validity in truth-functional semantics, natural deduction is normally used. Due to normalization, the logic is decidable and hence the semantics can also be used to construct counter-models for invalid formulae. The logic DW is motivated as an entailment logic just weaker than the logic MC of meaning containment. DW is the logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Variable-Sharing as Relevance.Shawn Standefer - forthcoming - In Igor Sedlár, Shawn Standefer & Andrew Tedder (eds.), New Directions in Relevant Logic.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.
    This paper deals with a collection of concerns that, over a period of time, led the author away from the Routley–Meyer semantics, and towards proof- theoretic approaches to relevant logics, and indeed to the weak relevant logic MC of meaning containment.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations