Evolucion De La Logica

Enviado por MARITZAD, oct. 2011 | 2 Pginas (351 Palabras) | 71 Visitas

|

La evolucin de la lgica, tiene sus orgenes en el periodo Socrtico, en el que

los filsofos empezaron a ocuparse en temas del hombre. En este periodo
aparecen los sofistas, quienes profundizan en el arte de discutir, a ellos
debemos lo que en la lgica se denomina un sofisma, argumentos que parecen
validos pero que realmente no lo son.
Aristteles, en respuesta a la necesidad de construir argumentos, para
defender o refutar pensamientos de los dems, creo mtodos sistemticos para
analizar y evaluar dichos argumentos, para lo cual desarrollo la lgica
proposicional estableciendo procedimientos para determinar la verdad o
falsedad de proposiciones compuestas.
Posteriormente, el matemtico Gottfried Leibniz fue el primero en intentar
reformar la lgica clsica, planteando que la dependencia lgica entre
proposiciones es demostrada reduciendo argumentos complejos en simples,
para lo cual propuso representar el conocimiento, en una forma que pudiera ser
usado por un razonamiento mecnico y a este esquema lo llamo una
caracterstica universal.
Luego, como resultado del ingenio del matemtico ingles George Boole en
compaa de Augustus de Morgan hizonotar el parentesco entre las
operaciones lgicas con las matemticas, pues a partir de los operadores
aritmticos de adicin, multiplicacin y sustraccin crearon los operadores
lgicos equivalentes de unin, interseccin y negacin; adems formularon los
principios del razonamiento simblico y el anlisis lgico. A Boole se le atribuye
la invencin de las tablas de verdad para comprobar la veracidad de
proposiciones compuestas.
Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead, quienes
codificaron la lgica simblica en su presente forma definindola como la
Ciencia de todas las operaciones conceptuales posibles, por esta razn la
fundacin de la lgica formal moderna se le atribuye a ellos. La claridad y
generalidad, la consigue en la medida en que el usuario se familiariza con los
elementos bsicos de un argumento lgico, tanto en su representacin
simblica como en su significado para luego establecer un lenguaje simblico
artificial, que le permita simplificar argumentos lgicos complicados; de esta
manera, el smbolo permite concentracin sobre lo esencial de un contexto
dado, incrementando la fiabilidad con que se aplica el conocimiento.
*--//-*/-*/-*/-

Breve Historia de la Lgica

Juan A.Alvarez Vzquez

Julio A. Freyre Gonzalez
Rafael Rivera Lpez
Maestra en Ciencias Computacionales
Instituto Tecnolgico y de Estudios Superiores de Monterrey
Campus Morelos
http://w3.mor.itesm.mx/~logica/

Abstract
Se presenta una breve descripcin histrica de la lgica y su posible desarrollo futuro. Esta
descripcin es un resumen de varias referencias electrnicas, donde resalta la informacin
presentada por Henri Poncaire. Esta descripcin histrica se presenta ordenada en las cinco
revoluciones sealadas por Poncaire, y dentro de cada una se revisan a sus principales
representantes.

1 Introduccin
La evolucin de la lgica est intrnsecamente ligada a la evolucin intelectual del ser humano, ya
que como ciencia del razonamiento, su historia representa la historia misma del hombre. La lgica
surge desde el primer momento en que el hombre, al enfrentar a la naturaleza, infiere, deduce y
razona, con el nimo de entenderla y aprovecharla para su supervivencia [1]. Existen varios
enfoques acerca de cmo interpretar la evolucin de la lgica. Poncaire la divide en cinco etapas o
revoluciones, que se presentan oscilando 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, revolucin digital y la prevista siguiente revolucin lgica [2].

2 Lgica Matemtica
El objetivo de la lgica matemtica es cuestionar con el mayor rigor los conceptos y las reglas de
deduccin utilizados en matemticas, constituyendo la lgica por ello una verdadera
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 [3].

3 Las matemticas y la lgica

