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

Reason in Philosophy: Animating Ideas.Robert B. Brandom - 2009 - Belknap Press of Harvard University Press.
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
Subject Index.Robert B. Brandom - 2009 - In Reason in Philosophy: Animating Ideas. Harvard University Press. pp. 229-237.
Non-Monotonic Logic.G. Aldo Antonelli - 2008 - Stanford Encyclopedia of Philosophy.

View all 8 references / Add more references

Citations of this work BETA

Choosing Your Nonmonotonic Logic: A Shopper’s Guide.Ulf Hlobil - 2018 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2017. London: College Publications. pp. 109-123.
When Structural Principles Hold Merely Locally.Ulf Hlobil - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 53-67.
Must Good Reasoning Satisfy Cumulative Transitivity?Shyam Nair - 2019 - Philosophy and Phenomenological Research 98 (1):123-146.

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 views
309 ( #21,969 of 2,311,187 )

Recent downloads (6 months)
52 ( #13,622 of 2,311,187 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature