[1]

[2]

[3]
... la no-verdad tiene que ser reconocida como una
condicin de la vida y la verdad como el tipo de
error sin el cual el hombre no puede vivir
Florencio Gonzlez Asenjo

[I] INTRODUCCIN: DE LA LGICA A LAS LGICAS

La contradiccin puede juzgarse como ncleo duro y fuerza propulsora del
movimiento dialctico [1] Es un tema central en Sofista de Platn (427-347 a.
J.C.), y tambin en el argumento del libro Gama (IV) de la Metafsica de Aristteles
(384/383-322 a. J.C.). La Filosofa se debate sin haber conseguido todava una
respuesta unnime, desde que Aristteles con su mtodo analtico se opuso al
mtodo dialctico de Platn [2] Esta dicotoma de la tradicin filosfica griega
sell el devenir. Los dialcticos siguieron el pensamiento de Platn, y adoptaron el
juego de los opuestos como el fundamento y mtodo de su filosofa. Los analticos
siguieron el pensamiento de Aristteles, y defendieron el anlisis como la nica
forma legtima de hacer ciencia del pensamiento.
En la Edad Media, la discusin pas por Escoto Ergena (ca. 810 ca. 877) y
por Nicols de Cusa (1401-1464), entre los dialcticos; y por Alberto Magno (ca.
1200-1280), por Toms de Aquino (1225-1274), por Buenaventura (1217/12211274), por Duns Escoto (1265-1308) y por Guillermo de Ockam (1280-1346/1349),
entre los analticos.
En el siglo XIX, encontramos a Fichte (1762-1814), a Schelling (1775-1854), a
Hegel (1770-1831), y a Marx (1818-1883), entre los dialcticos; y a Tredelenburg
(1802-1872), a von Hartman (1842-1906) y a Frege (1848-1925), entre los
analticos. Pero [...] tenemos tambin, como no alineados, a los grandes crticos
y opositores del sistema de Hegel que son Schopenhauer [1788-1860],
Kierkegaard [1813-1855] y Nietzsche [1844-1900] [3]
En el siglo XX dominan los pensadores de la razn fragmentada: Heidegger
(1889-1976), Jaspers (1883-1969), Sartre (1905-1980), Wittgenstein (1889-1951) y,
en general, toda la Filosofa Analtica. El sistema, se dice, muri de una vez para
siempre, la unidad de la razn qued residiendo en casos, ahora slo se hacen
subsistemas en los cuales las razones particulares son estudiadas en sus lgicas
internas, todas ellas tambin particulares [4] Pareciera que ya no hay ms
Lgica (en singular y con mayscula), y que apenas hay las lgicas (en plural, y con
minscula). Ya no tenemos razn y sistema, tenemos meros casos y fragmentos. Es
por ello que el estudio de la contradiccin, hoy ms que nunca reviste importancia.
[1] Cirne-Lima, Carlos R. V.; Sobre a contradiao, EDIPUCRS, Porto Alegre, Brasil, 1996, p. 9
[2] Cirne-Lima, Carlos R. V.; Ibd., p. 9.
[3] Cirne-Lima, Carlos R. V.; Ibd., p. 9.

[4]
Para revertir esta tendencia, hubo quien se propuso procurar reestablecer la
unidad de la razn, ya que es preciso reconstruir el gran mosaico del sentido
del mundo, de su Historia y de nuestras vidas, so pena de callarlo todo para
siempre bajo el signo del absurdo [...] en el cual vivimos y que, al final, somos
nosotros mismos [5]
Por eso intentaremos descifrar el problema de la contradiccin.

[II] LA EXPANSIN DE UN NUEVO CAMPO DE CONOCIMIENTO

