1

UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Humanidades y Ciencias de la Educacin

LA LGICA, LA EXISTENCIA DE UN OBJETO GENRICO Y EL VALOR DE VERDAD

Enrique V. Garca JUNIO de 2006

 2 [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 (12651308) 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 [18441900] [03] En el siglo XX dominan los pensadores de la razn fragmentada: Heidegger (18891976), 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 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]
[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. [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:

[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]

[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

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.

 4 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 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

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

 5 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 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,

 6 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 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

[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), 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..

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

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,
[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.

 8 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 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

[20] Palau, Gladys; Introduccin a las lgicas no clsicas, Editorial Gedisa, Buenos Aires, Argentina, 2003, p.161. [21] Por V. S. Subrahmanian, de la Universidad de Siracusa, en los Estados Unidos, en la dcada del 80.

 9 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 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

[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

 10 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:
p V V V F F F V & F V & F V & F q V F V &F V F V & F V F V& F p F F F V V V V & F V & F V & F q F V V & F F V V & F F V V & F p ^ q V F V & F F F F V & F F V & F p v q V V V V F V & F V V & F V & F p -- - q p - - q V F & V V & V & & V F & F V & & & &

V V V

F F F

V V V V

F F F F

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 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
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). [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. [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 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? 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
[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.

 12 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

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