La evolucin de la lgica est intrnsecamente ligada a la evolucin intelectual

del ser humano, ya que como ciencia del razonamiento, su historia representa
la historia misma del hombre. La lgica surge desde el primer momento en que
el hombre, al enfrentar a la naturaleza, infiere, deduce y razona, con el nimo
de entenderla y aprovecharla para su supervivencia [1]. Existen varios
enfoques acerca de cmo interpretar la evolucin de la lgica. Poncaire la
divide en cinco etapas o revoluciones, que se presentan oscilando entre dos
grandes tpicos: del rigor y la formalidad, a la creatividad y el caos. Las etapas
se identifican como: Revolucin matemtica, revolucin cientfica, revolucin
formal, revolucin digital y la prevista siguiente revolucin lgica [2].
2 Lgica Matemtica
El objetivo de la lgica matemtica es cuestionar con el mayor rigor los
conceptos y las reglas de deduccin utilizados en matemticas, constituyendo
la lgica por ello una verdadera metamatemtica. Una teora matemtica
considera objetos definidos (enteros, por ejemplo) y define leyes que
relacionan a estos objetos entre s (los axiomas de la teora). De los axiomas se
deducen nuevas proposiciones (los teoremas), y a veces, nuevos objetos. La
construccin de sistemas formales (formalizacin), piedra angular de la lgica
matemtica, permite eliminar la arbitrariedad en la eleccin de los axiomas y
definir explcita y exhaustivamente las reglas de la deduccin matemtica [3].
3 Las matemticas y la lgica
Durante el periodo de 600 AC hasta 300 AC, en Grecia se desarrollaron los
principios formales de las matemticas. A este periodo se le conoce como
periodo clsico, donde sus principales representantes son Platn, Aristteles y
Euclides. Platn introduce sus ideas o abstracciones; Aristteles presenta el
razonamiento deductivo y sistematizado y Euclides es el personaje que mayor
influencia tuvo en las matemticos, al establecer el mtodo axiomtico. En
''Elementos'', Euclides organiza pruebas deductivas dentro de una presentacin
sistemtica, rigurosa y bien organizada de conocimiento matemtico [4].
3.1 Platn
Platn (427-347 AC) intenta instaurar en Siracusa una utpica repblica
dirigida por filsofos, y crea la Academia en Atenas, que no era solouna
institucin filosfica, sino serva de formacin poltica a los jvenes de la
aristocracia. Segn muchos crticos, Platn edifica su teora del conocimiento
para justificar el poder preeminente del filsofo y parte de los pensamientos
socrticos: la bsqueda de conceptos y definiciones estables de las ideas
abstractas (justicia, bondad, valor, etc.). Sostuvo la existencia de dos mundos
distintos (el de las ideas y el de las cosas). Segn Platon, lo concreto se
entiende slo en funcin de lo abstracto, resultando que el mundo sensible
debe su existencia al mundo de las ideas. Platn escogi el dilogo como su

forma literaria para verter su pensamiento; como personaje central de sus

''Dilogos'' sita a Scrates, de quien recibi una notable influencia [5].

3.2 Aristteles
Los tratados de lgica de Aristteles (384-332 a.C.), conocidos como Organn,
contienen el primer tratamiento sistemtico de las leyes de pensamiento en
relacin con la adquisicin de conocimiento. Estos representan el primer
intento de establecer a la lgica como ciencia. Aristteles da una clasificacin
de todos los conceptos o nociones (sustancias, cantidad, relacin, accin,
pasin, diferencia, propiedad y accidente) y trata las reglas del razonamiento
silogstico. Aristteles no hace de la lgica una disciplina metfisica, pero si
establece una correspondencia entre el pensamiento lgico y la estructura
ontolgica.
El silogismo fue adoptado por los escolsticos (representantes del sistema
teolgico-filosfico, caracterstico de la Edad Media) quienes la enriquecieron
con nmerosos y detallados estudios y se esforzaron en formalizarlo. La
escolstica, sin embargo, acab por sobrecargar la teora del silogismo, lo que
acarre su descrdito a partir del Renacimiento. Los lgicos de la edad
moderna (Rame, Arnauld, Nicole, Leibniz, Euler, Lambert) procuraron
simplificarla al mximo, y su tratamiento matemtico se complet hasta
principios del siglo XX (Boole, De Morgan, Frege, Russell). Desde entonces el
silogismo se incluye en la lgica de predicados de primer orden y en la lgica
de clases, y ocupa en la ciencia lgica un papel mucho menor que el
desempeado en otros tiempos [5].
3.3 Euclides
Este matemtico alejandrino public numerosas obras entre las que destacan
los clebres ''Elementos'', sin duda el texto matemtico ms conocido a lo
largo de la historia. Los ''Elementos'' estn divididos en trece libros y
constituyen una recopilacin de gran parte de las matemticas conocidas en
tiempos de Euclides; su gran valor reside en el uso riguroso del mtodo
deductivo, distinguiendo entre principios (definiciones, axiomas y postulados) y
teoremas, que se demuestran a partir de los principios. Los principios de
naturaleza puramente geomtrica en ''Elementos'' se conocen como
postulados; tres de ellos aseguran la existencia y unicidad de la recta
determinada por dos puntos; el cuarto, la existencia de una circunferencia de
centro y radio dados; y el quinto da condiciones que aseguran que dos rectas
se cortan en un punto. A lo largo de la historia se ha mantenido la sospecha de
que el quinto postulado era demostrable a partir de los anteriores. El deseo de
encontrar tal demostracin condujo, en el siglo XIX, a la construccin de