Durante el periodo de 600 AC hasta 300 AC, en Grecia se desarrollaron los principios formales de
las matemticas. A este periodo se le conoce como periodo clsico, donde sus principales
representantes son Platn, Aristteles y Euclides. Platn introduce sus ideas o abstracciones;
Aristteles presenta el razonamiento deductivo y sistematizado y Euclides es el personaje que mayor
influencia tuvo en las matemticos, al establecer el mtodo axiomtico. En ''Elementos'', Euclides
organiza pruebas deductivas dentro de una presentacin sistemtica, rigurosa y bien organizada de
conocimiento matemtico [4].

3.1 Platn
Platn (427-347 AC) intenta instaurar en Siracusa una utpica repblica dirigida por filsofos, y
crea la Academia en Atenas, que no era solouna institucin filosfica, sino serva de formacin
poltica a los jvenes de la aristocracia. Segn muchos crticos, Platn edifica su teora del
conocimiento para justificar el poder preeminente del filsofo y parte de los pensamientos
socrticos: la bsqueda de conceptos y definiciones estables de las ideas abstractas (justicia, bondad,
valor, etc.). Sostuvo la existencia de dos mundos distintos (el de las ideas y el de las cosas). Segn
Platon, lo concreto se entiende slo en funcin de lo abstracto, resultando que el mundo sensible
debe su existencia al mundo de las ideas. Platn escogi el dilogo como su forma literaria para
verter su pensamiento; como personaje central de sus ''Dilogos'' sita a Scrates, de quien recibi
una notable influencia [5].

