Lógica paraconsistente (sistemas C_n de da Costa)
Paraconsistent logic (da Costa's C_n systems)
- Fecha
- 1963 · fiabilidad media
- Lugar
- Curitiba, Paraná, Brasil
- Autoría
- Newton da Costa (con Jaśkowski y Asenjo como antecedentes independientes)
- Ámbito
- Saber y símbolos
⚠️ Dato en discusión: las fuentes no coinciden.
Qué se descubrió
Sistemas formales jerárquicos que toleran contradicciones sin que todas las proposiciones se vuelvan verdaderas, con una negación que no cumple el principio de explosión. Da Costa los desarrolló como alternativa a la lógica clásica.
Stanisław Jaśkowski propuso en 1948 una lógica discursiva y Florencio Asenjo (Chile) una lógica antinómica en 1954-1966; da Costa llegó de modo independiente y los llamó 'paraconsistentes' (el término es de Miró Quesada, 1976).
A qué dio paso
- Escuela brasileña de lógica no clásica
- Aplicaciones en inteligencia artificial y bases de datos inconsistentes
- Debate filosófico sobre el dialeteísmo