La historia de la filosofa reciente registra unos cuantos hechos que certifican la
importancia que alcanz la lgica paraconsistente. As es, (aa) en 1997 tuvo lugar
el Primer Congreso Mundial sobre Paraconsistencia [6]; (ab) en 2000 tuvo lugar
el Segundo [7]; y (ac) en 2003 tuvo lugar el Tercero [8]. Cada uno de estos
encuentros concentr un nmero creciente de investigadores interesados en el
llamado fenmeno de la paraconsistencia. Paralelamente, la prestigiosa
Mathematical Reviews, publicacin mensual de la American Mathematical
Society, que de ordinario presentaba reseas de artculos provenientes de las ms
variadas y prestigiosas publicaciones, comienza a indagar lo que hoy debe
entenderse por matemtica, al par que habilitaba una seccin dedicada a la lgica
paraconsistente. A partir del ao 2000, la mencionada seccin pas a formar parte
de un continente ms amplio, el de las lgicas que admiten inconsistencias, en
cuyo seno se reunieron (entre otras) la lgica paraconsistente y la lgica
discursiva.
Cambios de ese tenor son frecuentes en el mbito de las publicaciones
cientficas especializadas. De tanto en tanto, el comit editorial de la Mathematical
Reviews, al igual que su similar alemana, la Zentralblatt fr Mathematik actualiza
las subdivisiones de lo que podra denominarse matemtica de nuestro tiempo,
reordenando temticas, suprimiendo algunos asuntos, o agregando otros que han
sido considerados importantes. Se puntualiza all que lo que es parte de una
disciplina tan dinmica como la matemtica, depende de mltiples factores y
cambia con el transcurrir del tiempo. En efecto, digamos, solamente a ttulo
ejemplificativo, que en el siglo XVII la astrologa era parte constitutiva de la
matemtica, lo que no ocurre en la actualidad. Pero, volviendo al tema del asunto
que nos ocupa, qu representa el hecho de que las lgicas paraconsistentes
figuren en una seccin de la renombrada Mathematical Reviews?, cmo debe
juzgarse la realizacin de los congresos mencionados? Acaso, estos hechos,
medidos en trminos cientficos, no representan un cambio importante?
[4] Cirne-Lima, Carlos R. V.; Ibd., pp. 9 y 10.
[5] Cirne-Lima, Carlos R. V.; Ibd., p. 10
[6] Celebrado en Gent, Blgica.
[7] Celebrado en San Sebastin, San Pablo, Brasil.

[5]
Parece que las lgicas paraconsistentes pasarn a constituir un tpico
oficialmente reconocido de la matemtica actual. Tanto el reconocimiento de la
importancia, cuanto las perspectivas de esta especialidad lgica, se siguen de la
expansin de un campo de conocimiento suficientemente amplio y fecundo que
justifica la celebracin de congresos y la difusin doctrinal precedentemente
mencionados.
Para que pueda comprenderse lo sucedido, es conveniente resear algunas
nociones bsicas preliminares respecto de las lgicas paraconsistentes.

[III] LO HEREDADO Y LO INNOVADO

Fue Aristteles quien estableci la primera sistematizacin (de la cual se tiene
noticia) de la lgica. No obstante, algunas formulaciones posteriores, poco conocidas
hasta cerca del inicio del siglo XX, los principios bsicos de la lgica aristotlica
permaneceran sin alteraciones significativas hasta el siglo XIX. Al respecto, el
filsofo alemn Immanuel Kant (1724-1804) supo decir que, en materia de lgica, no
habra nada ms que agregar a lo expresado por Aristteles. Sin embargo, a partir de
mediados del siglo XIX, algunos matemticos como Boole (1815-1864), como Frege,
y como Peano (1858-1932), realizaran importantes contribuciones para el desarrollo
de la lgica matemtica. As, la lgica se convirti en una disciplina con
caractersticas matemticas, alcanz un desenvolvimiento extraordinario, y se
difundi ampliamente, con las ms variadas repercusiones en casi todos los campos
del saber.
Entre los principios de la lgica clsica de cuo aristotlico, fue proverbial el
principio de no contradiccin, que bien puede ser formulado de varias maneras. Una
de ellas (a), proclama que entre dos proposiciones contradictorias, si una de ellas
comporta la negacin de la otra, la otra debe ser falsa [9] Dicho de otro modo, las
proposiciones contradictorias no pueden ser simultneamente verdaderas: una
proposicin que se formula como una conjuncin de dos proposiciones
contradictorias [10], no puede ser nunca verdadera [(p ^ p)]. Existen, sin
embargo, slidos argumentos destinados a evitar proposiciones contradictorias, y
contradicciones. Tcnicamente, en un sistema deductivo basado en una lgica de
raigambre clsica (o igualmente en la mayora de los sistemas lgicos conocidos
como lgica intuicionista) si hay dos teoremas contradictorios (o si se derivase una
contradiccin), entonces todas las expresiones bien formadas de su lenguaje pueden
ser demostradas. En sntesis, en un sistema as, todo puede probarse. Un sistema de

[8] Celebrado en Toulouse, Francia.

