Switch to: References

Add citations

You must login to add citations.
  1. Studies in the logic of K -onfirmation.Clayton Peterson - 2019 - Philosophical Studies 176 (2):437-471.
    This research article revisits Hempel’s logic of confirmation in light of recent developments in categorical proof theory. While Hempel advocated several logical conditions in favor of a purely syntactical definition of a general non-quantitative concept of confirmation, we show how these criteria can be associated to specific logical properties of monoidal modal deductive systems. In addition, we show that many problems in confirmation logic, such as the tacked disjunction, the problem of weakening with background knowledge and the problem of irrelevant (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Monoidal logics: completeness and classical systems.Clayton Peterson - 2019 - Journal of Applied Non-Classical Logics 29 (2):121-151.
    ABSTRACTMonoidal logics were introduced as a foundational framework to analyze the proof theory of logical systems. Inspired by Lambek's seminal work in categorical logic, the objective is to defin...
    Download  
     
    Export citation  
     
    Bookmark