3.2 Aristteles
Los tratados de lgica de Aristteles (384-332 a.C.), conocidos como Organn, contienen el primer
tratamiento sistemtico de las leyes de pensamiento en relacin con la adquisicin de conocimiento.
Estos representan el primer intento de establecer a la lgica como ciencia. Aristteles da una
clasificacin de todos los conceptos o nociones (sustancias, cantidad, relacin, accin, pasin,
diferencia, propiedad y accidente) y trata las reglas del razonamiento silogstico. Aristteles no hace
de la lgica una disciplina metfisica, pero si establece una correspondencia entre el pensamiento
lgico y la estructura ontolgica.
El silogismo fue adoptado por los escolsticos (representantes del sistema teolgico-filosfico,
caracterstico de la Edad Media) quienes la enriquecieron con nmerosos y detallados estudios y se
esforzaron en formalizarlo. 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
(Rame, Arnauld, Nicole, Leibniz, Euler, Lambert) procuraron simplificarla al mximo, y su
tratamiento matemtico se complet hasta principios del siglo XX (Boole, De Morgan, Frege,

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 el desempeado en otros
tiempos [5].

3.3 Euclides
Este matemtico alejandrino public numerosas obras entre las que destacan los clebres
''Elementos'', sin duda el texto matemtico ms conocido a lo largo de la historia. Los ''Elementos''
estn divididos en trece libros y constituyen una recopilacin de gran parte de las matemticas
conocidas en tiempos de Euclides; su gran valor reside en el uso riguroso del mtodo deductivo,
distinguiendo entre principios (definiciones, axiomas y postulados) y teoremas, que se demuestran a
partir de los principios. Los principios de naturaleza puramente geomtrica en ''Elementos'' se
conocen como postulados; tres de ellos aseguran la existencia y unicidad de la recta determinada por
dos puntos; el cuarto, la existencia de una circunferencia de centro y radio dados; y el quinto da
condiciones que aseguran que dos rectas se cortan en un punto. A lo largo de la historia se ha
mantenido la sospecha de que el quinto postulado era demostrable a partir de los anteriores. El deseo
de encontrar tal demostracin condujo, en el siglo XIX, a la construccin de geometras no
euclidianas de las que se deduce la imposibilidad de demostrar el quinto postulado [5].

4 La ciencia matemtica
Despus de declinar la escuela clsica de los griegos, se presenta un periodo en el cual la autoridad
religiosa embruteci a la creatividad intelectual. El renacimiento inicia una nueva era en la cual se
permite la revitalizacin de la ciencia y las matemticas. Los representantes ms destacados de esta
etapa son Descartes, Newton y Leibniz. Este periodo abarca de los 1500 a los 1800 [6].

4.1 Ren Descartes

El punto de partida de este filsofo y matemtico francs (1596-1650) es la duda universal, que
consiste de prescindir de cualquier conocimiento previo que no queda confirmado por la evidencia
con que ha de manifestarse el espritu. Descartes dud 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 [5]. Este
desarrollo es importante para la ciencia porque hace a la geometra cuantitativa y permite el uso de
mtodos algebraicos. La geometra debe ser cuantitativa para ser usada en la ciencia e ingeniera, y
los mtodos algebraicos permiten el desarrollo ms rpido que los mtodos sistemticos (ms
rigurosos) requeridos por el enfoque axiomtico de la geometra clsica.

4.2 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 [5].

4.3 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 (un lenguaje puramente formal). Como matemtico, su principal trabajo (publicado en
1684) es la memoria intitulada ''Nuevo mtodo para la determinacin de los mximos y los
mnimos'', en el 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 public ''Generales inquisitiones de analysi notionum et veritatum'' y
''Fundamenta calculi logici'' [5].

5 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
mas notoria en la poca renacentista, para la cual no se ofrecia una justiticacin. La rigorizacin del
anlisis llego con la eliminacin de los infinitesimales y la presencia de los lmites como
argumento[7]. En este periodo se crea la lgica simblica, la escuela formal, la lgica booleana, el
clculo porposicional, 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.

5.1

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 [8].

5.2 David Hilbert

El matemtico alemn David Hilbert (1862-1943) fue un enconado defensor de la axiomtica como
enfoque principal de los problemas cientficos, esto es, de partir de un conjunto cerrado e
inamovible de premisas para construir la base fundamental de cualquier estudio. A partir de las

fuentes griegas de Euclides, public en 1899 su obra ''Fundamentos de Geometra'', en la que

mediante un exhaustivo anlisis y perfeccionamiento de las ideas euclidianas, formul sus principios
de axiomatizacin. Segn sus teorias, 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 podan aplicarse axiomas distribuidos en cinco
diferentes categoras: pertenencia, orden, igualdad o congruencia, paralelismo y continuidad [8].

5.3 Friedrich G. Frege

Junto con Boole y Peano, el matemtico y lgico Friedrich G. Frege (1848-1925) inicio la corriente
de pensamiento que, partiendo del anlisis de los fundamentos de la matemtica, llev a cabo la mas
profunda renovacion y desarrollo de la lgica clsica. Fue el primero en introducir los
cuantificadores u operadores y en elaborar una teora de la cuantificacin [9].

5.4 George Boole

El lgico y matemtico George Boole (1815-1864) aplic el clculo matemtico a la lgica,
fundando el lgebra de la lgica, que 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
aun hoy se lee con deleite [8].

5.5 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 hizo su ms grande
contribucin como reformador de la lgica [9].

5.6 Georg F. Cantor

Al matemtico alemn Georg F. Cantor (1845-1918) se debe la idea del ''infinito coninuo'', es decir,
la posibilidad de considerar conjuntos infinitos dados simultneamente. Se le considera el creador de
la teoria de los nmeros irracionales y de los conjuntos [5].

5.7 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 [9].

5.8 Bertrand Rusell

Bertrand Rusell (1872-1970) es uno de uno de los creadores de la logstica y uno de los pensadores
de mayor influencia en la filosofa cientfica contempornea. Lo fundamental de su obra est en sus
aportes a la lgica. Decididamente antiaristotlico, lleg a afirmar que quien quera iniciarse en la
lgica deba comenzar por no estudiar la lgica de Aristteles. Por influencia de los trabajos de
Cantor descubri en la teora de conjuntos varias paradojas que resolvi mediante la teora de los
tipos; aos ms tarde establecera una teora similar, la de la jerarqua de los lenguajes, para eliminar
las paradojas semnticas. Siguiendo los trabajos de Cantor, Peano y Frege, Rusell se propuso
fundamentar y axiomatizar la matemtica a partir de conceptos lgicos. Este empeo culmin con la
publicacin (1910-1913) de los monumentales ''Principia Mathematica'' (en colaboracin con
Whitehead), obra que, adems, sentaba las bases de la moderna lgica formal.

5.9 Kurt Gdel

Kurt Gdel (1906-1978) tuvo mltiples contribuciones a la lgica matemtica, destacando la
demostracin de la consistencia de la hiptesis cantoriana del continuo y el teorema y la 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.

6 La Revolucin Digital
Esta revolucin inicio con la invencin de la computadora digital y el acceso universal a redes de
alta velocidad. Turing une a la lgica y la computacin antes que cualquier computadora fuera
inventada. Weiner funda la ciencia de la ciberntica. En la escuela moderna de la computacin estn
presentes lgicos que han permitido avances importantes: Hoare presenta un sistema axiomtico de
los sistemas de programacin y Dijkstra un sistema de verificacin y deduccin de programas a
partir de especificaciones.

6.1 Alan Turing

Matemtico y lgico quien fue pionero en la teora de la computacin y contribuy en importantes
anlisis lgicos de los procesos computacionales. Las especificaciones para la computadora
abstracta que l ide (llamada la Mquina de Turing) result ser una de sus mas importantes
contribuciones a la teora de la computacin. Turing adems prob que es posible construir una
mquina universal que con una programacin adecuada podr hacer el trabajo de cualquier mquina
diseada para resolver problemas especficos [9].Alan Turing invent la mquina que lleva su
nombre (Mquina de Turing) en un intento por determinar si toda la matemtica podia ser reducida 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 abrig la ilusin de que su mquina
tena una capacidad tal que, potencialmente, podra ser capaz de realizar cualquier cosa realizable
por el cerebro humano, incluyendo la capacidad de poseer conciencia de si mismo. Pese a ser
considerados formalmente equivalentes, distintos modelos de computacin presentan estructuras y
comportamientos internos diferentes [10].

6.2 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), Norbert Weiner dio vida a la palabra mediante una definicin muy simple: ''Ciencia que
estudia la traduccin de los procesos biolgicos a procesos de mquina''. En un inicio, la Ciberntica
estaba muy ligada a ciencias como neurologa, biologa, robtica e inteligencia artificial. [11].