[9] Por ejemplo: dado un cierto nmero natural n, entre la proposicin el nmero n es par, y la
proposicin el nmero n no es par, una de ellas debe ser falsa.
[10] Por ejemplo el nmero n es par y el nmero n no es par.

[6]
esta clase bien puede ser considerado como trivialmente [11] inconsistente, es decir
que en ella es posible deducir cualquier afirmacin: Duns Escoto fue el primero en
expresar esta idea mediante el principio conocido como Ex contradictione quodlibet
(ECQ) o, Ex falsum sequitur quodlibet (EFSQ), que debe entenderse como de lo
absurdo puede derivarse una frmula arbitraria, que conduce a la lgica
intuicionista.
Entre 1910 y 1913, el lgico polaco Lukasiewicz (1878-1956) [12] y el lgico
ruso Vasiliev (1880-1940) llamaran la atencin, cada quien por su lado, sobre el
hecho de que, tal como sucediera con los axiomas de la geometra euclidiana, algunos
principios de la lgica aristotlica, incluyendo el principio de no contradiccin,
podran ser revisados. Como se sabe, el cuestionamiento del llamado quinto
postulado de Euclides (s. IV-III a. de J.C.) [13], el famoso postulado de las paralelas,
mostr su independencia respecto de los dems axiomas de la geometra euclidiana,
pudiendo, en consecuencia, ser sustituido por alguna forma de negacin. Esto dio
origen a la llamadas geometras no- euclidianas, de importancia capital inclusive
en fsica. En el campo de la lgica, Lukasiewicz se ci al anlisis crtico del principio
de no contradiccin, en tanto que Vasiliev [14] lleg a desarrollar una silogstica que
limitaba el uso del referido principio.
Los sistemas de da Costa (1929-) (quien defini las lgicas C, una jerarqua
sistmica con una infinidad de subsistemas) se extenderan mucho ms all del nivel
proposicional. da Costa desarroll clculos proposicionales, clculos de predicados
con y sin igualdad, clculos con descripciones, y teoras de conjuntos. Es
[11] La propiedad de trivializacin se suele presentar de las dos siguientes forma: (a) A, A - B; y
(b) (A ^ A) - B.
[12] Lgico polaco, nacido en Lvov. Sus estudios enfocaron la lgica matemtica, los problemas
filosficos relacionados con ella y la historia de la lgica, en particular la de Aristteles y la de los
estoicos. Para hallar solucin al problema de los futuros contingentes, planteado ya por Aristteles,
propone la posibilidad de lgicas polivalentes y es el primero en desarrollar la lgica trivalente, que
admite, junto a los valores de verdad y falsedad, el de posiblemente. Junto con Tarski (1902-1983),
en 1930 escribe Investigaciones sobre el clculo proposicional, principal obra en la que desarrolla su
concepcin polivalente de la lgica. Cf.. Corts Morat, Jordi y Martnez Riu, Antoni; Diccionario de
filosofa en CD-ROM, Editorial Herder S.A., Barcelona, Espaa, 1996.
[13] Euclides de Alejandra fue un matemtico griego del que apenas se tiene algn conocimiento
biogrfico. Al parecer era ateniense, y probablemente fuera alumno de la Academia. Se le considera
como el gran sistematizador de la matemtica del mundo antiguo, ya que en sus trece libros de los
Elementos expone la geometra como un sistema formal axiomtico-deductivo, que consta de
definiciones, postulados, y teoremas demostrados. El texto ha servido de modelo para todo sistema
axiomtico. A estos trece libros se le aadieron dos ms, escritos por gemetras posteriores. En
realidad, no hay en estos textos adicionales nuevos descubrimientos, ya que la mayor parte de los
teoremas all expuestos son obra de autores anteriores. Su importancia deriva del mtodo axiomtico
utilizado, que representa un modelo de lo que significa el rigor cientfico. La introduccin de cambios
en el quinto postulado de Euclides propici la aparicin de geometras no-euclidianas. Cf. Corts
Morat, Jordi y Martnez Riu, Antoni; Diccionario de filosofa en CD-ROM, Editorial Herder S.A.,
Barcelona, Espaa, 1996.
[14] Fue un discpulo de Lukasiewicz, S. Jaskowski (1906-1965), quien en 1949 construy una lgica
no trivial que podra ser aplicada a sistemas que implican contradicciones. El sistema de Jaskowski,
conocido como lgica discursiva, se limit a enfocar una parte de la lgica tcnicamente denominada
de clculo proposicional, no habindose ocupado de la elaboracin de lgicas paraconsistentes en
sentido fuerte (implicando cuantificacin, por ejemplo). Por su parte, el lgico brasileo Newton C. A.
da Costa, por entonces profesor de la Universidad Federal del Paran, fue quien,
independientemente de Jaskowski, inici, a partir de la dcada del 50, estudios tendientes a
desarrollar sistemas lgicos que contuvieran contradicciones.

