AUTORES DE LOGICA MATEMATICA 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 rigurosos- requeridos por el enfoque axiomtico de la geometra clsica. Ubi dubium ibi libertas, donde hay duda hay libertad. Isacc Newton

A Isacc Newton , 1642-1727, se le debe el descubrimiento de la gravitacin universal, el desarrollo del clculo infinitesimal e importantes descubrimientos sobre ptica, as como las leyes que rigen la mecnica clsica que alimentara el nacimiento de la mecnica cuntica. Su obra fundamental, Principios matemticos de la filosofa natural (1686). Gottfried W. Leibniz

Filsofo y matemtico alemn, 1646-1716; fund la Academia de Ciencias de Berln, 1700. En Discurso sobre el arte combinatorio enuncia la necesidad de un lenguaje riguroso, exacto y universal puramente formal. Como matemtico, su principal trabajo publicado en 1684 es la memoria Nuevo mtodo para la determinacin de los mximos y los mnimos , en la que expone las ideas fundamentales del clculo infinitesimal, anticipndose unos aos a Newton. La notacin que emple es particularmente cmoda y se sigue utilizando con algunas modificaciones; introdujo el smbolo de integral y de diferencial de una variable. En el rea de lgica matemtica publica Generales inquisitiones de analysi notionum et

veritatum y Fundamenta calculi logici . Georg Wilhelm Friedrich Hegel

Filsofo alemn, 1770-1831; fascinado por la obra de Kant y de Rousseau. Autor 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.