"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 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 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 Conjuntosvarias 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
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

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.

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

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

DISCURSO DEL METODO (6 ED.)

de DESCARTES, RENE y EST. DE EDUARDO BELLO REGUERA.
EDITORIAL TECNOS.
N Edicin: 6
Ao de edicin: 2006
Plaza edicin: MADRID

CONNAISSANCE ET INTERET
de HABERMAS, JURGEN
GALLIMARD.
N Edicin: 1
Ao de edicin: 1997
Plaza edicin: PARIS

DICCIONARIO DE LGICA Y FILOSOFIA DE LA CIENCIA

de MOSTERIN, JESUS y TORRETTI, ROBERTO
ALIANZA EDITORIAL S.A.
N Edicin:1
Ao de edicin: 2002
Plaza edicin: MADRID

DISCURSO SOBRE EL ESPIRITU POSITIVO

de COMTE, AUGUSTE
ALIANZA EDITORIAL S.A.
N Edicin: 1
Ao de edicin: 2000
Plaza edicin: MADRID

LA LOGICA DE LA INVESTIGACION CIENTIFICA

de POPPER, KARL RAIMUND
EDITORIAL TECNOS.
N Edicin: 1
Ao de edicin: 1985
Plaza edicin: MADRID