[7]
internacionalmente reconocido como el creador de las lgicas paraconsistentes [15],
que han cristalizado formando tradicin en Australia y en Brasil.
Dicho de una manera poco acadmica, una lgica es paraconsistente si puede
fundamentar sistemas deductivos inconsistentes, o sea, sistemas no triviales [16]
que admiten tesis contradictorias en general y, en particular, una contradiccin.
En trminos comparativos: si la lgica clsica concibe que
Si A y si A (la negacin de A) fueran teoremas de un sistema deductivo S
fundado en la lgica clsica, entonces toda frmula B del lenguaje de S, es teorema de
S.
las lgicas paraconsistentes conciben que
En un sistema deductivo S basado en una lgica paraconsistente, puede haber
dos teoremas de la forma A y A, sin que con eso toda frmula del lenguaje S sea
derivada como teorema del sistema.
Como campo de investigacin, la lgica paraconsistente se desarroll
extraordinariamente, habiendo llamado la atencin de un gran nmero de
pensadores en todo el mundo. En Brasil, en gran medida por la influencia de da
Costa, comienza a desarrollarse, con la escuela de la lgica, una lnea de pensamiento
fuerte, cultivada por lgicos de renombre internacional y extendida por casi todo el
pas. En los aos 50, da Costa era el nico lgico brasileo que publicaba en revistas
internacionales. Se estima que actualmente hay, en Brasil, cerca de ciento cincuenta
investigadores activos en las diversas reas de la lgica. En el presente, la lgica
paraconsistente constituye tema obligado de estudio para cualquier estudiante de
lgica, de filosofa o de ciencia de la computacin; debido a las perspectivas que ella
ofrece tambin en fsica, en ingeniera, y en matemtica.
Es importante destacar que sistemas diferentes a los de da Costa, igualmente
abarcativos de inconsistencias, fueron elaborados con posterioridad por
investigadores australianos, belgas, norteamericanos, japoneses, italianos y
brasileos. Algunos cultores de esos sistemas alternativos consideran que la lgica
clsica debera ser sustituida por los sistemas alternativos que ellos proponen. Es el
caso del gran matemtico holands Brouwer (1881-1966), que en el inicio del siglo
XX sostuvo que la matemtica tradicional debera ser reemplazada por la
intuicionista, que l haba desarrollado. No es la opinin de da Costa. Tampoco la de
buena parte de los lgicos brasileos. Para da Costa, la lgica clsica, que califica
como la madre de todas las lgicas, tiene valor permanente en su particular
[15] El trmino paraconsistente, que significa al lado de la consistencia, fue acuado en 1976
por el filsofo peruano Francisco Mir Quesada (1918-), segn se desprende de la correspondencia
que mantuvieron Mir Quesada y da Costa, y conforme la propuesta que formulara en el Tercer
Simposio Latinoamericano sobre Lgica Matemtica, celebrado en el mismo ao.
[16] En el sentido de que no todas las frmulas tenidas como expresiones bien formadas de su
lenguaje, sean teoremas del sistema.

[8]
campo de aplicacin, y no tiene por qu ser reemplazada en l. As, a pesar de ser el
creador de las lgicas paraconsistentes, da Costa no asegura que las lgicas
paraconsistentes sean las nicas verdaderas, sino que su aplicacin est
recomendada en pos del mejor entendimiento de ciertos fenmenos, de su
tratamiento en reas especficas del saber.
En sntesis, para que un sistema constituya una lgica paraconsistente, debera
satisfacer al menos las siguientes condiciones: (a) el principio de no contradiccin no
debe ser vlido, esto es: = (A ^ A); (b) la regla ECQ (Ex contradictione quodlibet)
no debe ser una inferencia vlida, es decir (A ^ A) = B; y (c) las leyes y reglas de la
lgica clsica compatibles con A, A - B y con (A ^ A) - B deben continuar
siendo vlidas [17]
Por ejemplo, las lgicas paraconsistentes se presentan para tener una visin
ms clara del significado de la negacin, bien como para conocer mejor. Por ejemplo,
el estatuto del conjunto de Russell (1872-1970) [18]. Con ellas, podemos entender
mejor la posibilidad de sistematizar de modo riguroso teoras abarcativas de la
nocin de complementariedad [19] o la teora del tomo de Bohr (1885-1962), que
combina sistemas incompatibles, como la mecnica newtoniana, la teora magntica
de Maxwell (1831-1879), y la cuantificacin, bien como para sistematizar sistemas
abarcativos de vaguedad [20] e, igualmente, contradicciones en sentido estricto.

