Anti-exceptionalism and Metainferential Logics

BARRIO, EDUARDO ALEJANDRO; PAILOS, FEDERICO MATÍAS

Seminario; Logic Supergroup Seminar; 2020

University of Connecticut

Anti-exceptionalism about logic is the thesis that logical theories have no special epistemological status. Logical theories are continuous with scientific theories. Contemporary anti-exceptionalists include how they deal with semantic paradoxes as part of the logical evidence data. The recent development of the metainferential hierarchy of S-logics shows that there are multiple options to deal with such paradoxes. LP and 𝖲𝖳 itself are only the first steps of this hierarchy. The logics TS/ST, ?, 𝖲𝖳𝜔 are also options to deal with semantic paradoxes. This talk explores the reasons to go beyond the first steps. We show that LP, ST, and the logics of the ST-hierarchy offer different diagnoses for the same evidence. This data is not enough to adopt one of these logics. We will thus have to discuss other elements to evaluate the revision of classical logic. How close should we be to classical logic? Which logic should be used during the revision? Should a logic be closed under its own rules? Could a logic without Modus Ponens be adopted?