1

[I] INTRODUCCIN: DE LA LGICA A LAS LGICAS

La contradiccin puede considerarse ncleo duro y fuerza propulsora del
movimiento dialctico [01] Constituye un tema central en el Sofista de Platn (427-347 a.
J.C.), y en el libro Gama de la Metafsica de Aristteles (384/383-322 a. J.C.). La filosofa se
bifurc desde que Aristteles con su mtodo analtico se opuso al mtodo dialctico de
Platn [02]. Sendas trayectorias de la tradicin filosfica griega sellaron el devenir. Los
dialcticos siguieron el pensamiento de Platn, y adoptaron el juego de los opuestos como
fundamento de su filosofa. Los analticos siguieron el pensamiento de Aristteles, y
defendieron el anlisis como la nica forma legtima de ejercer ciencia del pensamiento
En la Edad Media, la discusin pas por Escoto Ergena (ca. 810ca. 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/1221-1274), 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, tambin
encontramos, entre los no alineados, ... a los grandes crticos y opositores del sistema de
Hegel que son Schopenhauer [1788-1860], Kierkegaard [1813-1855] y Nietzsche [1844-
1900] [03]
En el siglo XX dominan los pensadores de la razn fragmentada: Heidegger (1889-
1976), Jaspers (1883-1969), Sartre (1905-1980), y Wittgenstein (1889-1951): El sistema ...
muri de una vez para siempre, la unidad de la razn qued residiendo en casos, ... slo se
formulan subsistemas en los cuales las razones particulares son estudiadas en sus lgicas
internas, todas ellas tambin particulares [04] Pareciera que ya no hay ms (una sola)
Lgica (en singular y con mayscula), y que apenas hay las lgicas (en plural, y con

[01] Cirne-Lima, Carlos R. V.; Sobre a contradiao, EDIPUCRS, Porto Alegre, Brasil, 1996, p. 9
[02] Cirne-Lima, Carlos R. V.; Ibd., p. 9.
[03] Cirne-Lima, Carlos R. V.; Ibd., p. 9.
[04] Cirne-Lima, Carlos R. V.; Ibd., pp. 9 y 10.
 2

minscula). Ya no tenemos razn y sistema, tenemos meros casos y fragmentos. Para revertir
esta tendencia, se pens 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 ... [05]
En nuestro medio, Florencio Gonzlez Asenjo supo decir que procede que asumamos
que los asuntos atmicos tengan uno o dos valores de verdad. As, los asuntos, atmicos o
moleculares, sern verdaderos, falsos, o verdaderos y falsos. Denomin a esos asuntos
antinomias verdaderas y falsas, y proclam que su propsito inmediato consista en
ampliar el clculo proposicional clsico, para incluir operaciones con antinomias [06]

[II] ACERCA DE LA NO-CONTRADICCIN [(p ^ p)]

Hay una ley del pensamiento tradicional que establece que una cosa no puede ser
ella misma y su contrario, en el mismo aspecto y en el mismo momento. Su formulacin
lgica expresa que es imposible que un enunciado sea a la vez verdadero y falso [07]
Afirma que hay un principio cierto por excelencia ... : es imposible que el mismo atributo
pertenezca y no pertenezca al mismo sujeto, en un tiempo mismo y bajo la misma relacin
... [08]
Sin embargo, ciertos filsofos ... pretenden que una misma cosa pueda ser y no ser,
y que se pueden concebir simultneamente los contrarios ... [09] Pero ... no es posible
que una misma cosa sea y no sea a un mismo tiempo ... y ... se puede refutar al que lo
niegue ... Pero si se quiere demostrar ... que las proposiciones opuestas son igualmente
verdaderas ..., ser preciso tomar un objeto que sea idntico a s propio, en cuanto puede
ser y no ser el mismo en uno solo y mismo momento, ... y ... , sin embargo, ... no sea
idntico Adems ... es preciso ... que cada una de las palabras sea conocida, que exprese
una cosa, no muchas, sino una sola .... Y es menester reconocer que, ... en cuanto al que
dice que tal cosa es y no es, niega lo mismo que afirma, y por consiguiente afirma que la
palabra no significa lo que significa. Pero ... es imposible ... que la negacin de la misma
cosa sea verdadera. Si la palabra designa la existencia de un objeto, y esta existencia es una
realidad, necesariamente es una realidad; pero lo que existe necesariamente no puede al
mismo tiempo no existir. Es, por tanto, imposible que las afirmaciones opuestas sean
verdaderas al mismo tiempo respecto del mismo ser [10]

