Constitutive Role and Revisability of Logic

Abstract

In this work, I consider Moretti’s (2016) proposal according to which logical truths consist of two aspects. On the one hand, logical truths are constitutive of the link between language and world, so it is always necessary some logical system. On the other hand, the truths of a specific logical theory are as revisable as the truths of any other scientific theory, either formal or empirical. I propose that this approach is inevitably related to two questions whose possible answers challenge the possibility of changing or revising a logic. The first question is about the feature which different notions of consequence have in common, and in which sense this feature allows them to display their constitutive role in the language-world relationship. The second question points out to the necessity of precising the criteria which led us to substitute a logic.