APUNTES PARA UNA HISTORIA DE LA LGICA

Por JUSTO SOTO CASTELLANOS

Presentacin

El artculo presenta en una perspectiva diacrnica los, a juicio del autor, principales planteamientos que se han realizado en el mundo de la lgica y que han incidido en sta. Desde los inicios mismos hasta los planteamientos de Newton da Costa que podran servir para hacer un planteamiento de la lgica de la complejidad en el sentido que plantea Edgar Morin.

Este artculo pretende aportar elementos que sirvan para mostrar que la lgica no es una ciencia esttica sino que es dinmica, como todo en el cosmos, que est abierta a nuevos progresos y que es una actividad-disciplina que debe estar al servicio de la vida y de la humanizacin permanente del ser humano.

La palabra

El nombre de lgica, se deriva de la palabra griega logos, que tiene mltiples y diversas acepciones, las cuales nos pueden servir para hacernos una idea del objeto de estudio de la lgica. Entre otras tenemos:

El trmino logos un griego lo poda emplear en diversos contextos y con diversas significaciones, por ello, se puede traducir en el sentido de palabra, dicho; tambin se puede entender como proposicin, definicin; en una tercera acepcin se puede emplear como aserto, afirmacin, as como palabra divina, revelacin; al igual que fama, discurso, conversacin, trato, negociacin, discusin, argumento, razonamiento, relato, narracin, fbula, historia, tradicin histrica, facultad de razonar, juicio, buen sentido, razn de las cosas, motivo, causa, ley, aprecio, concepto, estimacin, pensamiento, cuidado, relacin, proporcin, analoga 1 .

Estas y muchas otras son las significaciones que para un griego tena la palabra logos, y en todas ellas de alguna manera se refleja la esencia de la lgica. A pesar de ello, vale la pena precisar que la disciplina lgica, es decir, el estudio de la lgica, es aquello que se denominara en griego logik epistme, que puede ser traducida y entendida como "ciencia del pensar". En este sentido vamos a entender la lgica como la reflexin filosfica que indaga por los principios ltimos y primeros del pensar, as como por las leyes que hacen posible un pensamiento coherente, sin fisuras, consistente o que puede explicar las inconsistencias; al igual que las formas en las cuales se manifiesta y se hace posible el pensamiento.
1

Pabn S. de Urbina, Jos M. De Urbina, Diccionario Manual Griego Espaol, Ed. Biblograf, Barcelona, 1972

APROXIMACIN A LA HISTORIA DE LA LGICA

Todos los seres humanos hacemos uso de la lgica cuando pensamos, an cuando no somos conscientes de ello. Esta es una caracterstica consustancial al pensamiento. Es en la Grecia antigua en donde se problematiza y se inicia la lgica como disciplina filosfica.

Se ha dicho que la misma filosofa es un intento por encontrar mediante el ejercicio de la razn, las causas o razones de todo cuanto existe; en este sentido, la filosofa, la ciencia, como concrecin de sta, y todo su quehacer es una acopio de la lgica, un ejercicio lgico. No quiere decir lo anterior, que los mitos no tengan su propia lgica, lo que sucede es que en ellos la lgica est dada por el carcter de los dioses, por sus caprichos, los cuales poseen su propia lgica.

La Edad Antigua

Pitgoras de Samos (580 a. c.) fund una comunidad en la cual las prcticas msticas y el pensamiento racional iban de la mano. A partir de la observacin de una cuerda que, al ser dividida en partes exactamente iguales, producan sonidos armnicos al odo griego, afirm que los sonidos estn gobernados por nmeros, al igual que el espacio plano, el

cual sigue patrones que se pueden establecer por medio de razones geomtricas; baste recordar el ms famoso de los teoremas, el de Pitgoras.
Pitgoras consider que las esferas celestes producan una especie de msica y que los nmeros son el lenguaje de la naturaleza, por ello fue uno de los fundadores de la matemtica de occidente y la matemtica supone la idea de prueba lgica 2 . Sin embargo, cuando sus discpulos encontraron que la raz cuadrada de dos es un nmero irracional, es decir, que no se puede expresar como una razn exacta, se encontraron frente a uno de los lmites de la razn, lo que produjo una verdadera crisis dentro de la escuela 3 .

Herclito de feso (550-480 a. c.), a quien sus contemporneos llamaban el oscuro, pesaba que el logos es lo comn (198), que todo cambia, que todo fluye segn medida y esta medida es dada por el logos. El Logos en Herclito por ser comn a todos es asequible a todos, a pesar de que la mayora vive como si tuviera una inteligencia particular (197) 4 . Esta idea va a ser esencial en la historia de la ciencia occidental, en especial en la lgica y a ella van a apelar los distintos pensadores a travs de las distintas pocas.

