Abstract
In Barrio et al. (Forthcoming) Barrio Pailos and Szmuc prove that there are systems of logic that agree with classical logic up to any finite meta-inferential level, and disagree with it thereafter. This article presents a generalized sense of meta-inference that extends into the transfinite, and proves analogous results to all transfinite orders.
Similar content being viewed by others
References
Barrio, E., Pailos, F., Szmuc, D. (Forthcoming). A hierarchy of classical and paraconsistent logics. Journal of Philosophical Logic.
Scambler, C. (Forthcoming). Classical logic and the strict tolerant hierarchy. Journal of Philosophical Logic.
Acknowledgements
I very grateful to Eduardo Barrio, Federico Pailos, and Damian Szmuc for helpful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Scambler, C. Transfinite Meta-inferences. J Philos Logic 49, 1079–1089 (2020). https://doi.org/10.1007/s10992-020-09548-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-020-09548-7