What identifies a logic as such? Metainferential logics provides a new answer to this question. Moreover, they are a tool capable of developing new solutions to traditional philosophical problems. In this talk, I will introduce some basic notions to understand how these logics work and show some applications. I will explore one hierarchy of metainferential logics based on the non-transitive inferential logic ST, that allows to add a transparent truth-predicate to a logic that recaptures every classical validity of every metainferential level. I will then show how to apply these logics to redefine the debate around whether there is one true logic or not, and end with an overview of the different recent proof-theories design for these logics.
Federico Pailos is an Independent Researcher in Logic and Philosophy National Scientific and Technical Research Council of Argentina (CONICET), and have a teaching position at the University of Buenos Aires. He works on the philosophy of logic, with a special focus on metainferential and mixed logics as a way to expand the expressive limits of formal languages. He is actually the beneficiary of a Humboldt Fellowship for Experienced Researchers at the Universität Tübingen, where he is working on a book around metainferential logics.