TY - JOUR
T1 - One step is enough
AU - Ripley, David
N1 - Funding Information:
Research partially supported by “Logic and Substructurality”, Grant FFI2017-84805-P, Government of Spain, and by “Substructural logics for bounded resources”, FT190100147, Australian Research Council.
Publisher Copyright:
© 2021, The Author(s), under exclusive licence to Springer Nature B.V.
Copyright:
Copyright 2021 Elsevier B.V., All rights reserved.
PY - 2022
Y1 - 2022
N2 - The recent development and exploration of mixed metainferential logics is a breakthrough in our understanding of nontransitive and nonreflexive logics. Moreover, this exploration poses a new challenge to theorists like me, who have appealed to similarities to classical logic in defending the logic ST, since some mixed metainferential logics seem to bear even more similarities to classical logic than ST does. There is a whole ST-based hierarchy, of which ST itself is only the first step, that seems to become more and more classical at each level. I think this seeming is misleading: for certain purposes, anyhow, metainferential hierarchies give us no reason to move on from ST. ST is indeed only the first step on a grand metainferential adventure; but one step is enough. This paper aims to explain and defend that claim. Along the way, I take the opportunity also to develop some formal tools and results for thinking about metainferential logics more generally.
AB - The recent development and exploration of mixed metainferential logics is a breakthrough in our understanding of nontransitive and nonreflexive logics. Moreover, this exploration poses a new challenge to theorists like me, who have appealed to similarities to classical logic in defending the logic ST, since some mixed metainferential logics seem to bear even more similarities to classical logic than ST does. There is a whole ST-based hierarchy, of which ST itself is only the first step, that seems to become more and more classical at each level. I think this seeming is misleading: for certain purposes, anyhow, metainferential hierarchies give us no reason to move on from ST. ST is indeed only the first step on a grand metainferential adventure; but one step is enough. This paper aims to explain and defend that claim. Along the way, I take the opportunity also to develop some formal tools and results for thinking about metainferential logics more generally.
KW - Metainferences
KW - Nontransitive
KW - Paradox
UR - http://www.scopus.com/inward/record.url?scp=85111512413&partnerID=8YFLogxK
U2 - 10.1007/s10992-021-09615-7
DO - 10.1007/s10992-021-09615-7
M3 - Article
AN - SCOPUS:85111512413
SN - 0022-3611
VL - 51
SP - 1233
EP - 1259
JO - Journal of Philosophical Logic
JF - Journal of Philosophical Logic
IS - 6
ER -