Why a Logic is not only its Set of Valid Inferences
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...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2021 |
| País: | Argentina |
| Institución: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositorio: | CONICET Digital (CONICET) |
| Idioma: | inglés |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/170884 |
| Acceso en línea: | http://hdl.handle.net/11336/170884 |
| Access Level: | acceso abierto |
| Palabra clave: | CLASSICAL LOGIC METAINFERENCES SUB-STRUCTURAL LOGICS TRANSITIVITY https://purl.org/becyt/ford/6.3 https://purl.org/becyt/ford/6 |
| Sumario: | 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. |
|---|