1

LGICA BREVE HISTORIA DE LA LGICA

"Antes del pensamiento que aspira a una coherencia lgica hallamos fe en una u otra magia".
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 Poncair1; 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 a.C. hasta 300 a.C. 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 los Elementos Euclides organiza las pruebas
deductivas de que dispone dentro de una estructura sistemtica, rigurosa, altamente eficaz.
Platn
Platn, 427aC - 347 a.C. 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

2
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

3
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 dialctica entendida 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

5
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 Tarski5 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

6
El gran impulsor de la matemtica contempornea y pionero de la geometra fractal 6 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.
In fieri.
NOTAS
1 - Henri Poincar. University of St. Andrews.
www-history.mcs.st-andrews.ac.uk
2 - Antonio Escohotado. Gnesis y Evolucin del Pensamiento Cientfico.
www.escohotado.com
3 - Cfr. Escohotado. El Pensamiento Precientfico. Tema 1.
www.escohotado.com
4 - Cfr. Las trivialidades del rigor, Escohotado, Caos y Orden, 1999.
5 - Alfred Tarski. Wikipedia.
en.wikipedia.org/wiki/Tarski
6 - Benoit Mandelbrot. Historia de las Fractales.
www.geometriafractal.com
BIBLIOGRAFIA

TRACTATUS LOGICO-PHILOSOPHICUS
de WITTGENSTEIN, LUDWIG EDITORIAL TECNOS
N Edicin:1
Ao de edicin:2007
Plaza edicin: MADRID