Sobre Lógica

Estuve, leyendo algo sobre la lógica dialéctica, es decir la lógica cuyo parte fundamental es la contradicción y bueno encontre que debo empezar por ciertos apectos generales de la lógica, al mismo tiempo estudiar sus relaciones con la matemática y la filosofía, es en esta tarea en que leyendo a Francisco Miroquesada Cantuarias, encontre al brasileiro Newton Da Costa, un matemático creador de la Lógica Paraconsistente, por lo que empecé a curiosar y encontré, que existe una alternativa a la absoluta lógica clásica, que empezando no mas te pone un regla fundamental, el de no permitir contradicción alguna, siendo mas "formales", ella establece el Principio de no contradicción, y afirma que el surgimiento de una contradicción vuelve al sistema formal del cual es parte incosistente. Aquí comparto con todos algunos datos de este trabajo del Dr. Newton Da Costa, y por siacaso para los lectores pragmáticos que dirán y para que sirve, o vulgarmente "para que es ", o "con que se come", las aplicaciones son de las mas diversas todas hechas en paises eurpoeos, problemas como el del transporte de aviones, permite entender por ejemplo la complicada conjetura de la computación cientifica P vs NP, y otros casos más.

Sobre la lógica paraconsistente
La Lógica Paraconsitente se crea en década de 1980; La lógica clásica, tal como varias otras lógicas, no es apropiada para la manipulación de sistemas de premisas o de teorías que encierran contradicciones (en las cuales sin la proposición y su correspondiente negación son ambas teoremas de la teoría o consecuencias de los sistemas de premisas).

Empero, en las ciencias figuran contradicciones que son difíciles o imposibles de ser eliminadas (lo que ocurre, por ejemplo, en física, donde la teoría general de la relatividad y la mecánica cuántica son completamente incompatibles, en derecho, donde los códigos jurídicos siempre presentan inconsistencias, etc.). Por eso, se tornó imperativa la creación de lógicas que pudiesen “soportar” contradicciones: tal es la esencia de la paraconsistencia.

En general, una lógica paraconsistente no implica que la clásica se halle errada, pero la generaliza. La lógica paraconsistente engloba a la lógica fuzzy y ha encontrado múltiples aplicaciones, tanto teóricas como prácticas. En especial, ella inspiró una nueva filosofía de la ciencia y extendió el campo de la razón.

Newton da Costa