geometras no euclidianas de las que se deduce la imposibilidad de demostrar

el quinto postulado [5].
4 La ciencia matemtica
Despus de declinar la escuela clsica de los griegos, se presenta un periodo
en el cual la autoridad religiosa embruteci a la creatividad intelectual. El
renacimiento inicia una nueva era en la cual se permite la revitalizacin de la
ciencia y las matemticas. Los representantes ms destacados de esta etapa
son Descartes, Newton y Leibniz. Este periodo abarca de los 1500 a los 1800
[6].
4.1 Ren Descartes
El punto de partida de este filsofo y matemtico francs (1596-1650) es la
duda universal, que consiste de prescindir de cualquier conocimiento previo
que no queda confirmado por la evidencia con que ha de manifestarse el
espritu. Descartes dud de toda enseanza recibida, de todo conocimiento
adquirido, del testimonio de los sentidos e incluso de las verdades de orden
racional. Llegado a este punto, halla una verdad de la que no puede dudar: la
evidencia interior que se manifiesta en su propio sujeto (pienso, luego existo).
Como cientfico, se debe a Descartes, entre otras aportaciones de considerable
importancia, la creacin de la geometra analtica [5]. Este desarrollo es
importante para la ciencia porque hace a la geometra cuantitativa y permite el
uso de mtodos algebraicos. La geometra debe ser cuantitativa para ser usada
en la ciencia e ingeniera, y los mtodos algebraicos permiten el desarrollo ms
rpido que los mtodos sistemticos (ms rigurosos) requeridos por el enfoque
axiomtico de la geometra clsica.
4.2 Isacc Newton
A Isacc Newton (1642-1727) se le debe el descubrimiento de la gravitacin
universal, el desarrollo del clculo infinitesimal e importantes descubrimientos
sobre ptica, as como las leyes que rigen la mecnica clsica [5].
4.3 Gottfried W. Leibniz
Filsofo y matemtico alemn (1646-1716); fund la Academia de Ciencias de
Berln (1700). En ''Discurso sobre el arte combinatorio'' enuncia la necesidad
de un lenguaje riguroso, exacto y universal (un lenguaje puramente formal).
Como matemtico, su principal trabajo (publicado en 1684) es la memoria
intitulada ''Nuevo mtodo para la determinacin de los mximos y los
mnimos'', en el que expone las ideas fundamentales del clculo infinitesimal,
anticipndose unos aos a Newton. La notacin que emple es particularmente
cmoda y se sigue utilizando con algunas modificaciones; introdujo el smbolo
de integral y de diferencial de una variable. En el rea de lgica matemtica

public ''Generales inquisitiones de analysi notionum et veritatum'' y

''Fundamenta calculi logici'' [5].
5 Formalizacin de las Matemticas
Esta etapa se caracteriza por el resurgimiento de la formalizacin rigurosa de
las matemticas, que en la etapa clsica griega fu representativa. El uso de
los infenitesimales fue una de las prcticas mas notoria en la poca
renacentista, para la cual no se ofrecia una justiticacin. La rigorizacin del
anlisis llego con la eliminacin de los infinitesimales y la presencia de los
lmites como argumento[7]. En este periodo se crea la lgica simblica, la
escuela formal, la lgica booleana, el clculo porposicional, la induccin
matemtica, el clculo de secuentes. Personajes muy notables de esta etapa
son: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen, Russell, Gdel y
Whitehead. A Rusell y Gdel se deben los planteamientos de las limitantes de
la lgica y de la ciencia en general.
5.1 Guiseppe Peano

La enunciacin de los principios del italiano Guiseppe Peano (1858-1932)

