Publicado 2021-11-01
Este trabalho está licenciado sob uma licença Creative Commons Attribution-NonCommercial 4.0 International License.
Resumo
In this paper, I present two presumed alternative definitions of metavalidity for metainferences: Local and Global. I defend the latter, first, by arguing that it is not too weak with respect to metainference-cases, and that local metavalidity is in fact too strong with respect to types. Second, I show that although regarding metainference-schemas Local metavalidity is always stable, Global metavalidity is also stable when the language satisfies reasonable expressibility criteria (and that in fact, both concepts collapse in those cases).
Referências
- Barrio, E., Rosenblatt, L., & Tajer, D. (2015). The logics of strict-tolerant logic. Journal of Philosophical Logic, 44(5), 551-571. https://doi.org/10.1007/s10992-014-9342-6
- Barrio, E., Pailos, F., & Szmuc, D. (2020). Hierarchies of para-consistency and classicality. Journal of Philosophical Logic, 49(1), 93-120. https://doi.org/10.1007/s10992-019-09513-z
- Dicher, B., & Paoli, F. (2018). ST, LP, and tolerant metainferences. In C. Başkent & T. M. Ferguson (Eds.), Graham Priest on dialetheism and paraconsistency (pp. 383-407). Springer. https://doi.org/10.1007/978-3-030-25365-3_18
- Fine, K. (1975). Vagueness, truth and logic. Synthese, 30(3/4), 265-300. http://www.jstor.org/stable/20115033
- Humberstone, L. (1996). Valuational semantics of rule derivability. Journal of Philosophical Logic, 25(5), 451-461.
- Humberstone, L. (2011). The connectives. The MIT Press.
- Jaśkowski, S. (1969). Propositional Calculus for contradictory deductive systems (Communicated at the Meeting of March 19, 1948). Studia Logica: An International Journal for Symbolic Logic, 24, 143-160. http://www.jstor.org/stable/20014534 (Originally published in 1948 in Polish in Studia Scientarium Torunensis, Sec. A 11: 55-77).
- Keefe, R. (2000). Theories of vagueness. Cambridge University Press.
- Ripley, D. (2018). Uncut. Manuscript.