Parmnides de Elea (S. V a. c.), escribe un poema llamado, como era comn entonces, Sobre la Naturaleza y en l afirma que el ser es y el no ser no es. Con esta afirmacin da origen a la tradicin ontolgica de la filosofa de occidente al igual que a la metafsica, pero, especialmente, a la tradicin lgica al plantear, de alguna manera, el principio de identidad y en el posterior
2

Cfs. Bronowski, Jacob; El ascenso del hombre, Ed. Fondo Interamericano de Cultura, Bogot, 1983, Captulo 5. 3 Cfs. Sagan Carl, Cosmos, Ed. Planeta, Bogot, 1993. Captulo 7. 4 R. Verneaux, Textos de los grandes filsofos: edad antigua, Ed. Herder, Fragmentos y nmeros de Diels, Fragmente der Vorsokratiker, Barcelona 1982, 5 ed, p.7-12.

razonamiento que realiza para argumentar su tesis plantea el principio de no contradiccin cuando afirma que no es posible pensar el no ser y el del tercero excluido ya que el ser no puede ser y no ser 5 .

Platn era un verdadero sucesor de los pitagricos al igual que de Parmnides y de Herclito. Para l el mundo que perciben los sentidos es un mundo de sombras, el mundo verdadero es el mundo de las ideas en donde se encuentra en verdadero ser al cual se llega mediante un ascenso dialctico que nos lleva a la verdadera causa de todo. En el dilogo "El sofista o sobre lo Ente, Lgico" presenta una derivacin lgica en escala, mostrando la fundamentacin de la participacin de unos conceptos en otros. Partiendo del ms general para llegar al ms especfico y plantea el mtodo de la divisin diairtica 6 .

Aristteles considera que el hombre es el nico animal que tiene logos, slo el hombre posee, entre los animales, la palabra. Esta posesin, que surge del ser social, le da al hombre la capacidad de poseer de modo exclusivo el sentido de lo bueno y lo malo, lo justo y lo injusto y las dems apreciaciones 7 .

Aristteles es realmente, sin discusin alguna, el fundador de la ciencia de la lgica. Aun cuando el estagirita no utiliz la denominacin de "lgica", sus discpulos sistematizaron las tesis del maestro en el ORGANON, palabra que en griego significa instrumento, y que realmente es un instrumento para dirigir correctamente el pensamiento a travs de las distintas formas que se presentan al pensar del hombre.

5 6

Ibidem, p.13-16 Platn; Obras completas, Traduccin de Juan David Garca Bacca, Universidad Central de Venezuela Presidencia de la Repblica, Caracas, 1983. Tomo II. En esta edicin se encuentra un interesante estudio introductorio del filsofo espaol que realiz la traduccin. P.145 -169 7 Aristteles, Poltica, I, 1553 a ,Alianza, Madrid 1991, p. 43-44.

Las obras Aristotlicas en las cuales se encuentran los fundamentos de la lgica y que han servido de orientacin para todo el quehacer lgico son: Sobre la interpretacin, en la cual se estudia el nombre, el verbo, la afirmacin, la negacin, las proposiciones; Los analticos primeros y los Analticos posteriores, en los que se aborda el estudio de los silogismos y la demostracin; Las categoras, o los predicables supremos, substancia y

nueve accidentes; Los tpicos, se contemplan las refutaciones probables; y Refutaciones de sofismas, en donde se estudian los procedimientos sofsticos 8 .

Posterior a Aristteles, en el periodo helenstico romano, encontramos a los Estoicos quienes desarrollan una lgica material (teora del conocimiento) y una lgica formal (lgica propiamente dicha). Adoptan las mismas formas del pensamiento que haba planteado Aristteles pero precisan cada una de ellas.

El concepto lo diferencian de la palabra y de la cosa que mienta. La palabra ser entendida como terminus y ser objeto de la gramtica, la cosa ser denominada res y ser objeto de la metafsica, y el concepto ratio, ser objeto de la lgica o la dialctica. Plantean la existencia de unos preconceptos (prolepsis) que hacen posibles y presuponen los dems conceptos.

Con respecto al juicio (iudicio), los estoicos comprenden que en l el sujeto toma posicin frente a algo y por ello juzga, se pronuncia, pronunciacin que se origina no como mecanismo adoptado por la voluntad sino por el entendimiento que dictamina sobre lo que encuentra verdadero o falso. En el estudio que

Cfs. Aristteles, Tratados de lgica (Organon), Gredos, Madrid, 1982

