Meta-inferential duality

SZMUC, DAMIÁN; PAILOS, FEDERICO MATÍAS; DA RÉ, BRUNO; TEIJEIRO, PAULA

Nueva York

Workshop; Meta-Inferences Workshop; 2019

City University of New York / Saul Kripke Center

At the level of inferences, LP and K3 are dual, and ST and TS are self-dual. But what about metainferences? Is there any sense in which ST and TS are dual at this level? In this talk, we try to answer these questions, in order to take a step forward in a broader explanation of the notion of duality between logics at the level of metainferences. For this purpuse, we will use both a metainferential multiconclusion framework, as work as anti-valid inferences (or sequents).