You are on page 1of 6

1

Breve Historia de la Lgica


Juan A. lvarez Vzquez
Julio A. Freyre Gonzlez
Rafael Rivera Lpez
Maestra en Ciencias Computacionales
Instituto Tecnolgico y de Estudios Superiores de Monterrey
Campus Morelos
http://w3.mor.itesm.mx/~logica/

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 Poincar. Esta
descripcin histrica se presenta ordenada en las cinco revoluciones sealadas por Poincar, 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. Poincar 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
utilizadas 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 slo una 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 Platn, 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 metafsica, 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 numerosos 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 Isaac Newton


A Isaac 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 infinitesimales fue una de las prcticas ms notoria en la poca
renacentista, para la cual no se ofreca una justiticacin. La rigorizacin del anlisis lleg 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 proposicional, 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 teoras, 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 prever 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 ms profunda
renovacin 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 continuo'', es decir, la
posibilidad de considerar conjuntos infinitos dados simultneamente. Se le considera el creador de la teora 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 Russell


Bertrand Russell (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, Russell 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 poda ser reducida a algn tipo simple de computacin. Su objetivo fue 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 Wiener


El cientfico estadounidense Norbert Wiener (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 Wiener 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 realiz 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 nfasis 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 fue impactada, como muchas ciencias, por el pensamiento de la Edad Media, donde la
religin se antepona a todo; pero, el mpetu 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 contemporneo, y que el nacimiento de la tecnologa computacional deba mucho al desarrollo del
formalismo lgico de principios de siglo.

9 Referencias
1. Frausto, Juan. ''Evolucin de la Lgica: Pasado, Presente y
Futuro''.http://w3.mor.itesm.mx/logica/log9808/evolucin.html . 12 de agosto de 1999.

2. Poincar, 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.

3. Gran Enciclopedia de la Ciencia y de la Tecnologa. Varios volmenes. Ediciones Ocano.


Espaa.1996

4. Poincar, Enri. ''Classical Greek Mathematics''. 10 de agosto de


1999.http://www.rbjones.com/rbjpub/maths/math005.html . 17 de agosto de 1999.

5. Diccionario Enciclopdico Universal. Varios volmenes. Ediciones Oceano. Espaa. 1994.


6. Poncair, Henri. ''Mathematics and the Scientific Revolution''. 5 de octubre de
1996.http://www.rbjones.com/rbjpub/maths/math011.html . 17 de agosto de 1999.

7. Poncair, Henri. ''The Formalisation of Mathematics''. 5 de octubre de


1996.http://www.rbjones.com/rbjpub/maths/math006.html . 17 de agosto de 1999.

8. Enciclopedia Hispnica. Varios volmenes. Ed. Encyclopaedia Britannica Publishers. Mxico. 1990.
9. Encyclopaedia Britannica. Varios volmenes. Ed. Encyclopaedia Britannica Publishers. Estados
Unidos. 1980.

10. Campos Domngez, 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.

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


1999.

12. Poncair, Henri. ''The Next Logical Revolution''. 3 de noviembre de


1996.http://www.rbjones.com/rbjpub/logic/engl002.html . 18 de agosto de 1999.
Autores:
Juan A. lvarez Vzquez
Julio A. Freyre Gonzlez
Rafael Rivera Lpez
Maestra en Ciencias Computacionales
Instituto Tecnolgico y de Estudios Superiores de Monterrey
Campus Morelos
http://w3.mor.itesm.mx/~logica/

Fuente:
http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Brev
e_Historia_de_la_Logica.htm

.
Domenech Larraz
email Copyright 2002 / 2003 Jaume Domenech Larraz
email Copyright 2002 / 2003 Jaume
Web allotjada al servidor de http://www.xtec.es/~jdomen28 de Xtec / Pie i
email del servidor