realizan del raciocinio complementan las formas planteadas por Aristteles y agregan el raciocinio disyuntivo y el hipottico.

Los epicreos entienden la lgica como cannica (de canon, vara y de ah regla), ya que sirve para proporcionar reglas para el recto conocimiento. Los conceptos son recuerdos de los contenidos comunes de las diversas percepciones y por esta razn la verdad surge la percepcin sensible que es establecida por el juicio u opinin 9 .

La Edad Media

Durante la Edad Media, la lgica se ensea en la facultad de Artes y es la escuela primera como preparacin en la formacin en teologa, derecho y medicina. La lgica, especialmente la aristotlica, se convierte en el instrumento fundamental de la actividad teolgico filosfica, slo se encuentra en este perodo un refinamiento de la propuesta inicial. Valga, al final de la antigedad pero que tiene gran aplicacin en la Edad Media, enunciar el llamado rbol de Porfirio (232 304) filsofo neoplatnico, quien en la introduccin al tratado del las categoras de Aristteles presenta un estudio, denominado Isagog, basado en Platn y el mismo Aristteles en el cual parte del gnero supremo y mediante la diferencia especfica se llega, a travs de la derivacin y de oposiciones, al concepto ms especfico posible.

El pensamiento griego, al derrumbarse el mundo antiguo, se perdi en gran parte, slo a travs de los musulmanes este lleg nuevamente a occidente. El
9

Cfs. Garca Bacca, J. D; Elementos de filosofa, U. C. V. Caracas, 1983

Islam, la religin fundada por el profeta Mahoma, pretenda ser una religin no de milagros y prohbe las pinturas que representen el cuerpo humano situacin que lleva a desarrollar la contemplacin y el anlisis con alto grado de abstraccin. Los musulmanes desarrollaron grandemente el pensamiento matemtico junto con la lgica inherente a sta, ellos son los responsables del sistema de numeracin hoy prevaleciente en el mundo entero que contiene una lgica estricta 10 .

En el siglo XIII, tiempo de las Summas, lo que hoy se podra llamar compendios, es importante mentar las Smulas lgicas de Pedro Hispano, en donde se presentan las cuatro letras ( A, I, E, O) que hasta hoy se utilizan para identificar los cuatro modos de juicios-proposiciones posibles. En el mismo siglo, el trabajo de Ramn Llull 11 (1233-1315), pensador neoplatnico agustiniano quien en sus obras Ars magna, Ars combinatoria, Mathesis universalis, basado en la silogstica aristotlica, supone unos principios tan ciertos que an los infieles los podran aceptar, Llull se imaginaba procurador de los infieles, musulmanes y judos. Considera posible encontrar todos los trminos medios que articulen cualquier predicado con el respectivo sujeto y de esta forma presentar una visin unitaria, concatenada y coherente del saber.

Llull conceba la lgica con la capacidad de ser inventiva, es decir, de buscar nuevas verdades, no slo inferir las verdades contenidas en los principios
Cfs. Bronowski, Cap 5, Op. Cit. Cfs. Reale G. y Antiseri D; Historia del pensamiento filosfico y cientfico, Ed. Herder, Barcelona, 1995. T. I, P. 573 s.s.
11 10

generales de los cuales es posible deducir cualquier otra proposicin (lgica deductiva). El Arte Magna de este pensador lo lleva a convertirse en el verdadero precursor de todos los clculos lgicos renacentista y modernos.

Guillermo de Occam (1280 - 1346,49) plantea un principio de economa de la prueba que tiende a aceptar la explicacin ms sencilla, a este principio se le conoce como la navaja de Occam y posee varias formulaciones una de ellas afirma que pluritas non est ponendan sine necesitate 12 . En su tratado de lgica Summa logicae divide el signo en su expresin material, escrita u oral y la forma mental, concepto. Propugna un nominalismo que postula la no

existencia de los universales y se preocupa por averiguar cmo suceden los fenmenos. Se opone a la unin de cristianismo y aristotelismo y plantea un mtodo que parte de la experiencia, de lo individual desde donde se forma la abstraccin, que no es otra cosa sino una especie de ficcin.

La Edad Moderna

Al despuntar la Edad Moderna, en el Renacimiento, con el impulso de los nuevos mtodos de la nueva ciencia, Francis Bacon (1561-1626) realiza una crtica a la tradicin filosfica que lo precede y en los aos 20 de 1600 publica una obra en seis partes que titula Instauratio Magna (La gran restauracin), en la cual propugna por un saber que sirva para el hacer, por un saber til para la vida prctica. La segunda parte lleva como ttulo Novum Organum, Nuevo