6.3 Alfred Tarski

Matemtico y lgico polaco nacido en 1902, quien realizo importantes estudios de lgebra en
general, teora de mediciones, lgica matemtica, teora de conjuntos, y metamatemticas.

La siguiente revolucin lgica

La siguiente revolucin lgica ser la asimilacin prctica de las matemticas y la computacin
dentro de la lgica. Se har enfsisi en que las computadoras exploten la informacin
inteligentemente, pasando de las bases de datos a las bases de conocimientos [12].

8 Conclusin
La lgica muestra un devenir histrico muy interesante, naciendo de la fuerte formalizacin de las
matemticas de los griegos, que fu impactada, como muchas ciencias, por el pensamiento de la
Edad Media, donde la religin se anteponia a todo; pero, el impet de la mente de los filsofos
renacentistas ayud a retomar su desarrollo. No cabe duda que la lgica tiene impact fundamental,
como ciencia de las ciencias, en el pensamiento contemporaneo, y que el nacimiento de la
tecnolgia computacional deba mucho al desarrollo del formalismo lgico de principios de siglo.

9 Referencias
1.

Frausto, Juan. ''Evolucin de la Lgica: Pasado, Presente y

Futuro''.http://w3.mor.itesm.mx/logica/log9808/evolucin.html . 12 de agosto
de 1999.

2.

Poincare, Henri. ''Logical Revolution. Past, present and future''. 17 de agosto

de 1999.http://www.rbjones.com/rbjpub/www/colum/c00300.html . 17 de
agosto de 1999.

3.

Gran Enciclopedia de la Ciencia y de la Tecnologa. Varios volmenes.

Ediciones Ocano. Espaa.1996

4.

Poincare, Enri. ''Classical Greek Mathematics''. 10 de agosto de

1999.http://www.rbjones.com/rbjpub/maths/math005.html . 17 de agosto de
1999.

5.

Diccionario Enciclopedico Univesal. Varios volmenes. Ediciones Oceano.

Espaa. 1994.

6.

Poncaire, Henri. ''Mathematics and the Scientific Revolution''. 5 de octubre

de 1996.http://www.rbjones.com/rbjpub/maths/math011.html . 17 de agosto
de 1999.

7.

Poncaire, Henri. ''The Formalisation of Mathematics''. 5 de octubre de

1996.http://www.rbjones.com/rbjpub/maths/math006.html . 17 de agosto de
1999.

8.

