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+.
Arieli, O., Avron, A., & Zamansky, A. (2011). Maximal and premaximal paraconsistency in the framework of three-valued semantics. Studia Logica, 97(1), 31–60.
Avron, A. (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57(2–3), 161–184.
Avron, A. (1991). Simple consequence relations. Information and Computation, 92(1), 105–139.
Barrio, E., Rosenblatt, L., & Tajer, D. (2015). The logics of strict-tolerant logic. Journal of Philosophical Logic, 44(5), 551–571.
Barrio, E. A., Pailos, F., & Szmuc, D. (2020). A hierarchy of classical and paraconsistent logics. Journal of Philosophical Logic, 49, 93–120.
Beall, J., & Restall, G. (2006). Logical Pluralism. Oxford: Oxford University Press.
Buss, S.R. (1998). Introduction to proof theory. In Buss, S.R. (Ed.) Handbook of proof theory (pp. 1–78). Amsterdam: Elsevier.
Cobreros, P., Egré, P., Ripley, D., & van Rooij, R. (2012). Tolerant, classical, strict. Journal of Philosophical Logic, 41(2), 347–385.
Cobreros, P., Egré, P., Ripley, D., & van Rooij, R. (2013). Reaching transparent truth. Mind, 122(488), 841–866.
Cobreros, P., Egré, P., Ripley, D., & van Rooij, R. (2015). Vagueness, truth and permissive consequence. In Achouriotti, D., Galinon, H., & Martinez, J. (Eds.) Unifying the philosophy of truth (pp. 409–430): Springer.
Cobreros, P., Tranchini, L., & La Rosa, E. (2020). (I can’t get no) antisatisfaction. Synthese. https://doi.org/10.1007/s11229-020-02570-x.
Dicher, B. (2020). Variations on intra-theoretical logical pluralism: internal versus external consequence. Philosophical Studies, 177, 667–686.
Dicher, B., & Paoli, F. (2019). ST, LP, and tolerant metainferences. In Baskent, C., & Ferguson, T.M. (Eds.) Graham Priest on dialetheism and paraconsistency (pp. 383–407). Outstanding Contributions to Logic, vol 18. Cham: Springer.
French, R. (2016). Structural reflexivity and the paradoxes of self-reference. Ergo, an Open Access Journal of Philosophy, 3(5).
Gentzen, G. (1969). Investigations into logical deduction. In Szabo, M.E. (Ed.) The collected papers of Gerhard Gentzen (pp. 68–131). Amsterdam: North-Holland Publishing Company.
Kouri Kissel, T. (2018). Logical pluralism from a pragmatic perspective. Australasian Journal of Philosophy, 96(3), 578–591.
Kripke, S. (1975). Outline of a theory of truth. The Journal of Philosophy, 72(19), 690–716.
Leitgeb, H. (2007). What theories of truth should be like (but cannot be). Philosophy Compass, 2(2), 276–290.
Mares, E., & Paoli, F. (2014). Logical consequence and the paradoxes. Journal of Philosophical Logic, 43(2-3), 439–469.
Nicolai, C., & Rossi, L. (2016). Principles for object-linguistic consequence: from logical to irreflexive. Journal of Philosophical Logic, 1–29.
Přenosil, A. (2017). Cut elimination, identity elimination, and interpolation in super-Belnap logics. Studia Logica, 105(6), 1255–1289.
Priest, G. (1979). Logic of paradox. Journal of Philosophical Logic, 8, 219–241.
Ripley, D. (2012). Conservatively extending classical logic with transparent truth. The Review of Symbolic Logic, 5(02), 354–378.
Russell, G. (2019). Logical pluralism. In Zalta, E.N. (Ed.) The Stanford Encyclopedia of Philosophy. Metaphysics research lab, Stanford University, summer 2019 edition.
Scambler, C. (2019). Classical logic and the strict tolerant hierarchy. Journal of Philosophical Logic, https://doi.org/10.1007/s10992-019-09520-0.
Teijeiro, P. (2019). Strength and stability. Análisis Filosófico. To appear.
Tye, M. (1994). Sorites paradoxes and the semantics of vagueness. Philosophical Perspectives, 189–206.
We want to give thanks to two anonymous reviewers of JPL for their helpful comments on earlier versions of this paper. Pablo Cobreros gives thanks to the Humboldt Foundation for a fellowship for twelve months of research at the Munich Center for Mathematical Philosophy. Paul Egré and David Ripley thank the Buenos Aires Logic Group for their hospitality in August 2019. Robert van Rooij was funded by the Dutch Research Council (NWO) via grant ‘From Learning to Meaning’, grant-number 406.18.TW.007. Paul Egré thanks the programs ANR-19-CE28-0004-01 (PROBASEM) and ANR-17-EURE-0017 (FRONTCOG) for research carried out at the Department of Cognitive Studies of ENS. We also received financial support with the project ‘Logic and Substructurality’ Grant no (FFI2017-84805-P), Ministry of Science, Innovation and Universities, Government of Spain. Ripley’s research was partially supported by the Australian Research Council via FT190100147 “Substructural logics for bounded resources”.
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Cobreros, P., Egré, P., Ripley, D. et al. Inferences and Metainferences in ST. J Philos Logic 49, 1057–1077 (2020). https://doi.org/10.1007/s10992-020-09560-x