¿Son posibles las divergencias genuinas en lógica?

Resumen

El presente trabajo evalúa, a la luz de ciertos resultados en lógica paraconsistente, específicamente los sistemas M y N de Bunder, los argumentos esgrimos en Philosophy of Logic de Quine en contra de la posibilidad de una divergencia genuina en lógica. A diferencia de Quine, se muestra que podemos tener una divergencia genuina empleando las conectivas usuales con el mismo significado clásico y sin trivializar la distinción verdad/falsedad. Finalmente se considera la contribución de Lukasiewicz a la interpretación de un conocido y difícil pasaje de los Segundos Analíticos, a saber, A11, 77a 10-22, que versa sobre la posibilidad de construir silogismos válidos (no verdaderos) con premisas contradictorias.