Enciclopedia Hispnica. Varios volmenes. Ed. Encyclopaedia Britannica

Publishers. Mxico. 1990.

9.

Encyclopaedia Britannica. Varios volmenes. Ed. Encyclopaedia Britannica

Publishers. Estados Unidos. 1980.

10.

Campos Domingez, Daniel. ''Modelos de Computacin''. Arquitectura y

Organizacin de Computadores. Agosto de
1997. http://www.inf.udec.cl/campos/arquitectura/modelos.html . 18 de
agosto de 1999.

11.

Asociacin Mexicana de Ingenieros en

ciberntica. http://www.cibernetica.org.mx/ . 18 de agosto de 1999.

12.

Poncaire, Henri. ''The Next Logical Revolution''. 3 de noviembre de

1996.http://www.rbjones.com/rbjpub/logic/engl002.html . 18 de agosto de
1999.

Autors:
Juan A.Alvarez Vzquez
Julio A. Freyre Gonzalez
Rafael Rivera Lpez
Maestra en Ciencias Computacionales
Instituto Tecnolgico y de Estudios Superiores de Monterrey
Campus Morelos
http://w3.mor.itesm.mx/~logica/

/-*/-/-*/-*/-*/

2.1. Una breve historia de la lgica

Desde cundo existe la lgica? Cul es su propsito? De qu forma ha
dado lugar a la existencia de las computadoras?
Intentaremos ahora dar una respuesta breve a estas cuestiones.
1. Desde cundo existe la lgica?
La lgica es tan antigua como la propia filosofa.
Piensa que la palabra "lgica" proviene del vocablo
griego logos, que significa "razn, ley y palabra", y
que est ntimamente unida a la tarea propia de la filosofa, como ya vimos en
la primera unidad.
Imgen 6. Autor: Desconocido.
Dominio pblico

La lgica tiene por tanto que ver con las leyes que ordenan nuestro
pensamiento y con la forma de expresarlo en el lenguaje.

Se considera que Aristteles fue el fundador de la lgica, all por el siglo IV

a. C. Aristteles defini la lgica como "ciencia que estudia los razonamientos
correctos", por lo que la entenda como un instrumento al servicio de las
dems ciencias. Cualquier ciencia (la fsica, por ejemplo) debe construirse con
razonamientos correctos, por lo que la lgica ser de gran utilidad al ser su
cometido el establecer las formas correctas de razonamientos (de ah que se la
considere como una ciencia formal, pues no se interesa por el contenido de los
razonamientos, sino por su forma).
Para Aristteles exista un tipo de razonamiento especialmente til para la
ciencia: el silogismo. Un silogismo es un razonamiento de tipo deductivo que
consta de dos premisas y una conclusin (que se deduce necesariamente de las
premisas). A continuacin tienes un ejemplo de silogismo:
(Primera premisa) Ningn idioma muerto se habla en la actualidad.
(Segunda premisa) El espaol se habla en la actualidad.
(Conclusin) El espaol no es un idioma muerto.
Icono IDevice Actividad
La lgica de Aristteles se centra especialmente en el estudio del silogismo y
sus formas, por lo que suele denominarse como lgica silogstica.
Icono IDevice Pre-conocimiento
Imgen 7. Autor: E. B. Leighton.
Dominio pblico

Durante muchos siglos, las obras lgicas de Aristteles (que se conocieron con
el nombre latino de Organon) fueron estudiadas y comentadas, pero sin
producirse ningn avance significativo.
Un buen ejemplo de ello lo constituye el filsofo medieval Pedro Abelardo,
que destac por su gran dominio de la silogstica y sus estudios sobre el
significado de los trminos. Pero la lgica de Abelardo, as como la de los
pensadores medievales en general, no va ms all de la de Aristteles.
Estudiaron en profundidad al pensador griego, al que consideraron como un
maestro, asumiendo que su lgica era una obra terminada a la que no se poda
aadir nada nuevo.
Esta opinin se mantuvo hasta el siglo XVIII, en el que un filsofo de la talla
de Kant pensaba que Aristteles haba llevado la ciencia de la lgica hasta su
perfeccin, por lo que era imposible que hubiera modificaciones de