[IV] MLTIPLE APLICABILIDAD DE LAS LGICAS

PARACONSISTENTES
La lgica paraconsistente no se limita a circunscribir sus aplicaciones a
cuestiones meramente tericas o filosficas. Uno de los campos ms frtiles donde ha
florecido, ha sido en la ciencia de la computacin, en la ingeniera y hasta en la
medicina. En inteligencia artificial, por ejemplo, esas lgicas fueron usadas en la
dcada del 80 por V. S. Subrahmanian, de la Universidad de Siracusa, en los Estados
Unidos, en el diseo de sistemas especiales de uso mdico. En ese campo se pueden
imaginar situaciones en las que un paciente puede entrevistarse con un
[17] Palau, Gladys; Introduccin a las lgicas no clsicas, Editorial Gedisa, Buenos Aires,
Argentina, 2003, p.161.
[18] El conjunto de Russell tiene como elementos aquellas colecciones que no pertenecen a s
mismas, como la coleccin de todos los hombres, que por no ser hombres, no pertenece a s misma.
Llamando R a este conjunto, es fcil ver que R pertenece a s propio, si y solamente s no pertenece a
si propio, lo que origina la clebre Paradoja de Russell.
[19] Proposiciones complementarias son aquellas que, si tomadas en conjunto, acarrean una
contradiccin.
[20] Una de las caractersticas del lenguaje ordinario que obstaculiza la comunicacin entre
hablantes. Puede definirse como la imprecisin o indeterminacin en el significado de un trmino.
Los trminos son vagos cuando se refieren a cualidades que las cosas pueden poseer en un grado
indeterminado sin que el contexto permita precisar. As sucede, por ejemplo, con los trminos
comparativos y aquellos que indican cantidad (sin precisarla cuantitativamente), como bastante,
mucho, y apenas, o aquellos cuyas propiedades se aplican a un rea indefinida de objetos, como
contexto, clima sano, y joven. Cf.. Corts Morat, Jordi y Martnez Riu, Antoni; Diccionario
de filosofa en CD-ROM, Editorial Herder S.A., Barcelona, Espaa, 1996.

[9]
computador y, mediante preguntas y respuestas, el computador puede llegar a
diagnosticar, en su caso a distancia, y hasta indicar y llevar adelante la teraputica
asistida sobreviniente: Un experto o grupo de expertos que trabaje con un
programador de software puede crear un programa conducido por dilogo que
imita una consulta entre el usuario y los expertos. La experiencia, las ideas y la
pericia de los mejores mdicos, abogados, especialistas acadmicos y asesores
comerciales del mundo, se vuelven as disponibles para una audiencia mucho ms
amplia [...] Con un sistema de avanzados expertos, podras sentarte y discutir el
problema con Robert Coles, el famoso autor de Harvard y psiclogo de nios, a
cualquier hora del da o de la noche. El software te proporcionara las
recomendaciones de Coles y orientadas hacia tu situacin individual [21]. En la
elaboracin de tales sistemas, que deben ser desarrollados en lenguajes mediante los
cuales se puedan practicar determinadas inferencias (en suma, extraer conclusiones
a partir de ciertas premisas), los cientficos en general entrevistan a varios mdicos
especialistas. Acumulan la informacin convenientemente organizada en gigantescos
bancos de datos modulados y dispuestos en red, que contienen las opiniones
relevadas y la casustica asociada, y a partir de ese banco de datos el sistema extraer
conclusiones valindose de las reglas de la lgica. Empero, debido a la gran
complejidad caracterstica de la ciencia mdica, en los mdicos reside cierto ejercicio
discrecional de la profesin, lo que genera la presencia de opiniones divergentes,
cuando no abiertamente contradictorias, sobre un cuadro clnico incierto. Si, en su
caso, en el banco de datos se almacen informacin que se contradice reflejando
opiniones contrapuestas; cuando el sistema opera con las lgica clsica, puede
seguirse una contradiccin que inviabiliza, tornndolo trivial al sistema como un
todo. Para poder considerar programas que operen bases de datos que contengan
informacin contradictoria, es aconsejable recurrir a la lgica paraconsistente, para
controlar el riesgo de trivializacin emergente. Se puede demostrar que las lgicas
paraconsistentes (en verdad, ciertas teoras de conjuntos que de ellas se originan)
generalizan la teora de conjuntos borrosos [22] (fuzzy sets). Eso trae aparejado otra
variedad de aplicaciones, permitiendo que se construyan mecanismos (paraanalizadores y para-procesadores) que permiten considerar una variedad de
comandos mucho ms abarcantes que los antiguos s y no. Ensayos anlogos de
aplicaciones se han llevado a cabo en materia de control de calidad, robtica, control
de trfico areo, secuenciacin del genoma humano, y ciruga asistida de alta
complejidad. Un ejemplo simple es el siguiente: un robot puede estar equipado con
[21] Burrus, Daniel y Gittines, Roger; Tecnotendencias (traduccin al espaol de Alejandro
Tiscornia), Editorial Atlntida, Buenos Aires, Argentina, 1994, p. 100.
[22] Lgica multievaluada que permite valores intermedios para poder definir evaluaciones
convencionales como s/no, verdadero/falso, negro/blanco, etc. Las nociones como ms bien
caliente o poco fro pueden formularse matemticamente y ser procesados por computadoras. De
esta forma se ha realizado un intento de aplicar una forma ms humana de pensar en la
programacin de computadoras. La lgica borrosa se inici en 1965 por Lotfi A. Zadeh, profesor de
ciencia de computadoras en la Universidad de California en Berkeley.

