An Introduction to Metainferential Logics

PAILOS, FEDERICO MATÍAS

Tubinga

Encuentro; Humboldt Lecture Series; 2021

CENTER FOR INTERDISCIPLINARY AND INTERCULTURAL STUDIES (CIIS) y el Welcome Center (Universidad de Tubinga)

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 philosophicalproblems. In this talk, I will introduce some basic notions to understand how these logics workand show some applications. I will explore one hierarchy of metainferential logics based on thenon-transitive inferential logic ST, that allows to add a transparent truth-predicate to a logicthat recaptures every classical validity of every metainferential level. I will then show how toapply these logics to redefine the debate around whether there is one true logic or not, and endwith an overview of the different recent proof-theories design for these logics.