[0]

Universidad Nacional de La Plata

[(p ^ p)

El Principio de no Contradiccin

Enrique Garca MMIX

[1]

... 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/383322 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/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 (18021872), 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 [18441900] [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
[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.

[2 ]
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. 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] En nuestro medio, fue Florencio Gonzlez Asenjo quien supo decir que procede que asumamos que los asuntos atmicos tengan uno o dos valores de verdad; as, los asuntos, ya atmicos, ya compuestos, sern, entonces, verdaderos, falsos, o verdaderos y falsos. Asenjo llama a esos asuntos antinomias verdaderas y falsas, y proclama que su propsito inmediato es ampliar el clculo proposicional clsico, para incluir operaciones con antinomias [6]

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

Hay una ley del pensamiento tradicionales que proclama que una cosa no puede ser ella misma y su contrario, en el mismo aspecto y en el mismo momento. Su formulacin lgica bien puede admitirse diciendo que es imposible que un enunciado sea a la vez verdadero y falso [7], o afirmando que hay un principio cierto por excelencia [que] es aquel respecto del cual todo error es imposible [...]: es imposible que el mismo atributo pertenezca y no pertenezca al mismo sujeto, en un tiempo mismo y bajo la misma relacin [...] [8] Sin embargo, ciertos filsofos [...] pretenden que una misma cosa pueda ser y no ser, y que se pueden concebir simultneamente los contrarios. Tal es la asercin de la mayor parte de los fsicos. Nosotros acabamos de reconocer que es imposible ser y no ser al mismo tiempo, y fundados en esta imposibilidad hemos declarado que nuestro principio es el principio cierto por excelencia Y, [...] si hay verdades que no deben demostrarse, dgasenos qu principio, como no sea el expuesto, se encuentra en
[4] Cirne-Lima, Carlos R. V.; Ibd., pp. 9 y 10. [5] Cirne-Lima, Carlos R. V.; Ibd., p. 10 [6] 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 [7] Cf. Corts Morat, Jordi y Martnez Riu, Antoni; Diccionario de filosofa en CD-ROM, Editorial Herder S.A., Barcelona, Espaa, 1996. [8] Aristteles, Metafsica, IV, 3, Espasa Calpe, Madrid, Espaa, 1988, p. 108.

[3 ]
semejante caso [9], y segn el cual [...] se est siempre en lo cierto [porque] no es posible que una misma cosa sea y no sea a un mismo tiempo [...]; y, sin embargo, se puede refutar al que lo niegue. [...] Pero si se quiere demostrar al que pretenda que las proposiciones opuestas son igualmente verdaderas que est en un error, 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 el cual, sin embargo, conforme al sistema, no sea idntico [...] Es preciso [...] que cada una de las palabras sea conocida, que exprese una cosa, no muchas, sino una sola [...]. 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 esto es imposible; es imposible, si la expresin tal cosa tiene un sentido, 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 decir afirmacin y negacin opuestas, y de aqu tambin antipathiks, contradictorio. Se trata de un gnero de oposicin que existe entre afirmaciones incompatibles o inconsistentes. Aristteles, en Categoras, 11b; Interpretacin, 17b; y Metafsica, IV, 10, supo distinguir cuatro tipos de oposiciones: (a) entre cosas correlativas (doble y mitad), (b) entre contrarias (malo y bueno), (c) entre la privacin y la posesin (salud y enfermedad) y (d) entre la afirmacin (kataphasis) y la negacin (apophasis), que son las dos posibilidades de todo enunciado. La contradiccin, u oposicin contradictoria, se da entre enunciados de los cuales uno es la negacin respectiva del otro. El objetivo de las discusiones dialcticas entre los griegos consista en llevar al adversario al reconocimiento de la verdad de una proposicin contradictoria a la inicialmente propuesta por l, lo que equivala a obligarlo a aceptar lgicamente la tesis opuesta. La lgica impide aceptar la verdad de un enunciado y la de su contradictorio, por imperio del principio del tercero excluso (o excluido) o del principio de no contradiccin. La oposicin lgica entre enunciados contradictorios exige que, si uno es verdadero, el otro ha de ser falso y, si uno es falso, el otro ha de ser verdadero. La aplicacin caracterstica de esto se da entre un enunciado de tipo universal, afirmativo o negativo, y su negacin particular. La contradiccin existente entre dos enunciados
[9] Aristteles, Metafsica, IV, 4, 1006, Ibd., p. 109. [10] Aristteles, Metafsica, XI, 5, Ibd., pp. 279 y 280.

[4]
categricos del tipo todos los hombres son libres y 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 es precisamente saber evitar afirmaciones contradictorias, en especial, en la construccin de razonamientos. Un argumento que tenga premisas contradictorias es formalmente siempre vlido, porque nunca sucede que sus premisas sean verdaderas y la conclusin falsa. Pero tiene el grave inconveniente que permite extraer cualquier tipo de conclusin. La contradiccin se ha aplicado tambin al mbito de la metafsica o de la ontologa a todo lo largo de la historia del pensamiento. Parmnides de Elea (s. V a. de J.C.), entre los presocrticos, y frente a Herclito de feso (ca. 550 ca. 480 a. de J.C.), para quien las cosas son y no son, fue el primero en proponer explcitamente una comprensin de la totalidad bajo el principio de no contradiccin: que es necesario que lo que no es, exista de algn modo es imposible, porque es contradictorio, y por lo mismo lo es tambin el cambio. 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 urgi, 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 mantiene, por otro lado, que ser se dice de muchas maneras, lo cual permite hablar de forma sistemtica de todo el conjunto de la realidad, tal como hace la ciencia. La solidez del principio, en sus vertientes lgica y ontolgica, es innegable y, an con los matices necesarios, se ha mantenido inconmovible a lo largo de la historia como fundamento de la racionalidad humana, con la sola excepcin de los sistemas dialcticos. Herclito, que explica el cambio como tensin de contrarios, es el iniciador de esta manera de pensar. Nicols de Cusa utiliza, en La docta ignorancia, 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 y como del materialismo dialctico de Marx, la contradiccin ocupar un puesto principal, en su aspecto lgico y en el ontolgico. No slo es un momento dialctico de la razn, como oposicin entre tesis y anttesis, o entre inmediatez y alienacin, o entre simplicidad y escisin, o simple negacin de la afirmacin, sino que lo es tambin de la dialctica de la realidad: como estadio del desarrollo del espritu o, segn Marx, como motor de la historia. Desde una perspectiva enfrentada a la hegeliana y marxista, Karl Popper (1902-1994) en el captulo titulado Qu es la dialctica? de El desarrollo del

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

[5]
conocimiento cientfico, alerta sobre los peligros filosficos y hasta histricos de no admitir el principio de no contradiccin [12] [IV] 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 [13]; (ab) en 2000 tuvo lugar el Segundo [14]; y (ac) en 2003 tuvo lugar el Tercero [15]. 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?,

[12] Supongamos que tenemos dos premisas contradictorias, por ejemplo: (a) el sol brilla ahora; y (b) el sol no brilla ahora. De estas dos premisas puede inferirse cualquier enunciado, por ejemplo: Csar era un traidor. De la primera premisa (a), podemos inferir, de acuerdo con la regla [de Adicin], la siguiente conclusin: (c) el sol brilla ahora o Csar era un traidor. Tomando ahora (b) y (c) como premisas, podemos deducir, finalmente, de acuerdo con la regla [del Silogismo disyuntivo]: (d) Csar era un traidor. Es indudable que por el mismo mtodo podramos haber inferido cualquier otro enunciado que quisiramos, por ejemplo, Csar no era un traidor. As podemos inferir 2+2 es igual a 5 y 2+2 no es igual a 5, es decir, no slo todo enunciado que queramos, sino tambin su negacin, que podemos querer demostrar. Vemos, pues, que si una teora contiene una contradiccin, entonces implica todo y, por lo tanto, nada. Una teora que a toda informacin que afirma agrega tambin la negacin de esta informacin no suministra ninguna informacin en absoluto. Una teora que contiene una contradiccin es, por consiguiente, totalmente intil como teora Cf. Popper, Karl R; El desarrollo del conocimiento cientfico, Editorial Paids, Buenos Aires, Argentina, 1979, p. 367. [13] Celebrado en Gent, Blgica. [14] Celebrado en San Sebastin, San Pablo, Brasil.

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

[V] 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 [16] Dicho de otro modo, las proposiciones contradictorias no pueden ser simultneamente verdaderas: una proposicin que se formula como una conjuncin de dos proposiciones contradictorias [17], 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
[15] Celebrado en Toulouse, Francia. [16] 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. [17] Por ejemplo el nmero n es par y el nmero n no es par.

[7]
puede probarse. Un sistema de esta clase bien puede ser considerado como trivialmente [18] 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) [19] 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.) [20], 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 [21] 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