Cfs. Jordi Corts Morat y Antoni Martnez Riu; Diccionario de filosofa en CD-ROM. Copyright 1996-98. Empresa Editorial Herder S.A., Barcelona. Todos los derechos reservados. 1991-3. Artculo sobre Guillermo de Occam.

12

Instrumento, en franca y abierta oposicin al Organon aristotlico que haba servido hasta entonces para dirigir el pensamiento.

El Novum Organum propone una nueva lgica que se orienta hacia los hechos y posee dos partes: una destructiva que plantea la clebre crtica a los dolos, prejuicios que impiden el verdadero conocimiento, los cuales denomina e identifica como los de la tribu, la naturaleza humana; de la caverna,

naturaleza del individuo; del foro, comunicacin entre humanos; y de las teoras tradicionales, teatro. Otra constructiva, en la cual expone las reglas del mtodo que propone y defiende la induccin, especialmente la induccin til al descubrimiento y demostracin de las ciencias y de las artes (que) debe separar la naturaleza por medio de los debidos rechazos y exclusiones y finalmente concluir afirmativamente, tras tantas negaciones como sean precisas 13 .

En la Edad Moderna, Kant afirma en La crtica de la razn pura que la lgica Aristotlica es algo tan bien logrado que slo es posible avanzar alcanzando mayor exactitud, precisin y claridad. Concibe la lgica como propedutica y afirma que en la lgica el entendimiento no se ocupa ms que de s mismo y de su forma. [...] De aqu que la lgica, en cuanto propedutica, constituya simplemente el vestbulo, por as decirlo, de las ciencias y, aunque se presupone una lgica para enjuiciar los conocimientos concretos que se abordan, hay que buscar la adquisicin de stos en las ciencias propia y objetivamente dichas 14 .

Bacon, Francis; La gran restauracin. Aforismos sobre la interpretacin de la naturaleza y el reino humano, CV. Alianza, Madrid 1985, p. 160. 14 Kant, I. Crtica de la razn pura, Prlogo de la segunda edicin, Ed. Alfaguara, Madrid 1988, p. 16

13

Kant, propone una lgica formal, en la cual ningn contenido es objeto del conocimiento lgico, ya que de la cosa en s (das Ding an sich), no podemos tener conocimiento; slo podemos hablar de la cosa como se me presenta, la cosa para m (das Ding fr mich). De ah que son objeto de este estudio las leyes necesarias del entendimiento y la razn en general, que hacen parte de lo a priori que aporta el sujeto cognoscente en el proceso del conocimiento.

Para Hegel la lgica es la ciencia de la idea pura; esto es la idea en el elemento abstracto del pensamiento y aclara que la idea es el pensamiento, no como algo formal, sino como la totalidad desarrollada de sus peculiares determinaciones y leyes que se da a s mismo y que encuentra en s mismo 15 .

Hegel afirma en la introduccin a La Ciencia de la Lgica que, segn esto, la lgica ha de entenderse como el sistema de la pura razn, como el reino del puro pensamiento. Este reino es la verdad, tal y como ella es en y para s, sin disfraz alguno. Por eso cabe tambin decir que este contenido es la representacin de Dios tal y como l existe en su esencia eterna, antes de la creacin de la naturaleza y de un espritu finito 16 .

La lgica, segn Hegel, es la exposicin del espritu absoluto, en ella se expone el camino nico, infinito y atemporal de Dios en una primera etapa, en el puro concepto, el cual, posteriormente, se encarna, se extraa, se aliena, se enajena (Entfremdung) en toda la naturaleza, la historia y el mundo del hombre, siendo stos no ms que parte de la fenomenologa del espritu que se despliega y todo lo abarca. De ah que, en ltima instancia, la razn lgica es un proceso permanentemente mvil, dinmico, dialctico, en el cual el
15 16

Hegel, G. W. F; Enciclopedia de las ciencias filosficas, Ed. Porra, Mxico, 1990 Hegel, G. W. F; La ciencia de la lgica, Ed. Solar/Hacette, Buenos Aires, 1972

pensamiento es, sigue la realidad y es real en s mismo, ya que segn afirma todo lo racional es real y todo lo real es racional 17 .

La lgica dialctica que viene de Hegel y que a su vez es una herencia de sus hermanos idealistas (Fichte), va a ser uno de los pilares bsicos de toda la concepcin de Carlos Marx (1818-1883) que presenta el materialismo histrico como concepcin general e integral de la naturaleza y como aplicacin especfica al desarrollo histrico, econmico, social y poltico de los hombres.

