Switch to: References

Add citations

You must login to add citations.
  1. An Argument for Minimal Logic.Nils Kürbis - 2019 - Dialectica 73 (1-2):31-63.
    The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis - 2017 - Logique Et Analyse 60 (239):301-316.
    There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against intuitionism (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Logicality, Double-Line Rules, and Modalities.Norbert Gratzl & Eugenio Orlandelli - 2019 - Studia Logica 107 (1):85-107.
    This paper deals with the question of the logicality of modal logics from a proof-theoretic perspective. It is argued that if Dos̆en’s analysis of logical constants as punctuation marks is embraced, it is possible to show that all the modalities in the cube of normal modal logics are indeed logical constants. It will be proved that the display calculus for each displayable modality admits a purely structural presentation based on double-line rules which, following Dos̆en’s analysis, allows us to claim that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • General-Elimination Stability.Bruno Miguel Jacinto & Stephen Louis Read - 2017 - Studia Logica 105 (2):361-405.
    General-elimination harmony articulates Gentzen’s idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the rules as not only harmonious but stable if the E-rules allow one to infer no more and no less than the I-rules justify. Pfenning and Davies call the rules locally complete if the E-rules are strong enough to allow one to infer the original judgement. A method is given (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations