A Review of the Notion of Coherence from the Perspective of Logic defined as a Sequence of Notions of Consequence
Published 2024-05-07
Keywords
- Coherencia,
- Lógicas metainferenciales,
- Recursividad,
- Uniformidad
- Coherence,
- Metainferential Logics,
- Recursion,
- Uniformity
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
Abstract
In the context of offering alternative logics that deal non-trivially with semantic paradoxes while overcoming the objection of incoherence usually raised against them, the BA-Plan proposes a definition of logic in the sense of an infinite sequence of notions of consequence that specifies validity standards for the inferential level and for the meta-inferential ones. The present work argues that if the convenience of this definition of logic is admitted, it is possible to disentangle the notion of coherence between validity standards from the notion of uniformity between validity standards.
References
- Barrio, E., Da Ré, B., Pailos, F., & Toranzo Calderón, J. (2022). Metainferences in three-valued logics. Manuscrito.
- Barrio, E., Fiore, C., & Pailos, F. (2022). Metalogic and metainferences: Is the adoption of a non-classical logic incoherent? Manuscrito.
- Barrio, E., & Pailos, F. (2021). Why a logic is not only its set of valid inferences. Análisis Filosófico, 41(2), 261-272. https://doi.org/10.36446/af.2021.461
- Barrio, E., Pailos, F., & Szmuc, D. (2020). A hierarchy of classical and paraconsistent logics. Journal of Philosophical Logic, 49(1), 93-120. https://doi.org/10.1007/s10992-019-09513-z.
- Barrio, E., Pailos, F., & Toranzo Calderón, J. (2021). Anti-exceptionalism, truth and the BA-plan. Synthese, 199, 12561-12586. https://doi.org/10.1007/s11229-021-03343-w
- Barrio, E., Rosenblatt, L., & Tajer, D. (2015). The logics of strict-tolerant logic. Journal of Philosophical Logic, 44, 551–571 (2015). https://doi.org/10.1007/s10992-014-9342-6
- Burgess, J. (2014). No requirement of relevance. In S. Shapiro (Ed.), The Oxford handbook of philosophy of mathematics and logic (pp. 727-750). Oxford University Press.
- Da Ré, B., Rubin, M., & Teijeiro, P. (2022). Metainferential paraconsistency. Logic and Logical Philosophy, 31(2): 235-260. https://doi.org/10.12775/LLP.2022.008
- Hjortland, O. T. (2021). Theories of truth and the maxim of minimal mutilation. Synthese, 199 (Suppl 3), 787-818. https://doi.org/10.1007/s11229-017-1612-8
- Pailos, F. (2020). A fully classical truth theory characterized by substructural means. The Review of Symbolic Logic, 13(2), 249-268. https://doi.org/10.1017/S1755020318000485
- Rosenblatt, L. (2022). Should the non-classical logician be embarrassed? Philosophy & Phenomenological Research, 104(2), 388-407. https://doi.org/10.1111/phpr.12770
- Tajer, D. (2020). LFIs and methods of classical recapture. Logic Journal of the IGPL, 28(5), 807-816. https://doi.org/10.1093/jigpal/jzy060
- Williamson, T. (2018). Alternative logics and applied mathematics. Philosophical Issues, 28, 399- 424. https://doi.org/10.1111/phis.12131