Anti-exceptionalism and metainferential logics

BARRIO, EDUARDO ALEJANDRO; PAILOS, FEDERICO

Conferencia; Logic Supergroup ? Online Colloquium; 2020

Anti-exceptionalism about logic is the approach that logical theories have no special epistemological status. Logical theories are continuous with scientific theories. Contemporary anti-exceptionalists include as a part of the logical evidence data about semantic paradoxes. The recent development of the metainferential hierarchy of ST logics shows that there are multiple options to deal with such paradoxes. There is a whole 𝖲𝖳-based hierarchy, of which LP and 𝖲𝖳 itself are only the first steps. The logics TS/ST, ?, 𝖲𝖳𝜔 are also options to deal with semantic paradoxes. This talk explores these responses analyzing some 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. Then, if the data are not enough to adopt one of these logics, then we will 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 MP being adopted?