A Nonmonotonic Sequent Calculus for Inferentialist Expressivists

In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105 (2016)
Download Edit this record How to cite View on PhilPapers
Abstract
I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity fails, but for good reasons. Intuitionism and classical logic can easily be recovered from the system.
PhilPapers/Archive ID
HLOANS
Upload history
Archival date: 2016-09-25
View other versions
Added to PP index
2016-09-03

Total views
329 ( #13,876 of 51,465 )

Recent downloads (6 months)
52 ( #10,445 of 51,465 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.