Abstract

Esta Breve Historia de la Lgica es un documento abierto en fase 2.0 publicado

online desde 2005 a partir de un texto actualmente desaparecido que se apoyaba
en un modelo de exposicin utilizado por Henri Poncair 1; en 2007 se incorporan
datos del modelo de exposicin que Antonio Escohotado propone en Gnesis y
evolucin del pensamiento cientfico2.

Introduccin3

El nacimiento de la lgica propiamente dicho est directamente relacionado con el

nacimiento intelectual del ser humano. La lgica emerge como mecanismo
espontneo en el enfrentamiento del hombre con la naturaleza, para comprenderla
y aprovecharla. Poncair destaca cinco etapas o revoluciones en ese proceso que
se presentan 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 y Revolucin Digital adems de la prxima y prevista
Revolucin Lgica.

Lgica Matemtica

La lgica matemtica cuestiona con rigor los conceptos y las reglas de deduccin
utilizados en matemticas lo que convierte la lgica en una especie de
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.

Las matemticas y la lgica

Del ao 600 aC hasta 300 aC se desarrollan en Grecia los principios formales de

las matemticas. Este periodo clsico lo protagonizan Platn, Aristteles y
Euclides. Platn propone ideas o abstracciones. Aristteles resuelve el
razonamiento deductivo y sistematizado. Euclides es el autor que establece el
mtodo axiomtico. En losElementos Euclides organiza las pruebas deductivas de
que dispone dentro de una estructura sistemtica, rigurosa, altamente eficaz.

Platn
Platn, 427aC - 347 aC, propone instaurar en Siracusa una utpica repblica
dirigida por filsofos. Crea la Academia de Atenas que no era solo una institucin
filosfica, sino centro de formacin poltica para jvenes aristcratas. Segn
algunos especialistas, Platn edifica su teora del conocimiento con el fin de
justificar el poder emergente de la figura del filsofo. Sostiene la existencia de dos
mundos -el mundo de las ideas y el de mundo fsico de los objetos. Segn Platn,
lo concreto se percibe en funcin de lo abstracto y por tanto el mundo sensible
existe gracias al mundo de las ideas. Platn escoge el formato dilogo como forma
de transmisin del pensamiento.

Aristteles

Los tratados de lgica de Aristteles, 384aC - 332 aC, conocidos como Organn,
contienen el primer tratado sistemtico de las leyes de pensamiento para la
adquisicin de conocimiento. Representan el primer intento serio que funda la
lgica como ciencia. Aristteles no hace de la lgica una disciplina metafsica sino
que establece correspondencias recprocas entre pensamiento lgico y estructura
ontolgica. El silogismo fue adoptado por los escolsticos que representan el
sistema teolgico-filosfico, caracterstico de la Edad Media. 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 como
Rame, Arnauld, Nicole, Leibniz, Euler, y Lambert procuraron simplificarla al
mximo, y su tratamiento matemtico se complet hasta principios del siglo XX
con Boole, De Morgan, Frege y 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 en otros tiempos.

Euclides

Matemtico alejandrino autor de la universal obra, los clebres Elementos. Uno de

los textos matemticos ms relevantes de la historia del pensamiento cientfico
hasta del siglo XIX. Los Elementos estn divididos en XIII Libros y constituyen la
recopilacin ms exhaustiva de las matemticas conocidas en el ao 300 aC. Su
valor universal lo propaga el uso riguroso del mtodo deductivo que distingue
entre principios -definiciones, axiomas y postulados-, y teoremas, que se
demuestran a partir de los principios. A lo largo de la historia se mantuvo la
sospecha de que el quinto postulado era demostrable a partir de los anteriores. El
deseo de resolver tal hiptesis ocupa hasta el siglo XIX con la construccin de las
geometras no euclidianas y se deduce con ellas la imposibilidad de demostrar el
quinto postulado.

Apolonio de Perga

La obra sobre curvas cnicas de Apolonio de Perga, un gemetra de la poca

helenstica-, inicialmente dirigido a euclidianos exquisitos, se convirti en manual
para balsticos del Renacimiento como Tartaglia y, poco despus, en base
inmediata de la dinmica newtoniana4.
La ciencia matemtica

Ante el retroceso de la escuela clsica de los griegos se presentan periodos de