acerca de lgica matemtica y su aplicacin prctica quedaron contenidos en
su obra ''Formulaire de mathematiques''. Los axiomas de Peano permiten
definir el conjunto de los nmeros naturales [8].
5.2 David Hilbert
El matemtico alemn David Hilbert (1862-1943) fue un enconado defensor de
la axiomtica como enfoque principal de los problemas cientficos, esto es, de
partir de un conjunto cerrado e inamovible de premisas para construir la base
fundamental de cualquier estudio. A partir de las fuentes griegas de Euclides,
public en 1899 su obra ''Fundamentos de Geometra'', en la que mediante un
exhaustivo anlisis y perfeccionamiento de las ideas euclidianas, formul sus
principios de axiomatizacin. Segn sus teorias, es necesario establecer un
conjunto de postulados bsicos antes de plantear de modo ms detallado
cualquier tipo de problema fsico o matemtico. Estos principios deben ser
simblicos, sin recurrir a dibujos y representaciones grficas, y es necesario
preveer la mayora de las posibilidades con antelacin. Su concepcin
reconoca tres sistemas de entes geomtricos (puntos, rectas y planos) a los
que podan aplicarse axiomas distribuidos en cinco diferentes categoras:
pertenencia, orden, igualdad o congruencia, paralelismo y continuidad [8].
5.3 Friedrich G. Frege
Junto con Boole y Peano, el matemtico y lgico Friedrich G. Frege (1848-1925)
inicio la corriente de pensamiento que, partiendo del anlisis de los

fundamentos de la matemtica, llev a cabo la mas profunda renovacion y

desarrollo de la lgica clsica. Fue el primero en introducir los cuantificadores u
operadores y en elaborar una teora de la cuantificacin [9].
5.4 George Boole
El lgico y matemtico George Boole (1815-1864) aplic el clculo matemtico
a la lgica, fundando el lgebra de la lgica, que en cierto modo realiza el
sueo de Leibniz de una ''characteristica universalis'' o clculo del raciocinio. El
empleo de smbolos y reglas operatorias adecuados permite representar
conceptos, ideas y razonamientos mediante variables y relaciones (ecuaciones)
entre ellas. Boole dio un mtodo general para formalizar la inferencia
deductiva, representando complicados raciocinios mediante sencillos sistemas
de ecuaciones. As, la conclusin de un silogismo se encuentra eliminando el
trmino medio de un sistema de tres ecuaciones, conforme a las reglas del
lgebra comn, La formalizacin de la lgica, iniciada por Boole, ha contribuido
poderosamente a aclarar la estructura de los objetos lgicos, en contraposicin
a los materiales y aun en contraposicin a los matemticos, pese a las
analogas formales entre la matemtica y la lgica, que Boole seal. Su obra
principal es ''Investigacin de las leyes del pensamiento'' en las que se fundan
las teoras matemticas de la lgica y la probabilidad (1854), que aun hoy se
lee con deleite [8].
5.5 Augustus De Morgan

La mayor contribucin de Augustus De Morgan (1806-1871) en el estudio de la

lgica incluye la formulacin de las leyes de Morgan y su trabajo fundamenta la
teora del desarrollo de las relaciones y la matemtica simblica moderna o
lgica matemtica. De Morgan hizo su ms grande contribucin como
reformador de la lgica [9].
5.6 Georg F. Cantor
Al matemtico alemn Georg F. Cantor (1845-1918) se debe la idea del ''infinito
coninuo'', es decir, la posibilidad de considerar conjuntos infinitos dados
simultneamente. Se le considera el creador de la teoria de los nmeros
irracionales y de los conjuntos [5].
5.7 Gentzen
El alemn Gentzen (1909-1945) formul la prueba de la consistencia de un
sistema de aritmtica clsica, en el cual el mtodo no elemental es una
extensin de induccin matemtica a partir de una secuencia de nmeros
naturales a un cierto segmento de nmeros ordinales transfinitos [9].

5.8 Bertrand Rusell

