Un estudio de la lógica CG'3
Date
2018-09
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
"Un punto de partida fundamental para ese proyecto, no obstante, y el análisis del desarrollo lógico-formal y conceptual de la ley lógica, conocida por su adagio latino, ex falso sequitur quodlibet, la cual establece que se puede admitir lícitamente cualquier conclusión mediante inconsistencia o contradicción lógica. Esta ley lógica funciona como divisor de aguas y codifica la cláusula fundamental del fenómeno lógico de la trivialización formal. De hecho, es válida en la Lógica Clásica y en la Intuicionista. No es válida, en general en cualquier clase de lógicas paraconsistentes. De su importancia como indicador inicial de posturas lógico-teóricas de carácter paraconsistente; que es una piedra de toque, esa regla es decisiva en la identificación de autores que fueron favorables o desfavorables a un enfoque que hoy puede ser considerado paraconsistente, ya sea en un sentido amplio o en un sentido estricto. El objetivo principal de esta tesis es buscar una semántica de tipo Kripke y una axiomatización tipo Hilbert para la Lógica Paraconsistente CG3".
Description
Keywords
Citation
Collections
Document Viewer
Select a file to preview:
Can't see the file? Try reloading