(I can’t get no) antisatisfaction

Synthese 198 (9):8251-8265 (2020)
  Copy   BIBTEX

Abstract

Substructural approaches to paradoxes have attracted much attention from the philosophical community in the last decade. In this paper we focus on two substructural logics, named ST and TS, along with two structural cousins, LP and K3. It is well known that LP and K3 are duals in the sense that an inference is valid in one logic just in case the contrapositive is valid in the other logic. As a consequence of this duality, theories based on either logic are tightly connected since many of the arguments for and objections against one theory reappear in the other theory in dual form. The target of the paper is making explicit in exactly what way, if any, ST and TS are dual to one another. The connection will allow us to gain a more fine-grained understanding of these logics and of the theories based on them. In particular, we will obtain new insights on two questions concerning ST which are being intensively discussed in the current literature: whether ST preserves classical logic and whether it is LP in sheep’s clothing. Explaining in what way ST and TS are duals requires comparing these logics at a metainferential level. We provide to this end a uniform proof theory to decide on valid metainferences for each of the four logics. This proof procedure allows us to show in a very simple way how different properties of inferences (unsatisfiability, supersatisfiability and antivalidity) that behave in very different ways for each logic can be captured in terms of the validity of a metainference.

Other Versions

No versions found

Similar books and articles

$$\textsf{ST}$$ and $$\textsf{TS}$$ as Product and Sum.Quentin Blomet & Paul Égré - 2024 - Journal of Philosophical Logic 53 (6):1673-1700.
MTV Logics.Roy T. Cook - 2021 - Journal of Philosophical Logic 51 (6):1477-1519.
Inferences and Metainferences in ST.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2020 - Journal of Philosophical Logic 49 (6):1057-1077.
A family of metainferential logics.Federico Matias Pailos - 2019 - Journal of Applied Non-Classical Logics 29 (1):97-120.
What is a Paraconsistent Logic?Damian Szmuc, Federico Pailos & Eduardo Barrio - 2018 - In Walter Carnielli & Jacek Malinowski (eds.), Contradictions, from Consistency to Inconsistency. Cham, Switzerland: Springer.
One Step is Enough.David Ripley - 2021 - Journal of Philosophical Logic 51 (6):1-27.
Empty Logics.Federico Pailos - 2021 - Journal of Philosophical Logic 51 (6):1387-1415.

Analytics

Added to PP
2020-02-19

Downloads
641 (#42,156)

6 months
151 (#28,775)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Elio La Rosa
Ludwig Maximilians Universität, München
Luca Tranchini
Universität Tübingen
Pablo Cobreros
Universidad de Navarra

References found in this work

An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - New York: Cambridge University Press.
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.

View all 25 references / Add more references