[10]
varios tipos de sensores que podran generar informaciones contradictorias. Uno de
los ejemplos ms grficos es el del visor ptico con el que podra no detectarse una
pared de vidrio, diciendo puedo pasar, en tanto un sonar la detectara, diciendo
no puedo pasar. Un robot clsico dotado con ambos sensores, frente a una
contradiccin semejante, tendr dificultades obvias que podran ser fcilmente
superadas con el concurso de las lgicas paraconsistentes.
Varios otros asuntos relacionados con las lgicas paraconsistentes podran ser
mencionados todava. Entre ellos, la aplicacin a la ciencia del Derecho de las lgicas
paraconsistentes denticas [23]. En las lgicas denticas, nociones como
obligatorio y permitido pueden ser tratadas formalmente, y esos operadores
pueden ser interpretados como obligatoriedad o permisividad ante la ley, o en
conformidad con algn sistema tico. El reciente desenvolvimiento de lgicas
cunticas paraconsistentes, el anlisis de cuestiones que contemplan creencia y
aceptabilidad, entre otros, constituyen ejemplos importantes de uso de esas lgicas.
Importa mencionar tambin que han sido desarrolladas las bases de una
matemtica paraconsistente. Tales estudios se hallan encuadrados en el campo de
la matemtica pura. El tema es promisorio y con seguridad alcanzar relevancia en el
medio cientfico, en la medida en que se vayan encontrando nuevas aplicaciones.

[V] UNA LGICA DISTINTA DE LA (LGICA) CLSICA