autoridad religiosa. El Renacimiento es el inicio de una nueva revolucin que
revive la ciencia y las matemticas. Los representantes ms destacados son
Descartes, Newton y Leibniz. Este periodo abarca del ao 1500dC al 1800 dC.

Ren Descartes

Filsofo y matemtico francs, 1596-1650, parte de la duda universal como

principio y prescinde de cualquier conocimiento previo que no quede demostrado
por la evidencia con que ha de manifestarse el espritu. Descartes duda 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 a la vez que aporta un corpus cuantitativo al asunto y permite el uso de
mtodos algebraicos. La geometra exige ser cuantitativa para ser usada en
ciencia e ingeniera, y los mtodos algebraicos permiten el desarrollo ms rpido
que los mtodos sistemticos -a su vez ms rigurosos- requeridos por el enfoque
axiomtico de la geometra clsica. Ubi dubium ibi libertas, donde hay duda hay
libertad.

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 que alimentara el
nacimiento de la mecnica cuntica. Su obra fundamental, Principios matemticos
de la filosofa natural (1686).

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 puramente formal. Como matemtico, su
principal trabajo publicado en 1684 es la memoria Nuevo mtodo para la
determinacin de los mximos y los mnimos, en la 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 publica Generales inquisitiones de analysi notionum
et veritatum y Fundamenta calculi logici .

Georg Wilhelm Friedrich Hegel

Filsofo alemn, 1770-1831; fascinado por la obra de Kant y de Rousseau. Autor
de Ciencia de la lgica se le atribuye con este trabajo la constitucin de la lgica
dialcticaentendida como principio motor del concepto que disuelve y produce las
particularidades de lo universal.

Nikolai I. Lobachevsky

Matemtico ruso, 1792-1856; funda la Geometra No Euclidiana y renueva por ello

los fundamentos que hasta ese momento cimentaban la ciencia de la
Geometra. Lobachevsky lleva a cabo su revolucin en el planteamiento que
hasta entonces haba utilizado la ciencia Matemtica para resolver el enigma del
quinto postulado de Euclides que a su vez sirve de puerta a Lobachevsky para
adentrarse en los renovados campos de lo fsico y lo real.

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 ms notoria en la poca renacentista, para
la cual no se ofreca una justificacin. La rigorizacin del anlisis lleg con la
eliminacin de los infinitesimales y la presencia de los lmites como argumento. 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.

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.

David Hilbert

Matemtico alemn, 1862-1943, aporta grandes avances a campos fundamentales

de la relatividad y la mecnica cuntica con la Teora de Invariantes y el concepto
de Espacio de Hilbert. A partir de las fuentes griegas de Euclides, publica en 1899
su obra Fundamentos de Geometra, en la que formula sus principios de
axiomatizacin de la geometra. 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
preveer la mayora de las posibilidades con antelacin. Su concepcin reconoca
tres sistemas de entes geomtricos, puntos, rectas y planos a los que pueden
aplicarse axiomas distribuidos en cinco categoras: pertenencia, orden, igualdad o
congruencia, paralelismo y continuidad.

Friedrich G. Frege

Junto con Boole y Peano, el matemtico y lgico Friedrich G. Frege, 1848-1925,

partiendo del anlisis de los fundamentos de la matemtica lleva a cabo la ms
profunda renovacin y desarrollo de la lgica clsica hasta el momento. Es el
primero en introducir los cuantificadores u operadores y en elaborar una Teora de
la Cuantificacin.

George Boole

El lgico y matemtico George Boole, 1815-1864 aplica el clculo matemtico a la

lgica, fundando el lgebra de la lgica. 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 an hoy se lee con deleite.

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 es autor de la mayor contribucin como reformador de la
lgica.

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.

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.

Bertrand Rusell

Bertrand Rusell (1872-1970) es uno de los creadores de la logstica y uno de los

pensadores de mayor influencia en la filosofa cientfica contempornea. Lo
fundamental en su obra es su aportacin a la lgica. Antiaristotlico por excelencia
lleg a afirmar que para iniciarse en lgica lo bsico era no estudiar la lgica de
Aristteles. Conociendo los trabajos de Cantor descubre en la Teora de
Conjuntos varias paradojas que resuelve mediante la Teora de los Tipos. Aos
ms tarde establece una teora similar, -la de la jerarqua de los lenguajes- para
eliminar las paradojas semnticas. Siguiendo adems de los trabajos de Cantor, a
Peano y Frege, Rusell se propone fundamentar y axiomatizar la matemtica a
partir de conceptos lgicos. Este empeo culmina con la publicacin (1910-1913)
de los monumentales Principia Mathematica -en colaboracin con Whitehead-,
obra que, adems, sienta las bases de la moderna lgica formal.

