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
Revision history
Archival date: 2016-09-25
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Added to PP index
2016-09-03

Total views
184 ( #15,009 of 39,017 )

Recent downloads (6 months)
43 ( #10,111 of 39,017 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.