Si deseramos entender el significado y la naturaleza de la lgica, tendramos
que apoyarnos en el argumento que proclama que la lgica de hoy en da, comporta
una disciplina de la misma naturaleza que la matemtica. Efectivamente, los
resultados alcanzados en este campo nada le deben a ninguna rama de la matemtica
o de las ciencias empricas, ni respecto de su profundidad, ni respecto del alcance de
sus resultados. As es. Basta recordar los teoremas de incompletud de Gdel (19061978) [24], los resultados de la teora de la recursin, los de la teora de los modelos
o los de los fundamentos de la teora de los conjuntos, aunque no podamos detallar
aqu tales desarrollos. Empero, valindonos de esta analoga podemos examinar la
[23] Es la lgica que trata de enunciados denticos que, o son normas o son enunciados sobre
normas. Antiguamente identificada con la lgica de las normas, se tiende ahora a diferenciar la
lgica dentica (de enunciados descriptivos sobre normas) de la lgica de las normas (enunciados
prescriptivos, que son normas). Se construye con los operadores denticos es obligatorio (O) y
est permitido (P), que se aaden a enunciados construidos segn la lgica de enunciados, aunque
con reglas propias de inferencia. Su estructura refleja la de la lgica modal, siendo en realidad una
rama de la misma. El cuadro de oposiciones revela la semejanza y paralelismo de estas lgicas. Sus
orgenes se remontan a los razonamientos prcticos de Aristteles y los mejores estudios de lgica
dentica se deben, en la poca moderna, al lgico finlands Georg Henrik von Wright (1916-2003).
[24] Matemtico y lgico americano, nacido en Brnn, ciudad cercana a Viena. Estudi matemtica
en Viena, donde fue profesor desde 1933 a 1938, y donde entabl contactos con el Crculo de Viena.
En 1938 se march a EE.UU. Sus estudios sobre lgica y metamatemtica (filosofa de las
matemticas en lenguaje matemtico) han sido los de mayor importancia del siglo XX. A partir de
1943 se dedic tambin a otros temas filosficos, preferentemente cosmolgicos. Entre sus aportes a
la lgica matemtica se destaca, como el ms conocido, el teorema que lleva su nombre, llamado
tambin teorema de la incompletud, que afirma la existencia de proposiciones indecidibles en un
sistema formal de la aritmtica. Cf.. Corts Morat, Jordi y Martnez Riu, Antoni; Diccionario de
filosofa en CD-ROM, Editorial Herder S.A., Barcelona, Espaa, 1996.

[11]
lgica de la misma manera que de ordinario se procede con la matemtica:
dividindola, artificialmente, como en la matemtica, en (a) lgica pura, y (b) lgica
aplicada.
La (a) lgica pura puede ser desarrollada in abstracto, independientemente de
cualquier aplicacin, As, se estudian ciertos tipos de estructuras abstractas, tales
como los lenguajes formales o las mquinas de Turing (1912-1954) [25], que
fundamentan el concepto que habitualmente solemos tener acerca de qu es la
computacin, entre las cuales estn los propios sistemas lgicos, como la lgica
paraconsistente o la lgica intuicionista. Se puede, por lo tanto, estudiar la lgica
desde un punto de vista puro. A su vez, la (b) lgica aplicada, tiene un doble
sentido: primero (ba), se puede aplicar un determinado sistema lgico en cierto
campo del saber, apuntando a ciertos propsitos. Este fue el rumbo de las
aplicaciones de la lgica paraconsistente que hemos reseado sucintamente. Un
segundo sentido (bb) sera el del desarrollo de algn sistema lgico para dar cuenta
de alguna situacin para la cual la lgica clsica presentara limitaciones. La lgica
cuntica [26] , por ejemplo, tal como originariamente fuera sugerida por von
Neumann (1903-1957), es un referente en tal sentido. Es discutible si la mecnica
cuntica [27], o cualquier otro sistema conceptual conocido realmente, carece de
una lgica distinta de la clsica, pero es cierto que su uso presenta ventajas en

[25] Matemtico ingls, nacido en Londres. Sus estudios sobre lgica matemtica lo colocan a la
altura de las grandes renovadores en esta materia. Su estudio ms importante en este respecto es
Sobre nmeros computables, aparecido en 1937, con el que responde a la cuestin planteada por
Hilbert acerca de si existe un algoritmo capaz de determinar si un enunciado es decidible computable- en un sistema dado. Su respuesta a la cuestin, igualmente negativa como la formulada
un poco antes e independientemente por Alonzo Church, es conocida como tesis de Church-Turing y
al procedimiento ideal construido por Turing para demostrarla, mquina de Turing; algoritmo
pasa a significar lo mismo que computable, y mquina de Turing lo mismo que procedimiento
algortmico. Interesado por los computadores electrnicos desde el momento de su aparicin,
construye -con otros cientficos- durante la Segunda Guerra Mundial el Colossus, computador
destinado a descifrar cdigos secretos, y trabaja luego en computadores en la Universidad de
Manchester y en el National Physical Laboratory, donde construye su Automatic Computing Engine
(ACE). En 1950 publica Puede pensar una mquina? Los estudios lgico-matemticos de Turing
representan el fundamento terico de la ciencia de los computadores. Cf.. Corts Morat, Jordi y
Martnez Riu, Antoni; Diccionario de filosofa en CD-ROM, Editorial Herder S.A., Barcelona, Espaa,
1996.
[26] El trmino lgica cuntica hace referencia al conjunto de operaciones lgicas necesarias para
entender las anomalas relativas a la medida de cantidades cunticas que surgen al estudiar la fsica
en escalas atmicas y en particular las propiedades obtenidas por la composicin de medidas sobre
variables complementarias. El concepto de lgica cuntica fue propuesto originalmente por Garrett
Birkhoff y John von Neumann, en 1936. Por otro lado las aplicaciones en ciencias de la informacin
de la lgica cuntica permiten explorar la posibilidad futura de construir ordenadores basados en
estos principios, regidos por una lgica cuntica en lugar de la lgica booleana. La posibilidad de
desarrollar importantes aplicaciones cunticas en computacin fue puesta de manifiesto a principios
de los 80 en trabajos de Richard Feynman y Benioff iniciando el campo de la computacin cuntica.
[27] La mecnica cuntica, tambin conocida como fsica cuntica, es la parte de la fsica que estudia
el movimiento de las partculas muy pequeas, el comportamiento de la materia a escala muy
pequea. El concepto de partcula muy pequea atiende al tamao en el cual comienzan a notarse
efectos como la imposibilidad de conocer con exactitud arbitraria y simultneamente la posicin y el
momento de una partcula. A tales efectos suele denominrseles efectos cunticos. As, la mecnica
cuntica es la que rige el movimiento de sistemas en los cuales los efectos cunticos sean relevantes.