Bertrand Rusell (1872-1970) es uno de uno de los creadores de la logstica y
uno de los pensadores de mayor influencia en la filosofa cientfica
contempornea. Lo fundamental de su obra est en sus aportes a la lgica.
Decididamente antiaristotlico, lleg a afirmar que quien quera iniciarse en la
lgica deba comenzar por no estudiar la lgica de Aristteles. Por influencia de
los trabajos de Cantor descubri en la teora de conjuntos varias paradojas que
resolvi mediante la teora de los tipos; aos ms tarde establecera una teora
similar, la de la jerarqua de los lenguajes, para eliminar las paradojas
semnticas. Siguiendo los trabajos de Cantor, Peano y Frege, Rusell se propuso
fundamentar y axiomatizar la matemtica a partir de conceptos lgicos. Este
empeo culmin con la publicacin (1910-1913) de los monumentales
''Principia Mathematica'' (en colaboracin con Whitehead), obra que, adems,
sentaba las bases de la moderna lgica formal.
5.9 Kurt Gdel
Kurt Gdel (1906-1978) tuvo mltiples contribuciones a la lgica matemtica,
destacando la demostracin de la consistencia de la hiptesis cantoriana del
continuo y el teorema y la prueba de incompletez semntica. En ''Sobre las
proposiciones indecidibles de los sistemas de matemtica formal'' establece
que es imposible construir un sistema de clculo lgico suficientemente rico en
el que todos sus teoremas y enunciados sean decidibles dentro del sistema.
Con este teorema se demostr definitivamente que era imposible llevar a cabo
el programa de la axiomatizacin completa de la matemtica propugnado por
Hilbert y otros, ya que, segn l, no puede existir una sistematizacin
coherente de la misma tal que todo enunciado matemtico verdadero admita
demostracin. Siempre habr enunciados que no son demostrables ni
refutables. Para probar esta asercin se sirvi de la matematizacin de la
sintaxis lgica.
6 La Revolucin Digital
Esta revolucin inicio con la invencin de la computadora digital y el acceso
universal a redes de alta velocidad. Turing une a la lgica y la computacin
antes que cualquier computadora fuera inventada. Weiner funda la ciencia de
la ciberntica. En la escuela moderna de la computacin estn presentes
lgicos que han permitido avances importantes: Hoare presenta un sistema
axiomtico de los sistemas de programacin y Dijkstra un sistema de
verificacin y deduccin de programas a partir de especificaciones.
6.1 Alan Turing
Matemtico y lgico quien fue pionero en la teora de la computacin y
contribuy en importantes anlisis lgicos de los procesos computacionales.

Las especificaciones para la computadora abstracta que l ide (llamada la

Mquina de Turing) result ser una de sus mas importantes contribuciones a la
teora de la computacin. Turing adems prob que es posible construir una
mquina universal que con una programacin adecuada podr hacer el trabajo
de cualquier mquina diseada para resolver problemas especficos [9].Alan
Turing invent la mquina que lleva su nombre (Mquina de Turing) en un
intento por determinar si toda la matemtica podia ser reducida a algn tipo
simple de computacin. Su objetivo fu desarrollar la mquina ms simple
posible capaz de realizar computacin. La mquina propuesta por Turing es un
dispositivo relativamente simple, pero capaz de realizar cualquier operacin
matemtica. Turing abrig la ilusin de que su mquina tena una capacidad tal
que, potencialmente, podra ser capaz de realizar cualquier cosa realizable por
el cerebro humano, incluyendo la capacidad de poseer conciencia de si mismo.
Pese a ser considerados formalmente equivalentes, distintos modelos de
computacin presentan estructuras y comportamientos internos diferentes
[10].
6.2 Norbert Weiner
El cientfico norteamricano Norbert Weiner (1894-1964) en 1947 publica su
libro ms famoso: ''Ciberntica, o control y comunicacin en el animal y la
mquina''; en donde se utiliza por primera vez la palabra Ciberntica. Existen
muchas definiciones de Ciberntica (del griego kybernetes, piloto), Norbert
Weiner dio vida a la palabra mediante una definicin muy simple: ''Ciencia que
estudia la traduccin de los procesos biolgicos a procesos de mquina''. En un
inicio, la Ciberntica estaba muy ligada a ciencias como neurologa, biologa,
robtica e inteligencia artificial.
6.3 Alfred Tarski
Matemtico y lgico polaco nacido en 1902, quien realizo importantes estudios
de lgebra en general, teora de mediciones, lgica matemtica, teora de
conjuntos, y metamatemticas.
7 La siguiente revolucin lgica
La siguiente revolucin lgica ser la asimilacin prctica de las matemticas y
la computacin dentro de la lgica. Se har enfsisi en que las computadoras
exploten la informacin inteligentemente, pasando de las bases de datos a las
bases de conocimientos [12].8 Conclusin
La lgica muestra un devenir histrico muy interesante, naciendo de la fuerte
formalizacin de las matemticas de los griegos, que fu impactada, como
muchas ciencias, por el pensamiento de la Edad Media, donde la religin se
anteponia a todo; pero, el impet de la mente de los filsofos renacentistas
ayud a retomar su desarrollo. No cabe duda que la lgica tiene impact

fundamental, como ciencia de las ciencias, en el pensamiento contemporaneo,

y que el nacimiento de la tecnolgia computacional deba mucho al desarrollo
del formalismo lgico de principios de siglo.