DESARROLLO HISTORICO DE LA LOGICA "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 onl ine desde 2005 a partir de un texto actualmente desaparecido que se apoyaba en u n modelo de exposicin utilizado por Henri Poncair1; en 2007 se incorporan datos de l modelo de exposicin que Antonio Escohotado propone enGnesis y evolucin del pensam iento cientfico2. Introduccin 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 -formalizacin, piedra angular de la lgica matemtica-, p ermite 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. Aristteles Los tratados de lgica de Aristteles, 384aC - 332 aC, conocidos comoOrgann, contiene n el primer tratado sistemtico de las leyes de pensamiento para la adquisicin de c onocimiento. Representan el primer intento serio que funda la lgica como ciencia. Aristteles no hace de la lgica una disciplina metafsica sino que establece corresp ondencias recprocas entre pensamiento lgico y estructura ontolgica. El silogismo fu e adoptado por los escolsticos que representan el sistema teolgico-filosfico, carac terstico 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 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 osos- requeridos por el enfoque axiomtico de la geometra clsica. Ubi dubium ibi lib ertas, 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 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 riguros o, exacto y universal puramente formal. Como matemtico, su principal trabajo publ icado en 1684 es la memoria Nuevo mtodo para la determinacin de los mximos y los mni mos, en la que expone las ideas fundamentales del clculo infinitesimal, anticipndo se unos aos a Newton. La notacin que emple es particularmente cmoda y se sigue utili zando con algunas modificaciones; introdujo el smbolo de integral y de diferencia l 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 Ci encia de la lgica se le atribuye con este trabajo la constitucin de lalgica dialctic a entendida como principio motor del concepto que disuelve y produce las particu laridades 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. Lobachevs ky 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 qu e 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 infenit esimales fue una de las prcticas ms notoria en la poca renacentista, para la cual n o 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 proposiciona l, la induccin matemtica, el clculo de secuentes,.... Personajes muy notables de es ta etapa son: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen, Russell, Gdel y W hitehead. A Rusell y Gdel se deben los planteamientos de las limitantes de la lgic a 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 n aturales.

David Hilbert Matemtico alemn, 1862-1943, aporta grandes avances a campos fundamentales de la re latividad 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 obr a 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 matemtic o. Estos principios deben ser simblicos, sin recurrir a dibujos y representacione s 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, 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 Cuantificacin. 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 contraposicin a los materiales y aun en contraposicin a los matemticos, pese a las analogas formale s 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 delinfinito continu o, es decir, la posibilidad de considerar conjuntos infinitos dados simultneament e. Se le considera el creador de la teora de los nmeros irracionales y de los conj

untos. 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 laTeora de Conjuntos varias paradojas qu e 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. Sigui endo adems de los trabajos de Cantor, a Peano y Frege, Rusell se propone fundamen tar y axiomatizar la matemtica a partir de conceptos lgicos. Este empeo culmina con la publicacin (1910-1913) de los monumentales Principia Mathematica -en colabora cin 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, destacand o la demostracin de la consistencia de la hiptesis cantoriana del continuo y el te orema y prueba de incompletez semntica. En Sobre las proposiciones indecidibles d e los sistemas de matemtica formal establece que es imposible construir un sistem a de clculo lgico suficientemente rico en el que todos sus teoremas y enunciados s ean decidibles dentro del sistema. Con este teorema se demostr definitivamente qu e era imposible llevar a cabo el programa de la axiomatizacin completa de la mate mtica propugnado por Hilbert y otros, ya que, segn l, no puede existir una sistemat izacin coherente de la misma tal que todo enunciado matemtico verdadero admita dem ostracin. Siempre habr enunciados que no son demostrables ni refutables. Para prob ar 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 uni versal a las redes de alta velocidad. Turing relaciona lgica y computacin antes qu e cualquier computadora procese datos. Weiner funda la ciencia de la Ciberntica. En las Escuelas modernas de Computacin estn presentes Lgicos que han permitido avan ces importantes como Hoare que presenta un sistema axiomtico de los sistemas de p rogramacin y Dijkstra con un sistema de verificacin y deduccin de programas a parti r de especificaciones. Alan Turing Matemtico y Lgico pionero en Teora de la Computacin que contribuye a importantes anl isis lgicos de los procesos computacionales. Las especificaciones para la computa dora 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 e s posible construir una mquina universal con una programacin adecuada capaz de hac er el trabajo de cualquier mquina diseada para resolver problemas especficos. La Mqu ina de Turing es un intento para determinar si la matemtica se puede reducir a al gn 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 rel ativamente simple, pero capaz de realizar cualquier operacin matemtica. Turing se ilusion con la idea de que su mquina poda realizar cualquier proceso del cerebro hu mano, inclusive la capacidad de producir conciencia de uno mismo.

Norbert Weiner El cientfico norteamricano Norbert Weiner (1894-1964) en 1947 publica su libro ms f

amoso: Ciberntica, o control y comunicacin en el animal y la mquina; en donde se ut iliza por primera vez la palabra Ciberntica. Existen muchas definiciones de Ciber ntica -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 proce sos biolgicos a procesos que reproduce una mquina. Desde los inicios la Ciberntica se relaciona directamente con ciencias como Neurologa, Biologa, Biosociologa, Robtic a e Inteligencia Artificial. Luitzen Egbertus Jan Brouwer Matemtico y lgico alemn (1881-1966) conocido como LEJ Brouwer y fundador de la escu ela de la Lgica intuicionista contrarrestando definitivamente el formalismo de Hi lbert. 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 inde finibilidad de la verdad, las nociones de cardinal, ordinal, relacin y es inducto r de las lgebras cilndricas. 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 inteligentementetransfiriendo informacin de l as 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 qu e 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 re des que Internet proporciona a modo neuronal a la Humanidad.