[05] Cirne-Lima, Carlos R. V.; Ibd., p. 10

[06] Gonzlez Asenjo, Florencio; A calculus of antinomies, Notre Dame Journal of formal logic,
volume VII, number 1, january 1966, p. 103, versin on line:
http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.ndjfl/1093958482
[07] Corts Morat, Jordi y Martnez Riu, Antoni; Diccionario de filosofa en CD-ROM, Editorial
Herder S.A., Barcelona, Espaa, 1996.
[08] Aristteles, Metafsica, IV, 3, Espasa Calpe, Madrid, Espaa, 1988, p. 108.
[09] Aristteles, Metafsica, IV, 4, 1006, Ibd., p. 109.
[10] Aristteles, Metafsica, XI, 5, Ibd., pp. 279 y 280.
 3

[III] ACERCA DE LA CONTRADICCIN: (p ^ p)

La contradictio, locucin latina que significa accin de contradecir, objecin, que

traduce el griego antphasis, es afirmacin y negacin opuesta, y de aqu tambin
antipathiks, contradictorio. Se trata de un gnero de oposicin que existe entre
afirmaciones incompatibles o inconsistentes. Aristteles, en Categoras 11,b; en
Interpretacin 17,b; y en Metafsica IV,10, distingui cuatro tipos de oposiciones: (a) entre
cosas correlativas (doble y mitad), (b) entre contrarios (malo y bueno), (c) entre la privacin
y la posesin (salud y enfermedad), y (d) entre la afirmacin y la negacin, que son las dos
posibilidades de todo enunciado.
La contradiccin se da entre dos enunciados, uno de los cuales es la negacin
respectiva del otro. El objetivo de las discusiones dialcticas entre los griegos consista en
lograr el reconocimiento de la verdad de una proposicin contradictoria a la inicialmente
propuesta por un interlocutor, consiguiendo la aceptacin lgica de la tesis opuesta.
La lgica procura impedir que se produzca la verdad de un enunciado y la de su
contradictorio simultneamente. Para ello, se vale del principio del tercero excluido (p v p)
o del principio de no contradiccin [ (p ^ p)]. La oposicin lgica entre enunciados
contradictorios exige que, si un enunciado es verdadero, el otro sea falso... y a la recproca.
Una aplicacin caracterstica de esto se observa entre la afirmacin (o en su caso- la
negacin) de un enunciado de tipo universal y su negacin particular. As, la contradiccin
existente entre el enunciado todos los hombres son libres y el enunciado algn hombre
no es libre, exige que de la verdad del segundo se deduzca la falsedad del primero, o bien
que el segundo sea la refutacin del primero. Por la misma razn, cualquier enunciado
equivale a la negacin de su contradictorio. As, algn hombre no es libre equivale a no
es cierto que todos los hombres sean libres.
El objetivo fundamental del estudio de la lgica consiste en saber evitar afirmaciones
contradictorias en la construccin de razonamientos. Por imperio de la aplicacin de la regla
EASQ, un argumento que contenga premisas contradictorias es siempre formalmente
vlido, porque nunca sucede (ni podra suceder) que sus premisas fueran verdaderas y la
conclusin falsa. Pero esto representa un gran inconveniente: permite inferir cualquier tipo
de conclusin.
A lo largo de la historia del pensamiento, la contradiccin se aplic tanto en el mbito
de la metafsica como en el de la ontologa. Parmnides de Elea (s. V a. J.C.), entre los
presocrticos, fue el primero en proponer la comprensin de la totalidad bajo el principio de
no contradiccin: decir que es necesario que lo que no es, exista de algn modo es
imposible, porque es contradictorio. Platn inici la tarea de compaginar la fuerza lgica del
principio de no contradiccin con la evidencia del cambio en la naturaleza: el no ser
tambin es de alguna manera [11] Aristteles entroniz, por un lado, la validez universal
de este principio aplicado a todos los seres, es imposible que una cosa sea y no sea, de

