Intuitionistic Logic from a Metainferential Perspective
DOI:
https://doi.org/10.12775/LLP.2025.006Keywords
Buenos Aires Plan, metainferential logics, intuitionism, proof-theory, substructuralityAbstract
This paper introduces a metainferential version of intuitionistic logic. I work on the framework proposed by some logicians of Buenos Aires, who defend that a logic should be defined in terms of inferences and metainferences of growing complexity. Three logical systems are presented and proved to be adequate from an intuitionistic point of view
References
Barrio, E. A., and F. Pailos, 2022, “Validities, antivalidities and contingencies: a multi-standard approach”, Journal Philosophical Logic, 51: 75–98, DOI: https://doi.org/10.1007/s10992-021-09610-y
Barrio, E. A., F. Pailos and D. Tajer, 2015, “The logics of strict-tolerant logic”, Journal Philosophical Logic, 44(5): 551–571 DOI: https://doi.org/10.1007/s10992-014-9342-6
Barrio E. A., F. Pailos and D. Szmuc, 2018, “What is a paraconsistent logic?”, in W. Carnielli and J. Malinowski (eds.), Contradictions, from Consistency to Inconsistency, Trends in Logic (Studia Logica Library, vol. 47), Springer. DOI: https://doi.org/10.1007/978-3-319-98797-2_5
Barrio, E. A., F. Pailos and D. Szmuc, 2020, “A hierarchy of classical and paraconsistent logics”, Journal Philosophical Logic, 49: 93–120. DOI: https://doi.org/10.1007/s10992-019-09513-z
Barrio, E. A., F. Pailos, F. and J. Toranzo Calderón, 2021, “Anti-exceptionalism, truth and the BA-plan”, Synthese, 199: 12561–12586. DOI: https://doi.org/s11229-021-03343-w
Cobreros, P., E. La Rosa and L. Tranchini, 2021, “(I can’t get no) antisatisfaction”, Synthese, 198: 8251–8265. DOI: https://doi.org/10.1007/s11229-020-02570-x
Ferguson, T. M., and E. Ramírez-Cámara, 2021, “Deep ST”, Journal Philosophical Logic, 51(6): 1261–1293. DOI: https://doi.org/10.1007/s10992-021-09630-8
Fiore, C., F. Pailos and M. Rubin, 2023, “Inferential constants”, Journal Philosophical Logic, 52(3): 767–796. DOI: https://doi.org/10.1007/s10992-022-09687-z
Gentzen, G., 1969 (1935), “Investigations into logical deduction”, pages 68–131 in M. E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, London: North-Holland Publishing Company.
Kashima, R., 2017, “On second order propositional intuitionistic logics”, pages 181–196 in S. Chin-Mu Yang, K. Y. Lee and H. Ono (eds.), Philosophical Logic: Current Trends in Asia, Springer. DOI: https://doi.org/10.1007/978-981-10-6355-8_9
Martin-Löf, P., 1987, “Truth of a proposition, evidence of a judgement, validity of a proof”, Synthese, 73(3): 407–420.
Pailos, F., 2019, “A family of metainferential logics”, Journal of Applied Non-Classical Logics, 29(1): 97–120. DOI: https://doi.org/10.1080/11663081.2018.1534486
Pailos, F., and B. Da Ré, 2023, Metainferential Logics, Springer. DOI: https://doi.org/10.1080/11663081.2018.1534486
Paoli, F., 2007, “Implicational paradoxes and the meaning of logical constants”, Australasian Journal of Philosophy, 85(4):553–579. DOI: https://doi.org/10.1080/00048400701728574
Posy, C., 2020, Mathematical Intuitionism, Cambridge: Cambridge University Press. DOI: https://doi.org/10.1017/9781108674485
Ripley, D., 2021, “One step is enough”, Journal Philosophical Logic, 51: 1233–1259. DOI: https://doi.org/10.1007/s10992-021-09615-7
Scambler, C., 2020, “Transfinite Meta-Inferences”, Journal Philosophical Logic, 49(6): 1079–1089. DOI: https://doi.org/10.1007/s10992-020-09548-7
Teijeiro, P., 2021, “Strength and Stability”, Análisis Filosófico, 41(2): 337–349. DOI: https://doi.org/10.36446/af.2021.459
Troelstra, A. S. and H. Schwichthenberg, 2000, Basic Proof Theory. Cambridge: Cambridge University Press.
van Dalen, D., 2004, “Kolmogorov and Brouwer on constructive implication and the ex falso rule”, Russian Mathematical Surveys, 59(2): 247–257. DOI: https://doi.org/10-1070/RM2004v059n02ABEH000717
Zdanowski, K., 2009, “On second order intuitionistic propositional logic without a universal quantifier”, Journal of Symbolic Logic, 74(1): 157–167. DOI: https://doi.org/10.2178/jsl/1231082306
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2025 Miguel Álvarez Lisboa
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.
Stats
Number of views and downloads: 843
Number of citations: 0
