Switch to: References

Citations of:

Proof-theoretic pluralism

Synthese 198 (Suppl 20):4879-4903 (2019)

Add citations

You must login to add citations.
  1. What Logical Evidence Could not be.Matteo Baggio - 2023 - Philosophia 51 (5):2559–2587.
    By playing a crucial role in settling open issues in the philosophical debate about logical consequence, logical evidence has become the holy grail of inquirers investigating the domain of logic. However, despite its indispensable role in this endeavor, logical evidence has retained an aura of mystery. Indeed, there seems to be a great disharmony in conceiving the correct nature and scope of logical evidence among philosophers. In this paper, I examine four widespread conceptions of logical evidence to argue that all (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Limits of Abductivism About Logic.Ulf Hlobil - 2020 - Philosophy and Phenomenological Research 103 (2):320-340.
    I argue against abductivism about logic, which is the view that rational theory choice in logic happens by abduction. Abduction cannot serve as a neutral arbiter in many foundational disputes in logic because, in order to use abduction, one must first identify the relevant data. Which data one deems relevant depends on what I call one's conception of logic. One's conception of logic is, however, not independent of one's views regarding many of the foundational disputes that one may hope to (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Change of logic, without change of meaning.Hitoshi Omori & Jonas R. B. Arenhart - 2023 - Theoria 89 (4):414-431.
    Change of logic is typically taken as requiring that the meanings of the connectives change too. As a result, it has been argued that legitimate rivalry between logics is under threat. This is, in a nutshell, the meaning‐variance argument, traditionally attributed to Quine. In this paper, we present a semantic framework that allows us to resist the meaning‐variance claim for an important class of systems: classical logic, the logic of paradox and strong Kleene logic. The major feature of the semantics (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations