Switch to: References

Add citations

You must login to add citations.
  1. 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  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Putting the Stars in Their Places.Shay Allen Logan - 2020 - Thought: A Journal of Philosophy 9 (3):188-197.
    This paper presents a new semantics for the weak relevant logic DW that makes the role of the infamous Routley star more explicable. Central to this rewriting is combining aspects of both the American and Australian plan for understanding negations in relevance logics.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Subminimal Negation on the Australian Plan.Selcuk Kaan Tabakci - forthcoming - Journal of Philosophical Logic:1-21.
    Frame semantics for negation on the Australian Plan accommodates many different negations, but it falls short on accommodating subminimal negation when the language contains conjunction and disjunction. In this paper, I will present a multi-relational frame semantics –multi-incompatibility frame semantics– that can accommodate subminimal negation. I will first argue that multi-incompatibility frames are in accordance with the philosophical motivations behind negation on the Australian Plan, namely its modal and exclusion-expressing nature. Then, I will prove the soundness and completeness results of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Shrieking, Shrugging, and the Australian Plan.Hitoshi Omori & Michael De - 2022 - Notre Dame Journal of Formal Logic 63 (2).
    Download  
     
    Export citation  
     
    Bookmark  
  • Update Rules and Semantic Universals.Luca Incurvati & Giorgio Sbardolini - manuscript
    We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible functions of the relevant type, only few appear in the lexicon of natural languages: the connectives in English, for example, are only 'and', 'or', and perhaps 'nor' (expressing negated disjunction). The logically possible 'nand' (negated conjunction) is not expressed by a lexical entry of English, or of any natural language. The explanation we propose is based on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Deep Fried Logic.Shay Allen Logan - 2022 - Erkenntnis 87 (1):257-286.
    There is a natural story about what logic is that sees it as tied up with two operations: a ‘throw things into a bag’ operation and a ‘closure’ operation. In a pair of recent papers, Jc Beall has fleshed out the account of logic this leaves us with in more detail. Using Beall’s exposition as a guide, this paper points out some problems with taking the second operation to be closure in the usual sense. After pointing out these problems, I (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • The Evolution of Denial.Luca Incurvati & Giorgio Sbardolini - forthcoming - British Journal for the Philosophy of Science.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 for a logic (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Naturalización de la Metafísica Modal.Carlos Romero - 2021 - Dissertation, National Autonomous University of Mexico
    ⦿ In my dissertation I introduce, motivate and take the first steps in the realization of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics --- (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • 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 then (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  • On Negation for Non-classical Set Theories.S. Jockwich Martinez & G. Venturi - 2021 - Journal of Philosophical Logic 50 (3):549-570.
    We present a case study for the debate between the American and the Australian plans, analyzing a crucial aspect of negation: expressivity within a theory. We discuss the case of non-classical set theories, presenting three different negations and testing their expressivity within algebra-valued structures for ZF-like set theories. We end by proposing a minimal definitional account of negation, inspired by the algebraic framework discussed.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Another Plan for Negation.Nissim Francez - 2019 - Australasian Journal of Logic 16 (5):159.
    The paper presents a plan for negation, proposing a paradigm shift from the Australian plan for negation, leading to a family of contra-classical logics. The two main ideas are the following: Instead of shifting points of evaluation, shift the evaluated formula. Introduce an incompatibility set for every atomic formula, extended to any compound formula, and impose the condition on valuations that a formula evaluates to true iff all the formulas in its incompatibility set evaluate to false. Thus, atomic sentences are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • What Would a Phenomenology of Logic Look Like?James Kinkaid - 2020 - Mind 129 (516):1009-1031.
    The phenomenological movement begins in the Prolegomena to Husserl’s Logical Investigations as a philosophy of logic. Despite this, remarkably little attention has been paid to Husserl’s arguments in the Prolegomena in the contemporary philosophy of logic. In particular, the literature spawned by Gilbert Harman’s work on the normative status of logic is almost silent on Husserl’s contribution to this topic. I begin by raising a worry for Husserl’s conception of ‘pure logic’ similar to Harman’s challenge to explain the connection between (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Substitution in Relevant Logics.Tore Fjetland Øgaard - 2019 - Review of Symbolic Logic (3):1-26.
    This essay discusses rules and semantic clauses relating to Substitution—Leibniz’s law in the conjunctive-implicational form s=t ∧ A(s) → A(t)—as these are put forward in Priest’s books "In Contradiction" and "An Introduction to Non-Classical Logic: From If to Is." The stated rules and clauses are shown to be too weak in some cases and too strong in others. New ones are presented and shown to be correct. Justification for the various rules are probed and it is argued that Substitution ought (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation