¿Una o varias lógicas?
Los sistemas lógicos que difieren de la LC [lógica clásica] pueden agruparse en dos categorías: los llamados sistemas complementarios (o suplementarios) de la LC y los llamados sistemas divergentes (o desviados) de la LC. Se dice que un sistema lógico es complementario de la lógica clásica cuando es...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 1986 |
| País: | Argentina |
| Institución: | Universidad Nacional de La Plata |
| Repositorio: | SEDICI (UNLP) |
| Idioma: | español |
| OAI Identifier: | oai:sedici.unlp.edu.ar:10915/12516 |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/12516 |
| Access Level: | acceso abierto |
| Palabra clave: | Humanidades Filosofía sistemas lógicos lógica clásica lógica |
| Sumario: | Los sistemas lógicos que difieren de la LC [lógica clásica] pueden agruparse en dos categorías: los llamados sistemas complementarios (o suplementarios) de la LC y los llamados sistemas divergentes (o desviados) de la LC. Se dice que un sistema lógico es complementario de la lógica clásica cuando es una extensión conservadora de la misma, es decir cuando el conjunto de las fuf de la LC está propiamente incluído en el conjunto de las fbf del sistema complementario y cuando el conjunto de los teoremas/inferencias válidas de LC está propiamente incluído en el conjunto de teoremas/inferencias válidas del sistema complementario. El cálculo de predicados de la lógica clásica es lUl sistema extendido respecto del cálculo de enunciados; los sistemas modales aléticos, los deónticos, los temporales y más recientemente los sistemas de lógica condicional, intensional y dinámica son ejemplos de lógicas complementarias de la LC. |
|---|