Kurt Gdel

Kurt Gdel (1906-1978) aporta mltiples contribuciones a la lgica matemtica,

destacando la demostracin de la consistencia de la hiptesis cantoriana del
continuo y el teorema y 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.

La Revolucin Digital

Esta revolucin se inicia con la invencin de la computadora digital y el acceso

universal a las redes de alta velocidad. Turing relaciona lgica y computacin
antes que cualquier computadora procese datos. Weiner funda la ciencia de la
Ciberntica. En las Escuelas modernas de Computacin estn presentes Lgicos
que han permitido avances importantes como Hoare que presenta un sistema
axiomtico de los sistemas de programacin y Dijkstra con un sistema de
verificacin y deduccin de programas a partir de especificaciones.

Alan Turing
Matemtico y Lgico pionero en Teora de la Computacin que contribuye a
importantes anlisis lgicos de los procesos computacionales. Las
especificaciones para la computadora abstracta que l idea -conocida
como Mquina de Turing-, resulta ser una de sus ms importantes contribuciones
a la Teora de la Computacin. Turing adems prueba que es posible construir una
mquina universal con una programacin adecuada capaz de hacer el trabajo de
cualquier mquina diseada para resolver problemas especficos. La Mquina de
Turing es un intento para determinar si la matemtica se puede reducir 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 se ilusion con la idea de que su mquina poda realizar cualquier proceso
del cerebro humano, inclusive la capacidad de producir conciencia de uno mismo.

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-, y Norbert Weiner da
vida a la palabra con una definicin simple: La Ciberntica es la ciencia que
estudia la traduccin de procesos biolgicos a procesos que reproduce una
mquina. Desde los inicios la Ciberntica se relaciona directamente con ciencias
como Neurologa, Biologa, Biosociologa, Robtica e Inteligencia Artificial.

Luitzen Egbertus Jan Brouwer

Matemtico y lgico alemn (1881-1966) conocido como LEJ Brouwer y fundador

de la escuela de la Lgica intuicionista contrarrestando definitivamente el
formalismo de Hilbert. Miembro del Significs Group son significativos sus
trabajos Life, Art and Mysticism (1905) y Sobre la infiabilidad de los principios
lgicos.

Alfred Tarski

Matemtico y lgico y filsofo polaco (1902-1983). Emrito profesor de la

University of California, Berkeley, realiza importantes estudios sobre lgebra en
general, teora de mediciones, lgica matemtica, teora de conjuntos, y
metamatemticas. El trabajo de Tarski 5 incluye respuestas a la paradoja de
Banach-Tarski, el teorema de la indefinibilidad de la verdad, las nociones de
cardinal, ordinal, relacin y es inductor de las lgebras cilndricas.

Benoit Mandelbrot

El gran impulsor de la matemtica contempornea y pionero de la geometra

fractal6 a quien la computacin pura revela la moderna Geometra de la
Naturaleza. Fractal y geometra fractal son el corpus principal de sus
investigaciones adems de los sistemas irreversibles. A la prctica totalidad de
disciplinas se aplican hoy sus principios dando por sentado paradigmas como
la Teora del Caos que a finales del siglo XX ya contemplaba el estudio de
sistemas dinmicos, irreversibles, caticos.

La siguiente revolucin lgica

La siguiente Revolucin Lgica incorpora la fusin entre matemticas y

computacin. Las computadoras tienden a explorar
datos inteligentemente transfiriendo informacin de las bases de datos a las bases
de conocimiento interconectadas a travs de la Red a escala infinitesimal.

La lgica evoluciona pues como un gen hacia la culminacin del conocimiento libre
que nace del rigor formal de la Matemtica griega; emerge renovadamente de
etapas de persecucin tan oscuras como la Edad Media y otros intentos ms
recientes; hasta el intercambio constante y continuo de datos en la moderna era
de estructura de redes que Internet proporciona a modo neuronal a la Humanidad.