importancia (en realidad algunos pensadores, como el renacentista Francis

Bacon, haban planteado un nuevo Organon, una nueva lgica distinta de la de
Aristteles).
Pero este panorama cambi radicalmente a partir del siglo XIX. A partir de
este momento comienza una estrecha relacin entre la lgica y las
matemticas. La lgica se utilizar para estudiar la validez de las deducciones
matemticas y ser sometida a un proceso de formalizacin simblica. Esto
quiere decir que para realizar los anlisis lgicos se emplear un lenguaje
simblico similar al de las matemticas.
En esta tarea destacaron autores como Frege (1848-1925), Russell (18721970) y Whitehead (1861-1947). De esta forma nace la lgica moderna,
tambin llamada lgica simblica o matemtica.
Sobre la tarea.
Aqu puedes encontrar informacin general sobre la historia de la inteligencia
artificial, pues sta transcurre paralela a la historia de la lgica.
2. Cul es el propsito de la lgica?
Como hemos visto la lgica clsica (desde
Aristteles hasta el siglo XIX) se entiende como la
ciencia que estudia los razonamientos correctos, centrndose especialmente en
los silogismos. La lgica moderna (desde el siglo XIX hasta la actualidad), sin
embargo, asume como tarea un propsito de caracter ms general: el estudio
de las formas validas de demostracin o inferencia, es decir, la manera en que
ciertas verdades son demostradas a partir de otras previas (sea de forma
inductiva o deductiva). De esta forma la lgica de Aristteles es hoy en da
una pequea parte de la lgica, conocida como lgica de clases o de
predicados (que estudiaremos ms adelante).
Imgen 8. Autor: Desconocido. Dominio
pblico

Para llevar a cabo este estudio, la lgica se constituye como un clculo

o sistema formal axiomtico: no te asustes, se trata simplemente de un
lenguaje artificial constituido por signos y reglas, que permite "calcular", es
decir, demostrar ciertas verdades a partir de otras ya establecidas a travs de
una serie de pasos (las operaciones del clculo).
Al final de este tema veremos un ejemplo de clculo o sistema formal
axiomtico que nos permitir entender que quiere decir esto; usaremos para
ello un juego llamado "El acertijo MU".

Icono de IDevice de pregunta Pregunta de Eleccin Mltiple

1) El fundador de la lgica fue:
a) Aristteles.
b) Pedro Abelardo.

2) La lgica moderna se caracteriza por:

a) Seguir al pie de la letra el planteamiento de Aristteles.
b) Utilizar un lenguaje simblico similar al de las matemticas.

3. De qu forma ha dado lugar la lgica a las computadoras?

Es precisamente al plantearse la lgica como un clculo o sistema formal
axiomtico cuando se pusieron las bases de los actuales computadores u
ordenadores. Un clculo consiste en una serie de operaciones o pasos
ordenadas, definidas y finitas, que permiten solucionar un problema,
demostrar una verdad o extraer consecuencias a partir de unos datos
previamente conocidos.
El clculo se realiza mediante un lenguaje simblico bien definido (por
ejemplo, el de las matemticas: 1, 2, 3..., x, y, etctera) y unas reglas que nos
permiten operar (por ejemplo, las reglas de la aritmtica: suma, resta,
etctera). Lo interesante es que el clculo es un procedimiento mecnico que
puede ser, en principio, llevado a cabo por una mquina.
Fue Turing, como ya hemos visto, quien dise de forma terica la manera en
que esto poda realizarse. La ingeniera y la electrnica hicieron el resto.
*/-/-*/-*/-*/-*/

HISTORIA DE LA LOGICA
Cod.01574051

OBJETIVOS
PLANTEAMIENTO DEL CURSO
La Historia de la lgica viene a ser el estudio de las contribuciones al
desarrollo de esta disciplina. En qu consisten tales contribuciones?
Puede decirse que, en sustancia, una contribucin al desarrollo de la
lgica es o envuelve un anlisis de la forma de ciertas relaciones lgicas
en particular, la relacin de consecuencia, o un anlisis de su

estructura interna, o es significativa para la determinacin de una y