[11] Platn, Dilogos, Volumen V: Sofista 240, Biblioteca Bsica Gredos, Barcelona, Espaa, 2000,
p. 389.
 4

modo que no hay otro principio ms cierto que ste, pero, por otro lado, sostiene que ser
se dice de muchas maneras. La solidez del principio, en sus vertientes lgica y ontolgica, es
innegable y, an con los matices necesarios, ha permanecido inconmovible en el tiempo
como fundamento de la racionalidad humana, con excepcin de los sistemas dialcticos.
Herclito de feso (ca. 550ca. 480 a. J.C.), que explica el cambio como tensin de
contrarios, es el iniciador de esta manera de pensar. Nicols de Cusa (en La docta
ignorancia) utiliza la nocin de coincidencia de opuestos para describir la naturaleza
divina infinita y an la naturaleza del hombre como representacin finita suya. En la
dialctica, tanto del idealismo de Fichte y de Hegel como del materialismo dialctico de
Marx, la contradiccin vendr a ocupar un puesto lgico y ontolgico fundamental. No slo
es un momento dialctico de la razn, sino que es tambin un momento de la dialctica de la
realidad, es decir como estadio del desarrollo del espritu o (segn Marx) como motor de la
historia. Desde una perspectiva opuesta, Karl Popper (1902-1994) advierte sobre el peligro
histrico y filosfico que entraa desestimar el principio de no contradiccin.

[IV] LA EXPANSIN DE UN NUEVO CAMPO DE CONOCIMIENTO

La historia de la filosofa reciente registra unos cuantos hechos que certifican la importancia
que alcanzaron las lgicas no-clsicas. As es, (aa) en 1997 tuvo lugar (en Gent, Blgica) el
Primer Congreso Mundial sobre Paraconsistencia; (ab) en 2000 tuvo lugar (en San
Sebastin, San Pablo, Brasil) el Segundo; y (ac) en 2003 tuvo lugar (en Toulouse, Francia) el
Tercero. Cada uno de estos encuentros concentr un nmero creciente de investigadores.
Paralelamente, la prestigiosa Mathematical Reviews, publicacin mensual de la American
Mathematical Society, que comnmente presentaba reseas de artculos provenientes de las
ms variadas y prestigiosas publicaciones, comienza a indagar qu es lo que hoy debe
entenderse por matemtica, al par que habilita 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 la taxonoma de la
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. Pero, 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?
Parece que las lgicas no-clsicas pasaron a constituir un tpico oficialmente
reconocido de la matemtica actual. Tanto el reconocimiento de la importancia, cuanto las
 5

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 sobreviniente.

[V] LO HEREDADO Y LO INNOVADO

Fue Aristteles quien estableci la primera sistematizacin de la lgica. No obstante
algunas formulaciones posteriores (poco conocidas hasta los inicios del siglo XX), los
principios bsicos de la lgica aristotlica permaneceran sin alteraciones significativas hasta
el siglo XIX. Kant (1724-1804) supo decir que, en materia de lgica, no habra nada ms que
agregar a lo ya 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 al 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.
Tal como se dijo precedentemente, 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 [12] Dicho de otro modo,
las proposiciones contradictorias no pueden ser simultneamente verdaderas: una
proposicin que se formula como una conjuncin de dos proposiciones contradictorias [13],
no puede ser nunca verdadera [(p ^ p)]. Existen, sin embargo, importantes razones como
para evitar no slo la presencia de proposiciones contradictorias en los argumentos, sino de
contradicciones tambin. Tcnicamente, si en un sistema deductivo basado en una lgica de
raigambre clsica hay dos teoremas contradictorios (o si se derivase como conclusin una
contradiccin), todas las expresiones bien formadas de su lenguaje podran ser demostradas.
En un sistema as, todo podra (y puede) probarse. Un sistema de esta clase bien puede ser
considerado como trivialmente [14] inconsistente, es decir que en ese sistema 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 (EASQ), que conduce a la lgica intuicionista.
Entre 1910 y 1913, el lgico polaco Lukasiewicz (1878-1956) [15] y el lgico ruso
Vasiliev (1880-1940) llamaran la atencin, cada quien por su lado, sobre el hecho de que, tal

