Breve Historia de la Lgica

Juan A. Alvarez Vzquez

Julio A. Freyre Gonzlez
Rafael Rivera Lpez
Maestra en Ciencias Computacionales
Instituto Tecnolgico y de Estudios Superiores de Monterrey
Campus Morelos
Abstract
Se presenta una breve descripcin histrica de la lgica y su posible desarrollo futuro.
Esta descripcin es un resumen de varias referencias electrnicas, donde resalta la
informacin presentada por Henri Poncaire. Esta descripcin histrica se presenta
ordenada en las cinco revoluciones sealadas por Poncaire, y dentro de cada una se
revisan a sus principales representantes.
1 Introduccin
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 teolgicofilosfico, 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. [11].
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.
9 Referencias
Frausto, Juan. ''Evolucin de la Lgica: Pasado, Presente y Futuro''.
http://w3.mor.itesm.mx/logica/log9808/evolucin.html. 12 de agosto de 1999.
Poincare, Henri. ''Logical Revolution. Past, present and future''. 17 de agosto de 1999.
http://www.rbjones.com/rbjpub/www/colum/c00300.html. 17 de agosto de 1999.
Gran Enciclopedia de la Ciencia y de la Tecnologa. Varios volmenes. Ediciones
Ocano. Espaa.1996
Poincare, Enri. ''Classical Greek Mathematics''. 10 de agosto de 1999.
http://www.rbjones.com/rbjpub/maths/math005.html. 17 de agosto de 1999.
Diccionario Enciclopedico Univesal. Varios volmenes. Ediciones Oceano. Espaa.
1994.
Poncaire, Henri. ''Mathematics and the Scientific Revolution''. 5 de octubre de 1996.
http://www.rbjones.com/rbjpub/maths/math011.html. 17 de agosto de 1999.
Poncaire, Henri. ''The Formalisation of Mathematics''. 5 de octubre de 1996.
http://www.rbjones.com/rbjpub/maths/math006.html. 17 de agosto de 1999.
Enciclopedia Hispnica. Varios volmenes. Ed. Encyclopaedia Britannica Publishers.
Mxico. 1990.
Encyclopaedia Britannica. Varios volmenes. Ed. Encyclopaedia Britannica Publishers.
Estados Unidos. 1980.
Campos Domingez, Daniel. ''Modelos de Computacin''. Arquitectura y Organizacin
de Computadores. Agosto de 1997.
http://www.inf.udec.cl/campos/arquitectura/modelos.html. 18 de agosto de 1999.

Asociacin Mexicana de Ingenieros en ciberntica.http://www.cibernetica.org.mx/. 18

de agosto de 1999.
Poncaire, Henri. ''The Next Logical Revolution''. 3 de noviembre de 1996.
http://www.rbjones.com/rbjpub/logic/engl002.html. 18 de agosto de 1999