otra. Entonces, salvo que cambie radicalmente la idea que nos venimos
haciendo de la lgica, sern contribuciones paradigmticas a su
desarrollo textos como los cc. 1, 2 y 4-7 del libro I [A] de los Primeros
Analticos de Aristteles, o los tratados iv y vi de los Tractatus despus
llamados Summulae Logicales de Pedro Hispano, o el ensayo Non
inelegans specimen demonstrandi in abstractis de Leibniz, o los 147168 del libro II de Wissenschafstlehre de Bolzano, o The Mathematical
Analysis of Logic de Boole, oBegriffsschrift de Frege, o Untersuchungen
ber das logische Schliessen de Gentzen, entre otras varias muestras.
Cabe reconocer, adems, otras aportaciones que compartan ciertas
caractersticas distintivas con esas contribuciones tpicas, o se
relacionen con ellas en el sentido de abordar nociones, problemas o
temas como los que hoy ocupan a los practicantes de esta disciplina. En
suma, el reconocimiento de una contribucin al desarrollo de la lgica es
una especie de compromiso entre lo que antes ha podido hacer la gente
en este sentido y lo que est haciendo ahora.
Las contribuciones al desarrollo de la lgica no llueven del cielo, ni son el limpio
reflejo de unas Formas u Objetos en s mismos lgicos, ni resultan productos
puros de la Razn. Antes bien, se gestan en el seno de tradiciones de
pensamiento; responden a programas de anlisis conceptuales, tericos o
metodolgicos; estn hechas de la materia de los textos. Su desarrollo, aparte de
contribuir a las lneas de trabajo abiertas o establecidas en el cultivo de la
disciplina, guarda relacin con otros marcos de referencia inferenciales y
culturales como, por ejemplo, la argumentacin ordinaria, el discurso filosfico, la
deduccin matemtica, la inferencia cientfica. Su fortuna y su eficacia histricas
tambin dependen de unas condiciones de transmisin, recepcin e
institucionalizacin, tanto disciplinarias como interdisciplinarias. De modo que la
Historia de la lgica, salvo en lo que concierne a sus temas caractersticos y a su
peculiar uso de reconstrucciones formalizadas como mtodos auxiliares de
interpretacin, no difiere mucho de cualquier otra historia de una disciplina
acadmica de venerable raigambre en la cultura occidental.
De todo ello se desprende que la Historia de la lgica es una empresa colectiva,
multidisciplinaria y pluridimensional, que incluye un buen nmero de tareas an
por hacer. Incluso en razn de la penuria conceptual y profesional que hoy sigue
arrastrando este tipo de estudio, la Historia de la lgica todava est por
reconocer. Lo que significa, entre otras cosas, que si se dedican a la Historia de la
lgica quizs tengan dificultades para encontrar empleo pero, desde luego, no les
faltar trabajo.

La condicin de la Historia de la lgica como historia en construccin y labor

pendiente tambin supone que: (a) la confeccin de un temario slo puede tener
hoy un carcter provisional e indicativo; (b) ninguno de los manuales generales
que hoy circulan es satisfactorio; (c) por el momento, al menos, el tipo de material
didctico que podra resultar ms til sera el que orientara la exploracin, el
estudio y el trabajo en este campo.
Sin embargo, hay algunos focos o centros de inters relativamente destacados y,
afortunadamente, no todos los manuales generales o Historias de la lgica se
dejan medir por el mismo rasero. Esto permite adelantar, a manera de programa,
un puado de ncleos temticos ricos y significativos. Hace posible adems una
especie de seleccin entre la historiografa existente, tanto por lo que concierne a
visiones histricas paranormicas como por lo que concierne a ensayos
monogrficos. Aconseja, en fin, visitar esos focos de inters y estos trabajos
historiogrficos con un mapa-gua que nos ayude a orientarnos y movernos por el
terreno. Voy a proponer a continuacin un programa selectivo. Luego, en el
apartado siguiente, sugerir el uso de una Gua de la historia de la lgica que ha
sido concebida sin mayores pretensiones que las de servir de brjula y de mapa
de bolsillo.
*-/*-/-*/-*/-*/

"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
enGnesis 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 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, 384aC - 332 aC, conocidos comoOrgann, 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 rigurososrequeridos 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 lalgica 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 delinfinito 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 laTeora 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 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 comoMquina 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 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 inteligentementetransfiriendo 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