La lgica dialctica en Marx, Engels y en el marxismo posterior, parte de la idea de la totalidad como categora bsica en la cual se da la unidad y lucha de contrarios. Esto quiere decir que la causa interna del desarrollo es la contradiccin en la cual se presenta una afirmacin que es negada y esta negacin a su vez es nuevamente negada para llegar a una unidad superior realizando cambios por acumulacin que presentan los saltos dialcticos que pasan de lo cuantitativo a lo cualitativo en un movimiento de categoras permanente en el cual se cumplen simultneamente todos los principios dialcticos.

La propuesta de Marx y Engels tuvo hondas repercusiones en el mundo del siglo XX. Vladimir Ilich Ulianov Lenin afirm que la lgica dialctica es el lgebra de la revolucin. La lgica dialctica en un principio fue entendida como negacin de la lgica formal, ms tarde sta concepcin fue superada y por esto, para algunos pensadores, la lgica formal aristotlica fue subsumida en la lgica dialctica.
17

Hegel, G. W. F; Filosofa del Derecho, Claridad, Buenos Aires,1968

La lgica inductiva que busca encontrar principios generales a partir de juicios-proposiciones particulares encuentra su expresin sistemtica en el ingls John Stuart Mill (1806 - 1873), quien sostiene que la lgica tiene como objeto la elaboracin y ordenacin de las intuiciones sensibles. En su obra sistema de la lgica inductiva y deductiva expone la reglas de la lgica inductiva que parte de la idea de David Hume de que toda manera de ordenar la experiencia es una forma de costumbre.

El Siglo XX

De otra parte, en una vertiente distinta, Leibniz llevado por un antiguo sueo de los matemticos, el camino sealado por Llull y en discusin con ste, afirmar que el Ars Magna es slo una sombra del verdadero arte combinatorio, realiza un intento de sistematizar la lgica de tal manera que pretende hallar un especie de alfabeto de los conocimientos humanos, que permitiera, mediante la combinacin de sus letras y el anlisis de las palabras compuestas de aquellas, descubrir y juzgar todo lo dems 18 .

En el siglo XX la lgica matemtica, siguiendo las orientaciones de Leibniz, se desarroll enormemente (B. Russell, L. Wittgenstein, A. N Whitehead, J. G Frege), logrando un nivel de abstraccin, de rigor y nitidez, convirtindose en el motor y la herramienta de todo conocimiento cientfico, a tal grado que se lleg a afirmar que una aseveracin que no es posible matematizar no es cientfica. Sin embargo, frente a estas pretensiones para mayor precisin y rigor, se hace

18

Hirschberger, J. Historia de la filosofa, Ed. Herder. t. II, p.97

necesaria la separacin de la lgica, no slo de la metafsica y de la matemtica sino de todas las dems ciencias, para luego integrarla al conjunto del conocimiento humano.

La nueva lgica pretendi ser la primera lgica formal exacta. Esta pretensin la fundament en el intento de determinacin de los elementos con absoluta precisin, la formulacin estricta de las leyes que rigen las combinaciones de los elementos, el control que imposibilita las afirmaciones y los conceptos ilcitos y, finalmente, la utilizacin de la simblica que pretenda convertir a los enunciados en ideas tan precisas como los enunciados de las ciencias matemticas.

Esta es la base de la moderna lgica matemtica o logstica que analiza las proposiciones lgicas hasta sus elementos primeros en lo que tambin se denomin el atomismo lgico, que inicialmente pretendi someter la lgica a la matemtica y que luego encontr cmo la matemtica es posible mediante la construccin lgica de conceptos, ya que las matemticas, segn afirmacin de Russell, son tan slo el arte de decir lo mismo con otras palabras 19 .

La logstica, no es una ruptura con la tradicin lgica que viene de Aristteles, como se ha pensado equivocadamente. La logstica es un desarrollo de la lgica formal llevada a altos niveles de abstraccin, por eso presenta un elevado grado de formalizacin que busca el funcionalismo de las significaciones lgicas sin tener en cuenta los objetos significados, aquello que tradicionalmente se ha denominado los contenidos materiales de los conceptos.
19

Ibidem, p. 441

La corriente neopositivista, que parte de la concepcin de Hume sobre el origen del conocimiento dado en la percepcin sensible, aboga por un fisicalismo y un formalismo (R. Carnap) que se basa en el anlisis del lenguaje y lo que se quiere decir con l, por esta razn insiste en el anlisis lgico de las proposiciones y la sintaxis de las mismas.

