PhilSci Archive

(I Can’t Get No) Antisatisfaction

Cobreros, P and La Rosa, E and Tranchini, L (2020) (I Can’t Get No) Antisatisfaction. [Preprint]

[img]
Preview
Text
icgna.pdf

Download (410kB) | Preview

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.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Cobreros, Ppcobreros@unav.es0000-0001-8239-5373
La Rosa, Elrslei@gmail.com
Tranchini, Lluca.tranchini@gmail.com
Additional Information: to appear in Synthese
Keywords: Substructural logics, non-transitive logics, non-reflexive logics, strong-kleene logics
Subjects: Specific Sciences > Mathematics > Logic
Specific Sciences > Mathematics > Proof
Depositing User: Dr. Pablo Cobreros
Date Deposited: 06 Feb 2020 16:14
Last Modified: 06 Feb 2020 16:14
Item ID: 16891
Subjects: Specific Sciences > Mathematics > Logic
Specific Sciences > Mathematics > Proof
Date: 2020
URI: https://philsci-archive-dev.library.pitt.edu/id/eprint/16891

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item