[12] 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.
[13] Por ejemplo el nmero n es par y el nmero n no es par.
[14] La propiedad de trivializacin se suele presentar de las dos siguientes forma: (a) A, A - B; y (b)
(A ^ A) - B.
[15] Sus estudios enfocaron la lgica matemtica, los problemas filosficos relacionados con ella y la
historia de la lgica. Para solucionar el problema de los futuros contingentes propuso la posibilidad de
lgicas polivalentes y fue el primero en desarrollar la lgica trivalente. Junto con Tarski (1902-1983),
 6

como sucediera con los axiomas de la geometra euclidiana, algunos principios de la lgica
aristotlica, incluyendo al 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.) [16],
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. En el campo de la lgica, Lukasiewicz se ci al anlisis crtico del
principio de no contradiccin, en tanto que Vasiliev [17] 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. Fue (y es) reconocido como el
creador de las lgicas paraconsistentes [18], 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 [19] 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 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.

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.
[16] Se lo 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. El texto ha servido de modelo para todo sistema
axiomtico. La importancia que adquiri Euclides de Alejandra deriva del mtodo axiomtico
utilizado, que representa un modelo de lo que significa el rigor cientfico. Cf. Corts Morat, Jordi y
Martnez Riu, Antoni; Diccionario de filosofa en CD-ROM,Ibd..
[17] Fue un discpulo de Lukasiewicz, S. Jaskowski (1906-1965), quien en 1949 construy una lgica
no trivial que podra ser aplicada a sistemas que contemplan contradicciones. El sistema de Jaskowski,
conocido como lgica discursiva, se limit a enfocar una parte de la lgica denominada de clculo
proposicional. 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.
[18] 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 (a) de la correspondencia
que mantuvieron Mir Quesada y da Costa, y (b) la propuesta que formulara en el Tercer Simposio
Latinoamericano sobre Lgica Matemtica, celebrado en el mismo ao.
[19] En el sentido de que no todas las frmulas tenidas como expresiones bien formadas de su
lenguaje, sean teoremas del sistema.
 7

Como campo de investigacin, la lgica paraconsistente se desarroll intensamente,

habiendo llamado la atencin de gran nmero de pensadores en todo el mundo. En Brasil (en
gran medida por la influencia de da Costa) comienza a desarrollarse una lnea de
pensamiento fuerte, cultivada por lgicos de renombre internacional y extendida por casi
todo el pas.
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. Es el caso del gran matemtico holands Brouwer (1881-1966), quien,
a comienzos 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. Para da Costa, la
lgica clsica (que califica como la madre de todas las lgicas) tiene valor permanente en
su campo de aplicacin, y no tiene por qu ser reemplazada. As, a pesar de ser el creador de
las lgicas paraconsistentes, da Costa no asegura que ellas sean las nicas verdaderas, sino
que su aplicacin est indicada 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 [20]

[VI] 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, fue usada [21] 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 computador y, mediante preguntas y respuestas, el computador puede llegar a
diagnosticar, en su caso a distancia, y hasta indicar y llevar adelante la terapia asistida
correspondiente: un experto que trabaje con un programador de software puede crear un
programa que emule una consulta entre mdico y paciente. La experiencia, las ideas y la
pericia de los mejores mdicos, abogados, y especialistas se ponen a disposicin de una
audiencia mucho ms amplia. Con un sistema de avanzados expertos, el mdico tratante
podra discutir el problema con cualquier experto de renombre, a cualquier hora del da. El
software proporcionara las recomendaciones orientadas hacia tantsimas situaciones de la

[20] Palau, Gladys; Introduccin a las lgicas no clsicas, Editorial Gedisa, Buenos Aires, Argentina,
2003, p.161.
 8