El suelo que sustenta la propuesta de los neopositivistas del crculo de Viena est influenciado por la propuesta de Ludwig Wittgenstein en el Tractatus Logico Philosophicus, quien sostiene que lo que se puede en general decir, se puede decir claramente y de lo que no se puede hablar se debe callar, que el mundo es la totalidad de los hechos, no de las cosas (1.1).Wittgeinstein afirma que la figura lgica de los hechos es el pensamiento, as como que no podemos pensar nada ilgico (3.03) o representar en el lenguaje algo que <<contradiga la lgica>> es cosa tan escasamente posible como representar en geometra mediante sus

coordenadas una figura que contradiga las leyes del espacio; o dar coordenadas de un punto que no existe(3.032), de ah que no hay que asombrarse de que los ms profundos problemas no sean propiamente problemas 20 . Las propuestas de Ludwig Wittgenstein han marcado el desarrollo de la lgica hasta nuestros das.

A principios del mismo siglo, David Hilbert se propuso como meta encontrar una lgica pura que descanse en s misma y no una lgica metodolgica que descanse en la realidad, como era el caso de la lgica tradicional que se desprende de Aristteles.

20

Ludwig Wittgenstein, Tractatus Logico-Philosophicus, Ed. Alianza, Madrid 1973,

Su proyecto consista bsicamente en dos puntos, el primero: que todas las frmulas del sistema deductivo puro sean verdaderas; es decir: no contradictorias. Porque, para Hilbert, verdad es ausencia de contradiccin de las frmulas entre s, deducindose de los axiomas del mismo sistema. Esto es, donde todas las frmulas sean teoremas. El segundo: que se pueda decidir dentro del propio sistema deductivo puro la prueba de su consistencia 21 .

Kurt Gdel en 1931 mostr en dos teoremas que tal proyecto era irrealizable. En el primer teorema Gdel construye una frmula verdadera, dentro de un sistema deductivo puro consistente, que no se puede deducir de los axiomas de ese sistema pues de lo contrario se podra tambin deducir del mismo sistema la frmula contradictoria de esa frmula verdadera, con lo cual el sistema se hara inconsistente. Lo que quiere decir que si el sistema ha de mantenerse consistente no puede incluir esa nueva frmula verdadera dentro de las frmulas deducidas de los axiomas. Por tanto, mediante este primer teorema demostr que el sistema es incompleto, es decir, si el sistema deductivo puro es consistente es incompleto con una frmula verdadera indecidible dentro del sistema.

En el segundo teorema, Gdel demuestra que si el sistema es consistente su consistencia no se puede decidir dentro del sistema, es decir, que si el sistema deductivo puro es consistente la prueba de su consistencia est fuera del sistema mismo.

21

Trendal, A; El estado actual de la lgica, Revista ideas y valores, Universidad Nacional, Bogot. 1968 p.43

La propuesta de Gdel demostr que la no contradiccin de un sistema es una proposicin no demostrable en el sistema
22

y conduce a un principio de

incertidumbre o tolerancia lgica, en donde se puede afirmar que slo hay lgica en los niveles de demostracin mnimos, e incluso en esos niveles mnimos pueden presentarse verdaderos callejones sin salida.

En la antigedad haba una paradoja que serva a los escpticos para demostrar lo anterior; ella afirmaba que Epimnides, el cretense, declaraba sinceramente, que todos los cretenses son mentirosos. Situacin que planteaba una verdadera apora ya que si este cretense deca la verdad, menta y si menta deca la verdad 23 .

De otra parte, Bertrand Russell lleg asimismo a un callejn sin salida, mucho tiempo despus l afirmar: resultaba que, de premisas que todos los lgicos, no importa de qu escuela, haban aceptado siempre, desde los tiempos de Aristteles, podan deducirse contradicciones, demostrndose con ello que algo estaba fuera de lugar, pero sin hacer indicacin de cmo podan enderezarse las cosas. Fue el descubrimiento de una de tales contradicciones lo que puso fin, en la primavera de 1901, a la luna de miel lgica que haba venido disfrutando. Comuniqu la desgracia a Whitehead, que no pudo consolarme citando nunca de nuevo una maana alegre y confiada.

Llegu a esta contradiccin al considerar la prueba de Cantor de que no existe un nmero cardinal mayor que todos. Yo pensaba, en mi inocencia, que el nmero de todas las cosas que existen en el universo debe ser el nmero ms
Cfs. Gdel, Kurt; Obras Completas, Sobre sentencias formalmente indecibles de principia matemtica y sistemas afines, Ed. Alianza, Madrid,1981 23 Morin, Edgar; El Mtodo, Tomo IV, Ed. Ctedra, Madrid, 1994. En este trabajo Morin presenta un anlisis de la idea de las ideas.
22

