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.

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

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
10

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

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

12

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.

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 .

13

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

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
22

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.

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.