[18] La propiedad de trivializacin se suele presentar de las dos siguientes forma: (a) A, A B; y (b) (A ^ A) - B. [19] 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. [20] 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. [21] 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.

[8]
proposicional. da Costa desarroll clculos proposicionales, clculos de predicados con y sin igualdad, clculos con descripciones, y teoras de conjuntos. Es internacionalmente reconocido como el creador de las lgicas paraconsistentes [22], 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 [23] 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
[22] 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. [23] En el sentido de que no todas las frmulas tenidas como expresiones bien formadas de su lenguaje, sean teoremas del sistema.

[9]
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 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 [24] 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) [25]. Con ellas, podemos entender mejor la posibilidad de sistematizar de modo riguroso teoras abarcativas de la nocin de complementariedad [26] 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 [27] e, igualmente, contradicciones en sentido estricto. [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, esas lgicas fueron usadas en la dcada del 80 por V. S. Subrahmanian, de la Universidad de Siracusa, en los Estados
[24] Palau, Gladys; Introduccin a las lgicas no clsicas, Editorial Gedisa, Buenos Aires, Argentina, 2003, p.161. [25] 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. [26] Proposiciones complementarias son aquellas que, si tomadas en conjunto, acarrean una contradiccin. [27] 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.

[10]
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 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 [28]. 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 [29] (fuzzy sets). Eso trae aparejado otra variedad de aplicaciones, permitiendo que se construyan mecanismos (para-analizadores 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

[28] Burrus, Daniel y Gittines, Roger; Tecnotendencias (traduccin al espaol de Alejandro Tiscornia), Editorial Atlntida, Buenos Aires, Argentina, 1994, p. 100. [29] 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.

[11]
humano, y ciruga asistida de alta complejidad. Un ejemplo simple es el siguiente: un robot puede estar equipado con 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 [30]. 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 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 (1906-1978) [31], los resultados de la teora de la recursin, los de la teora de los modelos o los de
[30] 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). [31] 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

[12 ]
los fundamentos de la teora de los conjuntos, aunque no podamos detallar aqu tales desarrollos. Empero, valindonos de esta analoga podemos examinar la 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) [32], 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 [33] , por ejemplo, tal como originariamente fuera sugerida por von Neumann (1903-1957), es un referente en tal sentido. Es discutible si la mecnica cuntica [34], o cualquier otro sistema conceptual
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. [32] 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. [33] 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. [34] 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.

[13 ]
conocido realmente, carece de una lgica distinta de la clsica, pero es cierto que su uso presenta ventajas en 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.

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

[IX] 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/sesio n9-10.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 CDROM, Editorial Herder S.A., Barcelona, Espaa, 1996.

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

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