grande posible, y apliqu su prueba a este nmero para ver qu ocurra. Esta operacin me llev a considerar una clase muy peculiar. Pensando dentro de la lnea que hasta entonces haba parecido adecuada, me pareca que una clase es a veces, y a veces no es, miembro de s misma. La clase de las cucharillas, por ejemplo, no es otra cucharilla, pero la clase de las cosas que no son cucharillas s que es una de las cosas que no son cucharillas. Pareca haber ejemplos que no eran negativos; por ejemplo, la clase de todas las clases es una clase. La aplicacin del argumento de Cantor me llev a considerar las clases que no son miembros de s mismas; y stas, al parecer, deben formar una clase. Me pregunt si esta clase es un miembro de s misma o no. Si es un miembro de s misma, debe poseer la propiedad definitoria de la clase, que es no ser miembro de s misma. Si no es miembro de s misma, no debe poseer la propiedad definitoria de la clase y por tanto debe ser miembro de s misma. As, cada alternativa conduce a la contraria, y hay una contradiccin.

Al principio pens que deba de haber algn error trivial en mi razonamiento. Examin cada paso bajo un microscopio lgico, pero no pude descubrir nada incorrecto. Escrib a Frege acerca de ello, y me replic que la aritmtica se tambaleaba y que ahora vea que su ley V era falsa. Frege qued tan desasosegado por esta contradiccin que dio de lado el intento de deducir la aritmtica de la lgica, al cual, hasta entonces, haba dedicado principalmente su vida. Como los pitagricos cuando tropezaron con los inconmensurables, busc refugio en la geometra y al parecer consider que el trabajo de su vida hasta aquel momento haba estado mal orientado. Por mi parte, me di cuenta

de que la dificultad resida en la lgica ms que en las matemticas, y era la lgica lo que haba de reformarse 24 .

Concluyendo este importante episodio de la historia de la lgica, se puede afirmar que un sistema explicativo (lgico) no puede explicarse a s mismo autofundamentarse, ya que un principio de esclarecimiento es ciego para consigo mismo, es algo que de alguna manera se daba en cierne en la lgica clsica, la cual afirmaba al hablar de la definicin que no se puede definir con lo que se va a definir, ya que mediante este procedimiento se incurre en una peticin de principio, lo que se define no puede ser definido por s mismo.

El siglo XX termin en una bsqueda incesante de nuevos caminos para la ciencia lgica ya que durante el siglo XIX y el mismo XX los sistemas lgicos que a algunos, quienes de alguna manera ignoraban la historia de la lgica, les parecan inclumes y eternos, resultaron ser enormemente vulnerables y no exentos de contradicciones, o como los llaman los lgicos, de inconsistencias; esto gracias a los trabajos de Jan Lukasiewicz, Nikolaj Alexndrovich Vasiliev, Karl Popper y la reaparicin del principio de pseudo-Escoto.

Y, permtaseme hacer un pequeo excurso sobre este asunto, que es de suma importancia, ya que se habla de la tesis lgica atribuida a Escoto de quien se dice que afirmaba que si dos oraciones contradictorias eran ambas verdaderas, entonces todo sera posible, porque no es posible que dos oraciones contradictorias sean ambas verdaderas... A falta de certeza (sobre

24

Russell, B; La evolucin de mi pensamiento filosfico, Alianza, Madrid 1982, 2 ed., p. 76-78.

el autor) se habla del Pseudo-Escoto, aunque la hiptesis ms probable es que haya sido Juan de Cornwall alrededor de 1350 25 .

En el siglo que termin y en el presente que comienza, se hizo evidente que las inconsistencia, las paradojas, las contradicciones, son inherentes e inevitables en cualquier sistema de pensamiento o de conocimiento humano, no es posible eliminarlas y por esto, desde una perspectiva extraordinariamente dialctica, se hace necesario aceptar la contradiccin como el motor que lleva al pensamiento a nuevos niveles.

Uno de los intentos de no de eliminar dichas inconsistencias sino de aceptarlas y pensarlas con rigor, es la propuesta del profesor, oriundo de Brasil, Newton Da Costa llamada por el filsofo peruano Francisco Mir Quesada Lgica paraconsistente, la cual intenta utilizar la simblica para hacer rigurosa una lgica que d cabida a las inconsistencias sin convertirse en un sistema trivial, inane, vacuo, ftil y as poder pensar las propuestas de la dialctica de Hegel, de la teora del inconsciente de Sigmund Freud y la teora de los objetos de von Meinong (1853-1920).

En un principio la lgica paraconsistente tuvo una motivacin matemtica pero ms adelante se ha percatado de que hay implicaciones de carcter ontolgico y metafsico. En los trminos de su cultor, esta lgica tiene la ventaja de que puede servir de base para una teora que contenga contradicciones y que las contradicciones no se deban eliminar 26 .

