Why a Logic is not only its Set of Valid Inferences

• Autores: Barrio, Eduardo Alejandro; Pailos, Federico Matias
• Año de publicación: 2021
• Idioma: inglés
• Tipo de recurso: artículo
• Materia: CLASSICAL LOGIC; METAINFERENCES; SUB-STRUCTURAL LOGICS; TRANSITIVITY
• Institución: Consejo Nacional de Investigaciones Científicas y Técnicas

La idea principal que queremos defender en este artículo es que la pregunta acerca de qué es una lógica debería ser abordada de una manera especial cuando entran en juego las propiedades estructurales de la relación de consecuencia. En particular, queremos argumentar que no es suficiente identificar el conjunto de inferencias válidas para caracterizar una lógica. En otras palabras, argumentaremos que dos teorías lógicas pueden identificar el mismo conjunto de inferencias y fórmulas válidas, pero no ser la misma lógica.
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.
Fil: Barrio, Eduardo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina
Fil: Pailos, Federico Matias. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina