Documente Academic
Documente Profesional
Documente Cultură
"Antes del pensamiento que aspira a una coherencia lgica hallamos fe en una u otr
a magia".
http://www.euclides .org/menu/ articles/ article101. htm
Link proporcionado por: "Miguel ngel Salinas Molina"
Abstract
Esta Breve Historia de la Lgica es un documento abierto en fase
ine desde 2005 a partir de un texto actualmente desaparecido que
n modelo de exposicin utilizado por Henri Poncair1; en 2007 se
l modelo de exposicin que Antonio Escohotado propone en Gnesis
miento cientfico2.
Introduccin3
El nacimiento de la lgica propiamente dicho est directamente relacionado con el na
cimiento intelectual del ser humano. La lgica emerge como mecanismo espontneo en e
l enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla.
Poncair destaca cinco etapas o revoluciones en ese proceso que se presentan entr
e dos grandes tpicos: del rigor y la formalidad, a la creatividad y el caos. Las
etapas se identifican como: Revolucin Matemtica, Revolucin Cientfica, Revolucin Forma
l 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 utili
zados 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 cons
truccin de sistemas formales -formalizaci n, 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 la
s matemticas. Este periodo clsico lo protagonizan Platn, Aristteles y Euclides. Platn
propone ideas o abstracciones. Aristteles resuelve el razonamiento deductivo y s
istematizado. Euclides es el autor que establece el mtodo axiomtico. En los Elemen
tos Euclides organiza las pruebas deductivas de que dispone dentro de una estruc
tura sistemtica, rigurosa, altamente eficaz.
Platn
Platn, 427aC - 347 aC, propone instaurar en Siracusa una utpica repblica dirigida p
or filsofos. Crea la Academia de Atenas que no era solo una institucin filosfica, s
ino centro de formacin poltica para jvenes aristcratas. Segn algunos especialistas, P
latn 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 fun
cin 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.
Pgina 1 de 6
Filosofa-urbanoperu.com
Aristteles
Los tratados de lgica de Aristteles, 384aC - 332 aC, conocidos como Organn, contien
en 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 corres
pondencias recprocas entre pensamiento lgico y estructura ontolgica. El silogismo f
ue adoptado por los escolsticos que representan el sistema teolgico-filos fico, car
acterstico de la Edad Media. La escolstica, sin embargo, acab por sobrecargar la te
ora 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 procurar
on simplificarla al mximo, y su tratamiento matemtico se complet hasta principios d
el siglo XX con Boole, De Morgan, Frege y Russell. Desde entonces el silogismo s
e incluye en la lgica de predicados de primer orden y en la lgica de clases, y ocu
pa 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 lo
s textos matemticos ms relevantes de la historia del pensamiento cientfico hasta de
l siglo XIX. Los Elementos estn divididos en XIII Libros y constituyen la recopil
acin ms exhaustiva de las matemticas conocidas en el ao 300 aC. Su valor universal l
o propaga el uso riguroso del mtodo deductivo que distingue entre principios -def
iniciones, 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 po
stulado era demostrable a partir de los anteriores. El deseo de resolver tal hipt
esis 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 balstic
os 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 au
toridad religiosa. El Renacimiento es el inicio de una nueva revolucin que revive
la ciencia y las matemticas. Los representantes ms destacados son Descartes, Newt
on 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 eviden
cia con que ha de manifestarse el espritu. Descartes duda de toda enseanza recibid
a, de todo conocimiento adquirido, del testimonio de los sentidos e incluso de l
as 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 (pien
so, luego existo). Como cientfico, se debe a Descartes, entre otras aportaciones d
e 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 geome
tra exige ser cuantitativa para ser usada en ciencia e ingeniera, y los mtodos alge
braicos permiten el desarrollo ms rpido que los mtodos sistemticos -a su vez ms rigur
ososrequeridos por el enfoque axiomtico de la geometra clsica. Ubi dubium ibi liber
tas, donde hay duda hay libertad.
Isacc Newton
A Isacc Newton , 1642-1727, se le debe el descubrimiento de la gravitacin univers
al, el desarrollo del clculo infinitesimal e importantes descubrimientos sobre pti
ca, as como las leyes que rigen la mecnica
Pgina 2 de 6
Filosofa-urbanoperu.com
Friedrich G. Frege
Junto con Boole y Peano, el matemtico y lgico Friedrich G. Frege, 1848-1925, parti
endo del anlisis de los fundamentos de la matemtica lleva a cabo la ms profunda ren
ovacin y desarrollo de la lgica clsica hasta el momento. Es el primero en introduci
r los cuantificadores u operadores y en elaborar una Teora de la Cuantificaci n.
George Boole
El lgico y matemtico George Boole, 1815-1864 aplica el clculo matemtico a la lgica, f
undando el lgebra de la lgica. En cierto modo realiza el sueo de Leibniz de una cha
racteristica universalis o clculo del raciocinio. El empleo de smbolos y reglas op
eratorias adecuados permite representar conceptos, ideas y razonamientos mediant
e variables y relaciones (ecuaciones) entre ellas. Boole dio un mtodo general par
a formalizar la inferencia deductiva, representando complicados raciocinios medi
ante sencillos sistemas de ecuaciones. As, la conclusin de un silogismo se encuent
ra eliminando el trmino medio de un sistema de tres ecuaciones, conforme a las re
glas del lgebra comn, La formalizacin de la lgica, iniciada por Boole, ha contribuid
o poderosamente a aclarar la estructura de los objetos lgicos, en contraposici n a
los materiales y aun en contraposici n a los matemticos, pese a las analogas forma
les 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 i
ncluye la formulacin de las Leyes de Morgan y su trabajo fundamenta la teora del d
esarrollo de las relaciones y la matemtica simblica moderna o lgica matemtica. De Mo
rgan 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 contin
uo, es decir, la posibilidad de considerar conjuntos infinitos dados simultneamen
te. Se le considera el creador de la teora de los nmeros irracionales y de los con
juntos.
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 matemtic
a a partir de una secuencia de nmeros naturales a un cierto segmento de nmeros ord
inales transfinitos.
Bertrand Rusell
Bertrand Rusell (1872-1970) es uno de los creadores de la logstica y uno de los p
ensadores de mayor influencia en la filosofa cientfica contempornea. Lo fundamental
en su obra es su aportacin a la lgica. Antiaristotlico por excelencia lleg a afirma
r que para iniciarse en lgica lo bsico era no estudiar la lgica de Aristteles. Conoc
iendo los trabajos de Cantor descubre en la Teora de Conjuntos varias paradojas q
ue 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. Sigu
iendo adems de los trabajos de Cantor, a Peano y Frege, Rusell se propone fundame
ntar y axiomatizar la matemtica a partir de conceptos lgicos. Este empeo culmina co
n la publicacin (1910-1913) de los monumentales Principia Mathematica -en colabor
acin con Whitehead-, obra que, adems, sienta las bases de la moderna lgica formal.
Kurt Gdel
Pgina 4 de 6
Filosofa-urbanoperu.com
Filosofa-urbanoperu.com
Benoit Mandelbrot
El gran impulsor de la matemtica contempornea y pionero de la geometra fractal6 a q
uien la computacin pura revela la moderna Geometra de la Naturaleza. Fractal y geo
metra fractal son el corpus principal de sus investigaciones adems de los sistemas
irreversibles. A la prctica totalidad de disciplinas se aplican hoy sus principi
os 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 co
mputadoras 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 d
el conocimiento libre que nace del rigor formal de la Matemtica griega; emerge re
novadamente de etapas de persecucin tan oscuras como la Edad Media y otros intent
os 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 Humani
dad.
In fieri.
NOTAS
1 - Henri Poincar. University of St. Andrews.
http://www-history. mcs.st-andrews. ac.uk/Biographie s/Poincare. html
2 - Antonio Escohotado. Gnesis y Evolucin del Pensamiento Cientfico.
http://www.escohota do.com/genesisye voluciondelanali siscientifico/ prefacio. h
tm
3 - Cfr. Escohotado. El Pensamiento Precientfico. Tema 1.
http://www.escohota do.com/genesisye voluciondelanali siscientifico/ tema1.htm
4 - Cfr. Las trivialidades del rigor, Escohotado, Caos y Orden, 1999. 5 - Alfred
Tarski. Wikipedia.
http://en.wikipedia .org/wiki/ Tarski
6 - Benoit Mandelbrot. Historia de las Fractales.
http://www.geometri afractal. com/protagoniste s.htm
NOTA BIBLIOGRFICA
El documento Breve Historia de la Lgica obra de Juan A. Alvarez Vzquez, Julio A. F
reyre Gonzalez, Rafael Rivera Lpez segn datos publicados por el Instituto Tecnolgic
o y de Estudios Superiores de Monterrey-, permaneci disponible online hasta 2005
en http://w3.mor. itesm.mx/ ~logica y desapareci de la red al menos hasta da de ho
y 2007.
Pgina 6 de 6
Filosofa-urbanoperu.com