Metainferential Logics as a solution to some metatheorical problems

PAILOS, FEDERICO MATÍAS

La Paz

Otro; World Logic Day; 2022

Logic & Analytics Group

In this talk, I will introduce the notion of metainferential logic and a family of metainferential logics. I will also sketch some applications of metainferential logics as solutions to semantic paradoxes, as providing a better understanding of the monism-pluralism (and nihilism) debate, as a new way to understand what is a logic, etc. Finally, I will introduce, with some level of detail, how metainferential logics can be used by some non-classical logicians as a way to justify their use of classical logic in the metatheory.Non-classical solutions to semantic paradoxes seems to unavoidably use classical principles that are invalid according to the theory. I will show how, by going classical at a meta-inferential level, non-classical logicians can still be non-classical at the inferential level, while also providing satisfactory non-classical solutions to semantic paradoxes