medicina individual o colectiva [22] En la elaboracin de tales sistemas, que deben ser
desarrollados en lenguajes mediante los cuales se puedan extraer conclusiones (inferencias) 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 extrae conclusiones valindose de las
reglas de la lgica. Empero, debido a la gran complejidad caracterstica de la ciencia mdica,
en la decisin de 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 impreciso. Si en el banco de datos se almacen informacin que se
contradijera reflejando opiniones contrapuestas y, adems, el sistema opera con la lgica
clsica, puede producirse una contradiccin que determina la trivialidad del 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 [23] (fuzzy sets). Eso trae aparejado otra variedad de
aplicaciones, permitiendo que se construyan mecanismos 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.
Varios otros asuntos relacionados con las lgicas paraconsistentes podran ser
mencionados. Entre ellos, la aplicacin a la ciencia del Derecho de las lgicas
paraconsistentes denticas [24]. 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

[21] Por V. S. Subrahmanian, de la Universidad de Siracusa, en los Estados Unidos, en la dcada del
80.
[22] Burrus, Daniel y Gittines, Roger; Tecnotendencias (traduccin al espaol de Alejandro
Tiscornia), Editorial Atlntida, Buenos Aires, Argentina, 1994, p. 100.
[23] Lgica multivalente que permite obtener valores intermedios para poder redefinir evaluaciones
convencionales como s/no, como verdadero/falso, o como blanco/negro. Las nociones como ms
bien caliente o poco fro pueden formularse matemticamente y ser procesadas por computadora.
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 en la
Universidad de California.
[24] 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 (de
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. Los mejores estudios de lgica dentica de la poca moderna se
deben al finlands Georg Henrik von Wright (1916-2003).
 9

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.

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

La debilidad de la negacin de las lgicas paraconsistentes y la admisibilidad de
contradicciones ha permitido emplear la lgica paraconsistente, en particular la de da Costa,
en el campo de la psicologa, especficamente en el anlisis de la teora freudiana sobre el
inconsciente. Uno de los primeros sistemas de lgica paraconsistente surgi en 1954, cuando
F. G. Asenjo [25], public un artculo titulado La verdad, la antinomicidad y los procesos
mentales, que constituye uno de los primeros esbozos de sus estudios iniciados en La Plata y
finalizados en Washington. El sistema de F. G. Asenjo es conocido como lgica antinmica
trivalente [26] (LA). Da cuenta de proposiciones antinmicas, es decir, de contradicciones.
El tercer valor de verdad, adems del verdadero (V) y del falso (F), es interpretado como
verdadero y falso (V & F). Las matrices (que coinciden plenamente con las matrices del
sistema LP propuesto con posterioridad por Priest, y que involucran los mismos resultados)
correspondientes son las siguientes:

G. Asenjo establece una correlacin entre antinomicidad y procesos mentales.

Parafraseando a Freud (1856-1939), sostiene que (a) las ideas ms contradictorias pueden
coexistir y tolerarse mutuamente; que (b) impulsos contrarios existen en la vida mental sin

[25] ... sostiene que 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 Cf. Palau, Gladys; Introduccin a
las lgicas no clsicas, Ibd., p. 182.
 10

cancelarse ni disminuir; y que (c) la negacin no es una lnea divisoria que separa
tajantemente opuestos contradictorios. Es precisamente a estos efectos que propone el tercer
valor (V & F), a pesar de que, en lugar de desarrollar formalmente el sistema
correspondiente, se extiende en un anlisis de la antinomicidad de la vida mental y hasta
esboza una clasificacin tipolgica de las antinomias mentales [27]
G. Asenjo ha investigado las trayectorias de la ontologa formal, es decir sobre el
aspecto de la ontologa general que estudia las ideas primitivas (categoras), mediante las
cuales aprehendemos conceptualmente la realidad. Tales ideas primitivas, en cuanto que
suponen actos de pensamiento, poseen necesariamente un lado notico y un lado noemtico.
Notico representa el factor inteligente de la experiencia que nos permite interrogar con
sentido a la realidad. Noemtico participa en la constitucin de las objetividades de la
conciencia; son autnticas presencias de lo real tal como es aprehendido por cada nesis
categorial ordenadora: ... las categoras ... no slo son las puertas y ventanas conceptuales
de la conciencia, sino tambin aspectos de la realidad misma que por ella asoma o irrumpe
[la conciencia] ... En esta lnea de pensamiento ... ninguna adquisicin de la sabidura
humana se anula por un nuevo logro; lejos de ello cada nueva ontologa supone
necesariamente las anteriores, de cuyas limitaciones es deudora [28] La ontologa formal
es ontologa porque proviene y se dirige hacia lo real. Es, adems formal, por cuanto es
aplicable. Pero supone la perfectibilidad del ser. Admite que el mundo que puede describir
slo posee una regin indefinida en comn con el mundo existente, cuya delimitacin
progresiva dentro de esquemas ms amplios constituye el tema de los venideros. No es la
apariencia de los entes lo que cuenta, sino el esfuerzo por aprehenderlos en su ser con la
mayor justeza.

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

VERDADERA
Qu lgica elegir -dice F. G. Asenjo- de las innumerables que ... nos ofrecen con
igualdad de validez ...? El principio del tercero excluido ha dado lugar ... a una ramificacin
de la lgica y de la matemtica. Hay lgicas que admiten otros valores adems de la
verdad y la falsedad. Hay lgicas de clases, lgicas de relaciones, lgicas combinatorias,
lgicas algebraicas abstractas, lgicas probabilsticas, lgicas de lenguajes formalizados,
etc. En virtud de ... ello, el ... concepto de verdad posee hoy un carcter ... ms convencional
... Lejos ... de estar constituida por leyes necesarias e indubitables, la lgica posee un
carcter fundamentalmente contingente... Nos enfrentamos con un repertorio de lgicas a
nuestra disposicin. Una ... es la lgica aristotlica, por ninguna razn sistemtica ... ms
verdadera que las dems ... Con esto est comprometida la nocin de ontologa formal?

[26] Los sistemas lgicos con ms de dos valores se denominan sistemas lgicos multivalentes o
lgicas multivalentes; as, trivalente se denomina al sistema lgico o a la lgica que opera con tres
valores.
[27] Palau, Gladys; Introduccin a las lgicas no clsicas, Ibd., p. 182.
 11

S; la existencia de un objeto genrico y el valor de verdad de la significacin

correspondiente estn limitados a la teora lgica dentro de la cual hemos derivado una
proposicin, eventualmente falsa en otro sistema. El ser de los objetos genricos deja su
apariencia absoluta y necesaria y se convierte en el ser dentro de determinada teora y [en
el] no-ser dentro de otra ... [29]
En cambio una teora que a toda informacin que afirma agrega tambin la
negacin de esta informacin -dice Popper- no suministra ninguna informacin en
absoluto. Una teora que contiene una contradiccin es, por consiguiente, totalmente intil
como teora [30]
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 [31]

[IX] BIBLIOGRAFA

[01] Cirne-Lima, Carlos R. V.; Sobre a contradiao, EDIPUCRS, Porto Alegre, Brasil, 1996.
[02] Gonzlez Asenjo, Florencio; A calculus of antinomies, Notre Dame Journal of formal logic,
Volume VII, Number 1, January 1966, versin on line:
http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.ndjfl/1093958482
[03] Gonzlez Asenjo; Florencio; Antinomicity and the axiom of choice, Logic and Logical
Philosophy, Volume 4 (1996), 5395; versin on line:
http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.ndjfl/1093958482
[04] Gonzlez Asenjo, Florencio; El todo y las partes-Estudios de ontologa formal, Editorial
Tecnos, Madrid, Espaa, 1962.
[05] Jacquette, Dale ; A companion to philosophical logic, Blackwell Publishers Inc., Massachusetts,
USA, 2002.
[06] Krause, Dcio; A lgica paraconsistente, versin on line:
http://www.cfh.ufsc.br/~nel/paraconsistente.html

[28] Gonzlez Asenjo, Florencio; El todo y las partes-Estudios de ontologa formal, Editorial
Tecnos, Madrid, Espaa, 1962, pp. 16 y 17.
[29] Gonzlez Asenjo, Florencio; El todo y las partes-Estudios de ontologa formal, Ibd., p. 8
[30] Popper, Karl R; El desarrollo del conocimiento cientfico, Editorial Paids, Buenos Aires,
Argentina, 1979, p. 367.
[31] 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.