Browsing by Author "Pérez Gaspar, Miguel"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Tesis de doctorado Un estudio de la lógica CG'3(2018-09) Pérez Gaspar, Miguel; PEREZ GASPAR, MIGUEL; 485833; VILLA HERNANDEZ, DAVID; 47670"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".