Switch to: References

Add citations

You must login to add citations.
  1. Classical Harmony and Separability.Julien Murzi - forthcoming - Erkenntnis:1-25.
    According to logical inferentialists, the meanings of logical expressions are fully determined by the rules for their correct use. Two key proof-theoretic requirements on admissible logical rules, harmony and separability, directly stem from this thesis—requirements, however, that standard single-conclusion and assertion-based formalizations of classical logic provably fail to satisfy :1035–1051, 2011). On the plausible assumption that our logical practice is both single-conclusion and assertion-based, it seemingly follows that classical logic, unlike intuitionistic logic, can’t be accounted for in inferentialist terms. In (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark