Results for 'Diderik Batens'

Order:
  1.  47
    Minimal inconsistency-tolerant logics: a quantitative approach.Christian Strasser & Sanderson Molick - forthcoming - Australasian Journal of Logic.
    In order to reason in a non-trivializing way with contradictions, para- consistent logics reject some classically valid inferences. As a way of re- covering some of these inferences, Graham Priest ([Priest, 1991]) proposed to nonmonotonically strengthen the Logic of Paradox by allowing the se- lection of “less inconsistent” models via a comparison of their respective inconsistent parts. This move recaptures a good portion of classical logic in that it does not block, e.g., disjunctive syllogism, unless it is applied to contradictory (...)
    Download  
     
    Export citation  
     
    Bookmark