HISTORIA DE LA LOGICA

ABSTRACTO
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; en 2007 se incorporan datos del modelo de exposicin
que

Antonio

Escohotado

propone

en Gnesis

evolucin

del

pensamiento cientfico.
INTRODUCCIN
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

los

Elementos 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, 384 AC - 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

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 decencia 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 fue
representativa. El uso de los infinitesimales 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 prever 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 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
contribuye

Lgico pionero en Teora de la Computacin que

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 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 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 norteamericano 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

moderna Geometra

quien
de

la

la

computacin

Naturaleza.

Fractal

pura
y

revela

la

geometra 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

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.