Inferences and Metainferences in ST
Journal of Philosophical Logic 49 (6):1057-1077 (2020)
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+.Author Profiles
DOI
10.1007/s10992-020-09560-x
My notes
Similar books and articles
The Logics of Strict-Tolerant Logic.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2015 - Journal of Philosophical Logic 44 (5):551-571.
A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Journal of Philosophical Logic 49 (1):93-120.
ST, LP and Tolerant Metainferences.Bogdan Dicher & Francesco Paoli - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Springer Verlag. pp. 383-407.
Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
A fully classical truth theory characterized by substructural means.Federico Matías Pailos - 2020 - Review of Symbolic Logic 13 (2):249-268.
(I can’t get no) antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini - 2020 - Synthese 198 (9):8251-8265.
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.
Reaching Transparent Truth.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2013 - Mind 122 (488):841-866.
Classical Logic and the Strict Tolerant Hierarchy.Chris Scambler - 2020 - Journal of Philosophical Logic 49 (2):351-370.
Propositional Logic And Erotetic Inferences.Andrzej Wisniewski - 1985 - Bulletin of the Section of Logic 14 (1):72-76.
The so-called materially valid inferences and the logic of concepts.Ludger Jansen & Niko Strobach - 2003 - In Foundations of The Formal Sciences II. Applications of Mathematical Logic in Philosophy and Linguistics [Trends in Logic]. Kluwer Academic Publishers. pp. 113-118.
Revising Up: Strengthening Classical Logic in the Face of Paradox.David Ripley - 2013 - Philosophers' Imprint 13.
External Validity: Is There Still a Problem?Alexandre Marcellesi - 2015 - Philosophy of Science 82 (5):1308-1317.
Logic in the Light of Cognitive Science.Jan Woleński - 2016 - Studies in Logic, Grammar and Rhetoric 48 (1):87-101.
Analytics
Added to PP
2020-09-03
Downloads
30 (#391,832)
6 months
8 (#105,788)
2020-09-03
Downloads
30 (#391,832)
6 months
8 (#105,788)
Historical graph of downloads
Author Profiles
Citations of this work
The Laws of Thought and the Laws of Truth as Two Sides of One Coin.Ulf Hlobil - 2023 - Journal of Philosophical Logic 52 (1):313-343.
(I can’t get no) antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini - 2020 - Synthese 198 (9):8251-8265.
Validities, antivalidities and contingencies: A multi-standard approach.Eduardo Barrio & Federico Pailos - 2022 - Journal of Philosophical Logic 51 (1):75-98.
Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - forthcoming - Journal of Philosophical Logic: 1 - 26.
A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy.Ulf Hlobil - 2022 - Synthese 200 (5):1-23.
References found in this work
A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Journal of Philosophical Logic 49 (1):93-120.
Logical pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.
Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.