Obedience, closure and philosophical interpretations

PAILOS, FEDERICO MATÍAS; BARRIO, EDUARDO ALEJANDRO; TORANZO CALDERÒN, JOAQUÌN

Nueva York

Mesa redonda; ST and all that: Philosophical Issues; 2020

City University of New York (Logic and Metaphysics Workshop y el Saul Kripke Center)

We explain why traditional closure is unsound for mixed metainferential logics, and provide the right version of closure. ST mixed metainferential logics are all closed under its own validities, once closure is interpreted in the right way. Moreover, we provide a philosophical interpretation for higher level local metainferential validity, in bilateralist terms.