A Nonmonotonic Sequent Calculus for Inferentialist Expressivists

In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105 (2016)
Authors
Ulf Hlobil
Concordia University
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.
Keywords nonmonotonic logic  inferentialism  material consequence  logical expressivism
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Nonmonotonic Inconsistency.Charles B. Cross - 2003 - Artificial Intelligence 149 (2):161-178.
Speech Acts, Categoricity, and the Meanings of Logical Connectives.Ole Thomassen Hjortland - 2014 - Notre Dame Journal of Formal Logic 55 (4):445-467.
Bridges Between Classical and Nonmonotonic Logic.David Makinson - 2003 - Logic Journal of the IGPL 11 (1):69-96.
The Nature of Nonmonotonic Reasoning.Charles G. Morgan - 2000 - Minds and Machines 10 (3):321-360.
Semantics-Based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.
A Gentzen Calculus for Nothing but the Truth.Stefan Wintein & Reinhard Muskens - 2016 - Journal of Philosophical Logic 45 (4):451-465.
2-Sequent Calculus: A Proof Theory of Modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.
Sequent Calculi And Quasivarieties.Katarzyna Palasinska - 2000 - Reports on Mathematical Logic:107-131.

Analytics

Added to PP index
2016-09-03

Total downloads
127 ( #45,480 of 2,260,178 )

Recent downloads (6 months)
40 ( #9,357 of 2,260,178 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature