Abstract

BARRIO, Eduardo  and  PAILOS, Federico. Por qué una lógica no es solo un conjunto de inferencias válidas. Anal. filos. [online]. 2021, vol.41, n.2, pp.261-272. ISSN 1851-9636.  http://dx.doi.org/10.36446/af.2021.461.

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.

Keywords : Lógicas subestructurales; Transitividad; Lógica clásica; Metainferencias.