[12]
algunas situaciones como por ejemplo en los casos que implican el concepto de
complementariedad en el sentido de Bohr.
Lo que importa en una distincin como la delineada es que muestra que no se
sustenta la concepcin que los impulsores de las lgicas no clsicas quieren mostrar:
que la lgica clsica est errada, y que por ende debe ser sustituida. La lgica clsica
constituye un inmejorable campo de estudio. Permanece vlida en su dominio
particular de aplicaciones... y no precisa, por lo menos mientras tanto, ser sustituida
por cualquier otro sistema.

[VI] CONCLUSIN: NO HAY UNA (SOLA) LGICA (QUE SEA)

VERDADERA
En sntesis, no hay una (sola) lgica (que sea) verdadera. Distintos sistemas
lgicos pueden ser tiles en el abordaje de diferentes aspectos de los tantos campos
del conocimiento: Actualmente hay que aceptar una forma de pluralismo lgico,
en el cual varios sistemas (igualmente incompatibles entre ellos) pueden convivir,
cada uno prestndose al esclarecimiento o fundamentacin de un determinado
concepto o rea del saber sin que eso nos presente un problema, porque [...] al
final, la metalgica que rige todo eso es paraconsistente [28]

[VII] BIBLIOGRAFA
[1] Bobenrieth, Andrs; Tolerancia lgica hacia las inconsistencias asumiendo que el
mundo no es ni consistente ni inconsistente, versin on line:
http://www.pucp.edu.pe/eventos/congresos/filosofia/programa_general/martes/sesion910.30/BobenriethAndres.pdf
[2] Burrus, Daniel y Gittines, Roger; Tecnotendencias (traduccin al espaol de Alejandro
Tiscornia), Editorial Atlntida, Buenos Aires, Argentina, 1994.
[3] Cirne-Lima, Carlos R. V.; Sobre a contradiao, EDIPUCRS, Porto Alegre, Brasil, 1996.
[4] Corts Morat, Jordi y Martnez Riu, Antoni; Diccionario de filosofa en CD-ROM,
Editorial Herder S.A., Barcelona, Espaa, 1996.
[5] Krause, Dcio; A lgica paraconsistente, versin on line:
http://www.cfh.ufsc.br/~nel/paraconsistente.html
[6] Ojeda Aciego, Manuel; Lgica, Matemtica, Deduccin Automtica, versin on line:
http://sevein.matap.uma.es/~aciego/TR/gaceta.pdf
[7] Omodeo, Eugenio G.; Brevissimi cenni di storia della logica, versin online:
http://www.univ.trieste.it/~eomodeo/Informatica0405/cenniStorici.pdf
[8] Palau, Gladys; Introduccin a las lgicas no clsicas, Editorial Gedisa, Buenos Aires,
Argentina. 2003.
[9] Pea, Lorenzo; Introduccin a las lgicas no-clsicas, versin on line:
http://www.ifs.csic.es/sorites/lp/books/inlonocl.pdf
[28] Krause, Dcio; La lgica paraconsistente, Universidad Federal de Santa Catarina, Repblica
Federativa del Brasil, mayo de 2004, versin on line www.cfh.ufsc.br/~dkrause.