Abstract

BARRIO, Eduardo  and  PAILOS, Federico. Why a Logic is not only its Set of Valid Inferences. Anal. filos. [online]. 2021, vol.41, n.2, pp.261-272. ISSN 1851-9636.  http://dx.doi.org/10.36446/af.2021.461.

The main idea that we want to defend in this paper is that the question of what a logic is should be addressed differently when structural properties enter the game. In particular, we want to support the idea according to which it is not enough to identify the set of valid inferences to characterize a logic. In other words, we will argue that two logical theories could identify the same set of validities (e.g. its logical truths and valid inferences), but not be the same logic.

Keywords : Sub-structural logics; Transitivity; Classical Logic; Metainferences.