INVESTIGADORES
PAILOS Federico Matias
congresos y reuniones científicas
Título:
Metainferential Logics
Autor/es:
PAILOS, FEDERICO MATÍAS
Lugar:
Rostock
Reunión:
Encuentro; Network Meeting of the Alexander von Humboldt Foundation; 2021
Institución organizadora:
Universidad de Rostock-Alexander von Humboldt Foundation
Resumen:
Metainferential logics have a consequence relation that is defined for metainferences (of any level), and not directly for inferences, as most logics are. Metainferential logics have proven to be very interesting and fruitful logics. Many of them are kind of mixed logics, and some have very interesting applications. For example, a logic based on a hierarchy of metainferential logics starting with TSST, fully recovers classical logic, and can be safely expanded with a transparent truth predicate. Another logic based on a hierarchy of metainferential logics starting with STTS, is arguably a truly empty logic. The main goal of this project is to develop and extend metainferential logics and its applications, developing proof-theories for them, expanding the hierarchies to transfinite levels, exploring different semantics for them, how these logics redefine the notion of logic, or how it affect the debate about pluralism, monism or nihilism in logic.