Inferences and Metainferences in ST

Cobreros-Bordenave, P. (Pablo); Egré, P. (Paul); Ripley, D. (David); van-Rooij, R. (Robert)

Authors:

Cobreros-Bordenave, P. (Pablo)

Egré, P. (Paul)

Ripley, D. (David)

van-Rooij, R. (Robert)

Keywords:

Strict-tolerant logic
Metainferences
Proof theory
Internal vs external logic
Paradoxes

Issue Date:

2020

Project:

info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016/FFI2017- 84805-P/ES/LOGIC AND SUBSTRUCTURALITY

ISSN:

0022-3611

Editorial note:

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Note:

This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommonshorg/licenses/by/4.0/.

Citation:

Cobreros-Bordenave, P. (Pablo); Egré, P. (Paul); Ripley, D. (David); et al. "Inferences and Metainferences in ST". Journal of Philosophical Logic. 49, 2020, 1057 - 1077

Abstract

In a recent paper, Barrio, Tajer and Rosenblatt establish a correspondence between metainferences holding in the strict-tolerant logic of transparent truth ST+ and inferences holding in the logic of paradox LP+. They argue that LP+ is ST+’s external logic and they question whether ST+’s solution to the semantic paradoxes is fundamentally different from LP+’s. Here we establish that by parity of reasoning, ST+ can be related to LP+’s dual logic K3+. We clarify the distinction between internal and external logic and argue that while ST+’s nonclassicality can be granted, its self-dual character does not tie it to LP+ more closely than to K3+.

URI:

https://hdl.handle.net/10171/66533

DOI:

10.1007/s10992-020-09560-x

Appears in Collections:

DA - FYL- Filosofía - Artículos de revista

Files in This Item: