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 200 se incorporan datos del modelo de
exposicin que !ntonio Esco"otado propone enGnesis y evolucin del pensamiento
cientfico
2
.
Introduccin
3

El nacimiento de la l#ica propiamente dic"o est$ directamente relacionado con el
nacimiento intelectual del ser "umano. %a l#ica emer#e como mecanismo espont$neo en
el enfrentamiento del "ombre con la naturaleza& para comprenderla y apro'ec"arla.
Poncair destaca cinco etapas o re'oluciones en ese proceso que se presentan entre dos
#randes tpicos( del ri#or y la formalidad& a la creati'idad y el caos. %as etapas se
identifican como( )e'olucin *atem$tica& )e'olucin +ient,fica& )e'olucin -ormal y
)e'olucin .i#ital adem$s de la prxima y pre'ista )e'olucin %#ica.
Lgica Matemtica
%a l#ica matem$tica cuestiona con ri#or los conceptos y las re#las de deduccin utilizados
en matem$ticas lo que con'ierte la l#ica en una especie de metamatem$tica. /na teor,a
matem$tica considera ob0etos definidos 1enteros& por e0emplo1 y define leyes que
relacionan a estos ob0etos entre s,& los axiomas de la teor,a. .e los axiomas se deducen
nue'as proposiciones 1los teoremas1& y a 'eces& nue'os ob0etos. %a construccin de
sistemas formales 1formalizacin& piedra an#ular de la l#ica matem$tica1& permite
eliminar la arbitrariedad en la eleccin de los axiomas y definir expl,cita y
ex"austi'amente las re#las de la deduccin matem$tica.
Las matemticas y la lgica
.el a2o 300 a+ "asta 400 a+ se desarrollan en 5recia los principios formales de las
matem$ticas. Este periodo cl$sico lo prota#onizan Platn& !ristteles y Euclides. Platn
propone ideas o abstracciones. !ristteles resuel'e el razonamiento deducti'o y
sistematizado. Euclides es el autor que establece el mtodo axiom$tico. En
los Elementos Euclides or#aniza las pruebas deducti'as de que dispone dentro de una
estructura sistem$tica& ri#urosa& altamente eficaz.
Platn
Platn& 62a+ 1 46 a+& propone instaurar en 7iracusa una utpica rep8blica diri#ida por
filsofos. +rea la !cademia de !tenas que no era solo una institucin filosfica& sino
centro de formacin pol,tica para 0'enes aristcratas. 7e#8n al#unos especialistas& Platn
edifica su teor,a del conocimiento con el fin de 0ustificar el poder emer#ente de la fi#ura
del filsofo. 7ostiene la existencia de dos mundos 1el mundo de las ideas y el de mundo
f,sico de los ob0etos. 7e#8n Platn& lo concreto se percibe en funcin de lo abstracto y por
tanto el mundo sensible existe #racias al mundo de las ideas. Platn esco#e el
formato dilogo como forma de transmisin del pensamiento.
Aristteles
%os tratados de l#ica de !ristteles& 496a+ 1 442 a+& conocidos comoOrgann& contienen
el primer tratado sistem$tico de las leyes de pensamiento para la adquisicin de
conocimiento. )epresentan el primer intento serio que funda la l#ica como ciencia.
!ristteles no "ace de la l#ica una disciplina metaf,sica sino que establece
correspondencias rec,procas entre pensamiento l#ico y estructura ontol#ica.
El silogismo fue adoptado por los escol$sticos que representan el sistema teol#ico1
filosfico& caracter,stico de la Edad *edia. %a escol$stica& sin embar#o& acab por
sobrecar#ar la teor,a del silo#ismo& lo que acarre su descrdito a partir del )enacimiento.
%os l#icos de la edad moderna como )ame& !rnauld& :icole& %eibniz& Euler& y %ambert
procuraron simplificarla al m$ximo& y su tratamiento matem$tico se complet "asta
principios del si#lo ;; con <oole& .e *or#an& -re#e y )ussell. .esde entonces
el silogismo se incluye en la l#ica de predicados de primer orden y en la l#ica de clases&
y ocupa en la ciencia l#ica un papel muc"o menor que en otros tiempos.
Euclides
*atem$tico ale0andrino autor de la uni'ersal obra& los clebres Elementos. /no de los
textos matem$ticos m$s rele'antes de la "istoria del pensamiento cient,fico "asta del
si#lo ;=;. %os Elementos est$n di'ididos en ;=== %ibros y constituyen la recopilacin m$s
ex"austi'a de las matem$ticas conocidas en el a2o 400 a+. 7u 'alor uni'ersal lo propa#a el
uso ri#uroso del mtodo deducti'o que distin#ue entre principios 1definiciones& axiomas y
postulados1& y teoremas& que se demuestran a partir de los principios. ! lo lar#o de la
"istoria se mantu'o la sospec"a de que el quinto postulado era demostrable a partir de
los anteriores. El deseo de resol'er tal "iptesis ocupa "asta el si#lo ;=; con la
construccin de las #eometr,as no euclidianas y se deduce con ellas la imposibilidad de
demostrar el quinto postulado.
Apolonio de Perga
%a obra sobre cur'as cnicas de !polonio de Per#a& >un #emetra de la poca "elen,stica1&
inicialmente diri#ido a euclidianos exquisitos& se con'irti en manual para bal,sticos del
)enacimiento como ?arta#lia y& poco despus& en base inmediata de la din$mica
ne@tonianaA
4
.
La ciencia matemtica
!nte el retroceso de la escuela cl$sica de los #rie#os se presentan periodos de autoridad
reli#iosa. El )enacimiento es el inicio de una nue'a re'olucin que re'i'e la ciencia y las
matem$ticas. %os representantes m$s destacados son .escartes& :e@ton y %eibniz. Este
periodo abarca del a2o B500d+ al B900 d+.
Ren !escartes
-ilsofo y matem$tico francs& B5C31B350& parte de la duda uni'ersal como principio y
prescinde de cualquier conocimiento pre'io que no quede demostrado por la e'idencia
con que "a de manifestarse el esp,ritu. .escartes duda de toda ense2anza recibida& de
todo conocimiento adquirido& del testimonio de los sentidos e incluso de las 'erdades de
orden racional. %le#ado a este punto& "alla una 'erdad de la que no puede dudar( la
e'idencia interior que se manifiesta en su propio su0eto D>pienso, luego existoAE. +omo
cient,fico& se debe a .escartes& entre otras aportaciones de considerable importancia& la
creacin de la #eometr,a anal,tica a la 'ez que aporta un corpus cuantitati'o al asunto y
permite el uso de mtodos al#ebraicos. %a #eometr,a exi#e ser cuantitati'a para ser usada
en ciencia e in#enier,a& y los mtodos al#ebraicos permiten el desarrollo m$s r$pido que
los mtodos sistem$ticos 1a su 'ez m$s ri#urosos1 requeridos por el enfoque axiom$tico
de la #eometr,a cl$sica. !i du!ium i!i li!ertas& donde "ay duda "ay libertad.
Isacc "e#ton
! =sacc :e@ton & B3621B2& se le debe el descubrimiento de la #ra'itacin uni'ersal& el
desarrollo del c$lculo infinitesimal e importantes descubrimientos sobre ptica& as, como
las leyes que ri#en la mec$nica cl$sica que alimentar,a el nacimiento de la mec$nica
cu$ntica. 7u obra fundamental& "rincipios matemticos de la filosofa natural DB393E.
$ott%ried &' Leibni(
-ilsofo y matem$tico alem$n& B3631BB3; fund la !cademia de +iencias de <erl,n& B00.
En #iscurso so!re el arte com!inatorio enuncia la necesidad de un len#ua0e ri#uroso&
exacto y uni'ersal puramente formal. +omo matem$tico& su principal traba0o publicado en
B396 es la memoria $uevo mtodo para la determinacin de los mximos y los mnimos&
en la que expone las ideas fundamentales del c$lculo infinitesimal& anticip$ndose unos
a2os a :e@ton. %a notacin que emple es particularmente cmoda y se si#ue utilizando
con al#unas modificaciones; introdu0o el s,mbolo de inte#ral y de diferencial de una
'ariable. En el $rea de l#ica matem$tica publica Generales in%uisitiones de analysi
notionum et veritatum y &undamenta calculi logici .
$eorg &il)elm *riedric) +egel
-ilsofo alem$n& B01B94B; fascinado por la obra de Fant y de )ousseau. !utor
de 'iencia de la lgica se le atribuye con este traba0o la constitucin de lalgica
dialctica entendida como principio motor del concepto que disuel'e y produce las
particularidades de lo uni'ersal.
"i,olai I' Lobac)e-s,y
*atem$tico ruso& BC21B953; funda la 5eometr,a :o Euclidiana y renue'a por ello los
fundamentos que "asta ese momento cimentaban la ciencia de la
5eometr,a. Lobac)e-s,y lle'a a cabo su re'olucin en el planteamiento que "asta
entonces "ab,a utilizado la ciencia *atem$tica para resol'er el eni#ma del quinto
postulado de Euclides que a su 'ez sir'e de puerta a %obac"e'sGy para adentrarse en los
reno'ados campos de lo fsico y lo real.
*ormali(acin de las Matemticas
Esta etapa se caracteriza por el resur#imiento de la formalizacin ri#urosa de las
matem$ticas& que en la etapa cl$sica #rie#a fu representati'a. El uso de los
infenitesimales fue una de las pr$cticas m$s notoria en la poca renacentista& para la cual
no se ofrec,a una 0ustificacin. %a ri#orizacin del an$lisis lle# con la eliminacin de los
infinitesimales y la presencia de los l,mites como ar#umento. En este periodo se crea la
l#ica simblica& la escuela formal& la l#ica booleana& el c$lculo proposicional& la
induccin matem$tica& el c$lculo de secuentes&.... Persona0es muy notables de esta etapa
son( Peano& Hilbert& -re#e& <oole& de *or#an& 5entzen& )ussell& 5Hdel y I"ite"ead. !
)usell y 5Hdel se deben los planteamientos de las limitantes de la l#ica y de la ciencia en
#eneral.
$uiseppe Peano
%a enunciacin de los principios del italiano 5uiseppe Peano& B9591BC42& acerca de l#ica
matem$tica y su aplicacin pr$ctica quedaron contenidos en su obra &ormulaire de
mat(emati%ues. %os axiomas de Peano permiten definir el con0unto de los n8meros
naturales.
!a-id +ilbert
*atem$tico alem$n& B9321BC64& aporta #randes a'ances a campos fundamentales de la
relati'idad y la mec$nica cu$ntica con la ?eor,a de =n'ariantes y el concepto de Espacio de
Hil!ert. ! partir de las fuentes #rie#as de Euclides& publica en B9CC su obra &undamentos
de Geometra& en la que formula sus principios de axiomatizacin de la #eometr,a. 7e#8n
sus teor,as& es necesario establecer un con0unto de postulados b$sicos antes de plantear
de modo m$s detallado cualquier tipo de problema f,sico o matem$tico. Estos principios
deben ser simblicos& sin recurrir a dibu0os y representaciones #r$ficas& y es necesario
pre'eer la mayor,a de las posibilidades con antelacin. 7u concepcin reconoc,a tres
sistemas de entes #eomtricos& puntos& rectas y planos a los que pueden aplicarse
axiomas distribuidos en cinco cate#or,as( pertenencia& orden& i#ualdad o con#ruencia&
paralelismo y continuidad.
*riedric) $' *rege
Junto con <oole y Peano& el matem$tico y l#ico -riedric" 5. -re#e& B9691BC25& partiendo
del an$lisis de los fundamentos de la matem$tica lle'a a cabo la m$s profunda reno'acin
y desarrollo de la l#ica cl$sica "asta el momento. Es el primero en introducir los
cuantificadores u operadores y en elaborar una ?eor,a de la +uantificacin.
$eorge .oole
El l#ico y matem$tico 5eor#e <oole& B9B51B936 aplica el c$lculo matem$tico a la l#ica&
fundando el $l#ebra de la l#ica. En cierto modo realiza el sue2o de %eibniz de
una c(aracteristica universalis o c$lculo del raciocinio. El empleo de s,mbolos y re#las
operatorias adecuados permite representar conceptos& ideas y razonamientos mediante
'ariables y relaciones DecuacionesE entre ellas. <oole dio un mtodo #eneral para
formalizar la inferencia deducti'a& representando complicados raciocinios mediante
sencillos sistemas de ecuaciones. !s,& la conclusin de un silo#ismo se encuentra
eliminando el trmino medio de un sistema de tres ecuaciones& conforme a las re#las del
$l#ebra com8n& %a formalizacin de la l#ica& iniciada por <oole& "a contribuido
poderosamente a aclarar la estructura de los ob0etos l#icos& en contraposicin a los
materiales y aun en contraposicin a los matem$ticos& pese a las analo#,as formales entre
la matem$tica y la l#ica& que <oole se2al. 7u obra principal es )nvestigacin de las leyes
del pensamiento en las que se fundan las teor,as matem$ticas de la l#ica y la
probabilidad& B956& que a8n "oy se lee con deleite.
Augustus !e Morgan
%a mayor contribucin de Augustus !e Morgan DB9031B9BE en el estudio de la l#ica
incluye la formulacin de las Leyes de *organ y su traba0o fundamenta la teor,a del
desarrollo de las relaciones y la matem$tica simblica moderna o l#ica matem$tica. .e
*or#an es autor de la mayor contribucin como reformador de la l#ica.
$eorg *' /antor
!l matem$tico alem$n 5eor# -. +antor& B9651BCB9& se debe la idea delinfinito continuo& es
decir& la posibilidad de considerar con0untos infinitos dados simult$neamente. 7e le
considera el creador de la teor,a de los n8meros irracionales y de los con0untos.
$ent(en
El alem$n 5entzen DBC0C1BC65E formul la prueba de la consistencia de un sistema de
aritmtica cl$sica en el cual el mtodo no elemental es una extensin de induccin
matem$tica a partir de una secuencia de n8meros naturales a un cierto se#mento de
n8meros ordinales transfinitos.
.ertrand Rusell
<ertrand )usell DB921BC0E es uno de los creadores de la lo#,stica y uno de los
pensadores de mayor influencia en la filosof,a cient,fica contempor$nea. %o fundamental
en su obra es su aportacin a la l#ica. !ntiaristotlico por excelencia lle# a afirmar que
para iniciarse en l#ica lo b$sico era no estudiar la l#ica de !ristteles. +onociendo los
traba0os de +antor descubre en la0eor1a de /on2untos 'arias parado0as que resuel'e
mediante la ?eor,a de los ?ipos. !2os m$s tarde establece una teor,a similar& 1la de la
0erarqu,a de los len#ua0es1 para eliminar las parado0as sem$nticas. 7i#uiendo adem$s de
los traba0os de +antor& a Peano y -re#e& )usell se propone fundamentar y axiomatizar la
matem$tica a partir de conceptos l#icos. Este empe2o culmina con la publicacin DBCB01
BCB4E de los monumentales "rincipia *at(ematica 1en colaboracin con I"ite"ead1&
obra que& adem$s& sienta las bases de la moderna l#ica formal.
3urt $4del
Furt 5Hdel DBC031BC9E aporta m8ltiples contribuciones a la l#ica matem$tica&
destacando la demostracin de la consistencia de la (iptesis cantoriana del continuo y
el teorema y prue!a de incomplete+ semntica. En ,o!re las proposiciones indecidi!les de
los sistemas de matemtica formal establece que es imposible construir un sistema de
c$lculo l#ico suficientemente rico en el que todos sus teoremas y enunciados sean
decidibles dentro del sistema. +on este teorema se demostr definiti'amente que era
imposible lle'ar a cabo el pro#rama de la axiomatizacin completa de la matem$tica
propu#nado por Hilbert y otros& ya que& se#8n l& no puede existir una sistematizacin
co"erente de la misma tal que todo enunciado matem$tico 'erdadero admita
demostracin. 7iempre "abr$ enunciados que no son demostrables ni refutables. Para
probar esta asercin se sir'i de la matematizacin de la sintaxis l#ica.
La Re-olucin !igital
Esta re'olucin se inicia con la in'encin de la computadora di#ital y el acceso uni'ersal a
las redes de alta 'elocidad. ?urin# relaciona l#ica y computacin antes que cualquier
computadora procese datos. Ieiner funda la ciencia de la +iberntica. En las Escuelas
modernas de +omputacin est$n presentes %#icos que "an permitido a'ances
importantes como +oare que presenta un sistema axiom$tico de los sistemas de
pro#ramacin y !i2,stra con un sistema de 'erificacin y deduccin de pro#ramas a partir
de especificaciones.
Alan 0uring
*atem$tico y %#ico pionero en ?eor,a de la +omputacin que contribuye a importantes
an$lisis l#icos de los procesos computacionales. %as especificaciones para la
computadora abstracta que l idea 1conocida comoMquina de Turing1& resulta ser una
de sus m$s importantes contribuciones a la ?eor,a de la +omputacin. ?urin# adem$s
prueba que es posible construir una m$quina uni'ersal con una pro#ramacin adecuada
capaz de "acer el traba0o de cualquier m$quina dise2ada para resol'er problemas
espec,ficos. %a *$quina de ?urin# es un intento para determinar si la matem$tica se
puede reducir a al#8n tipo simple de computacin. 7u ob0eti'o fu desarrollar la m$quina
m$s simple posible capaz de realizar computacin. %a m$quina propuesta por ?urin# es un
dispositi'o relati'amente simple& pero capaz de realizar cualquier operacin matem$tica.
?urin# se ilusion con la idea de que su m$quina pod,a realizar cualquier proceso del
cerebro "umano& inclusive la capacidad de producir conciencia de uno mismo.
"orbert &einer
El cient,fico norteamricano :orbert Ieiner DB9C61BC36E en BC6 publica su libro m$s
famoso( 'i!erntica, o control y comunicacin en el animal y la m%uina; en donde se
utiliza por primera 'ez la palabra +iberntica. Existen muc"as definiciones de +iberntica 1
del #rie#o -y!ernetes& piloto1& y :orbert Ieiner da 'ida a la palabra con una definicin
simple( La 'i!erntica es la ciencia %ue estudia la traduccin de procesos !iolgicos a
procesos %ue reproduce una m%uina. .esde los inicios la +iberntica se relaciona
directamente con ciencias como :eurolo#,a& <iolo#,a& .iosociolog1a& )obtica e
=nteli#encia !rtificial.
Luit(en Egbertus 5an .rou#er
*atem$tico y l#ico alem$n DB99B1BC33E conocido como %EJ <rou@er y fundador de la
escuela de la %#ica intuicionista contrarrestando definiti'amente el formalismo de
Hilbert. *iembro del 7i#nifics 5roup son si#nificati'os sus traba0os Life, .rt and
*ysticism DBC05E y ,o!re la infia!ilidad de los principios lgicos.
Al%red 0ars,i
*atem$tico y l#ico y filsofo polaco DBC021BC94E. Emrito profesor de la /ni'ersity of
+alifornia& <erGeley& realiza importantes estudios sobre $l#ebra en #eneral& teor,a de
mediciones& l#ica matem$tica& teor,a de con0untos& y metamatem$ticas. El traba0o de
?arsGi
6
incluye respuestas a la parado2a de .anac)70ars,i& el teorema de la indefinibilidad
de la 'erdad& las nociones de cardinal& ordinal& relacin y es inductor de las $l#ebras
cil,ndricas.
.enoit Mandelbrot
El #ran impulsor de la matem$tica contempor$nea y pionero de la #eometr,a fractal
8
a
quien la computacin pura re'ela la moderna Geometra de la $aturale+a. -ractal
y geometr1a %ractal son el corpus principal de sus in'esti#aciones adem$s de los sistemas
irre'ersibles. ! la pr$ctica totalidad de disciplinas se aplican "oy sus principios dando por
sentado paradi#mas como la 0eor1a del /aos que a finales del si#lo ;; ya contemplaba el
estudio de sistemas din$micos& irre'ersibles& caticos.
La siguiente re-olucin lgica
%a si#uiente )e'olucin %#ica incorpora la fusin entre matem$ticas y computacin. %as
computadoras tienden a explorar datos inteligentementetransfiriendo informacin de las
bases de datos a las bases de conocimiento interconectadas a tra's de la )ed a escala
infinitesimal.
%a l#ica e'oluciona pues como un gen "acia la culminacin del conocimiento libre que
nace del ri#or formal de la *atem$tica #rie#a; emer#e reno'adamente de etapas de
persecucin tan oscuras como la Edad *edia y otros intentos m$s recientes; "asta el
intercambio constante y continuo de datos en la moderna era de estructura de redes que
=nternet proporciona a modo neuronal a la Humanidad.