Abstract
The aim of this chapter is to apply to some metainferential logics the notions of meta-validity presented in Chapter 2. First, we will explore the global\(_2\) notion (since it is a bit simpler to handle from a technical point of view), and we will show that the pure metainferential logic \(\textbf{ST }\) also recovers classical logic by substructural means, just as the \(\textbf{ST }\)-hierarchy does locally.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Although in this chapter we will focus on Strong Kleene logics, all the results can be easily adapted to their Weak Kleene counterparts.
- 2.
As we mentioned in Chap. 3, here we are assuming that the constant for the intermediate value is not expressible in the language. Otherwise, independently of the chosen notion for metainferential validity, \(\textbf{ST }\) and \(\textbf{CL }\) will not coincide at the inferential level. We are grateful to an anonymous reviewer for making us reflect on this point.
- 3.
Here, as before, we are assuming that this logic determines the higher levels. So, for instance, the metainferences of level 2 are determined by \(\textbf{TS }\textbf{ST }/\textbf{TS }\textbf{ST }\), those of level 3 by \(\textbf{TS }\textbf{ST }\textbf{TS }\textbf{ST }/\textbf{TS }\textbf{ST }\textbf{TS }\textbf{ST }\), and so on.
- 4.
We became aware of the result for \(\mathbf {TS/ST }\) after an email exchange with Chris Scambler, who first discovered it.
References
Blake-Turner, C. (2020). Deationism about logic. Journal of Philosophical Logic, 49(3), 551–571.
Ripley, D. Uncut. Manuscript.
Da RĂ©, B., Szmuc, D., & Teijeiro, P. (2022). Derivability and metainferential validity. Journal of Philosophical Logic, 51(6).
Humberstone, L. (2000). Contra-classical logics. Australasian Journal of Philosophy, 78(4), 438–474.
Teijeiro, P. (2021). Strength and stability. AnĂ¡lisis FilosĂ³fico, 41(2), 337–349.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Pailos, F., Da RĂ©, B. (2023). Hierarchies of Global and Absolutely Global Metainferential Logics. In: Metainferential Logics. Trends in Logic, vol 61. Springer, Cham. https://doi.org/10.1007/978-3-031-44381-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-031-44381-7_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-44380-0
Online ISBN: 978-3-031-44381-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)