25 26

Bobenrieth, Andrs; Inconsistencias por qu no? Colcultura , Bogot,1996 p.73 Ibidem, p. 470

De hoy al futuro

La propuesta de Newton Da Costa empata, segn nuestro criterio, con la propuesta del pensador francs, ciudadano del mundo, Edgar Morin, quien ha buscado durante el ltimo medio siglo la formulacin de un paradigma de la complejidad, que reconozca la interretrorelacin ntima, profunda, que existe en todo en el universo, que responda a la necesidad de pensar, retomando a Pascal, el todo as como particularmente cada una de las partes, es decir, pensar todo y el todo mismo as como sus partes, tejidas en conjunto (complexus).

Este pensamiento demanda una nueva lgica que pueda pensar sin trivializarse, lo concurrente, lo complementario y lo antagnico; una lgica que pueda pensar la naturaleza, el cosmos y la vida misma en su dinamicidad, que conciba, contrario al planteamiento de Hegel, la lgica como una astucia de la naturaleza, del cosmos, de la vida y no a la naturaleza, al cosmos, a la vida como una astucia de la lgica.

Hoy, al terminar este recorrido, es necesario explorar nuevos caminos en la lgica, utilizando la historia de la lgica para impulsar la lgica, pensando una lgica sinfnica, arborescente, compleja que a la vez sea probabilitaria, dialgica, dialctica, generativa 27 . Esta lgica, segn mi apreciacin, asumira la lgica formal, la lgica material, la lgica aristotlica, la logstica y la lgica dialctica y sera la dialctica de la dialctica misma, ella volvera a ser el lgebra de la revolucin y el algebra de la vida misma y su deseo de preservar,

27

Morin Edgar, Ciencia con Consciencia, Ed. Anthropos, Barcelona, 1984, p366

proliferar y multiplicarse en una revolucin que lleve al ser humano a mayores niveles de humanidad.

Bibliografa

Aristteles, Poltica, Alianza, Madrid 1991 Aristteles, Tratados de lgica (Organon), Gredos, Madrid, 1982 Bacon, Francis; La gran restauracin. Aforismos sobre la interpretacin de la naturaleza y el reino humano, CV. Alianza, Madrid 1985 Bobenrieth, Andrs; Inconsistencias por qu no? Colcultura, Bogot,1996 Bronowski, Jacob; El ascenso del hombre, Ed. Fondo Interamericano de Cultura, Bogot, 1983 Garca Bacca, J. D; Elementos de filosofa, U. C. V. Caracas, 1983 Gdel, Kurt; Obras Completas, Sobre sentencias formalmente indecibles de principia matemtica y sistemas afines, Ed. Alianza, Madrid,1981 Hegel, G. W. F; Enciclopedia de las ciencias filosficas, Ed. Porra, Mxico, 1990 Hegel, G. W. F; Filosofa del Derecho, Claridad, Buenos Aires,1968 Hegel, G. W. F; La ciencia de la lgica, Ed. Solar/Hacette, Buenos Aires, 1972 Hirschberger, J. Historia de la filosofa, Ed. Herder. T. II. Jordi Corts Morat y Antoni Martnez Riu; Diccionario de filosofa en CD-ROM. Copyright 1996-98. Empresa Editorial Herder S.A., Barcelona Kant, I. Crtica de la razn pura, Ed. Alfaguara, Madrid 1988 Ludwig Wittgenstein, Tractatus Logico-Philosophicus, Ed. Alianza, Madrid 1973, Morin Edgar, Ciencia con Consciencia, Ed. Anthropos, Barcelona, 1984, p366

El Mtodo, Tomo IV, Ed. Ctedra, Madrid, 1994 Pabn S. de Urbina, Jos M. De Urbina, Diccionario Manual Griego Espaol, Ed. Biblograf, Barcelona, 1972 Platn, Obras completas, Traduccin de Juan David Garca Bacca, Universidad Central de Venezuela Presidencia de la Repblica, Caracas, 1983. Tomo II. Reale G. y Antiseri D, Historia del pensamiento filosfico y cientfico, Ed. Herder, Barcelona, 1995. T. I Russell, B, La evolucin de mi pensamiento filosfico, Alianza, Madrid 1982, 2 Edicin Sagan Carl, Cosmos, Ed. Planeta, Bogot, 1993 Trendal, A, El estado actual de la lgica, Revista ideas y valores, Universidad Nacional, Bogot. 1968 Verneaux R, Textos de los grandes filsofos, Ed. Herder, Barcelona 1982, 5 Edicin.