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 2007 se incorporan datos del modelo de exposicin que Antonio Escohotado propone en Gnesis 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. 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). 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.

LA LGICA NATURAL es aquella que todo el ser humano adquiere con la experiencia sensible. Si un da me quemo con una plancha encendida, al otro da, al ver que la plancha est encendida no tocar el plato puesto que por lgica s que me voy a volver a quemar. LA LGICA CIENTFICA es aquella que adems de usar la experiencia, tambin hace uso de la razn, haciendo juicios con todo lo existente. Entonces le doy una explicacin al fenmeno de la plancha utilizando las leyes fsicas y qumicas, la resistencia del cuerpo humano y la razn, para comprender a fondo el por qu me quem. Esta primera divisin de la LGICA se llama divisin MATERIAL. La segunda divisin de la

LGICA se deriva de su objeto de estudio. La lgica estudia tanto el proceso de la razn y el razonamiento, como la validez de tal razonamiento. La lgica se divide, segn su campo de estudio en dos: LA LGICA FORMAL y LA LGICA MATERIAL. LA LGICA FORMAL trata del estudio del razonamiento desde su aspecto correcto. Sin implicar la validez de tal razonamiento. Es adecuado pensar que si hoy es lunes entonces ir a la escuela. Mi pensamiento es correcto sin importar si es o no vlido. As como decir La tierra gira, la lluvia cae, el sol calienta, etc. Hay ciertas reglas que a la lgica material le importan para que un pensamiento sea correcto, de esto habla la estructura y las figuras lgicas. LA LGICA MATERIAL, se estudia desde una rama de la filosofa llamada epistemologa. El objeto de la lgica material se basa en la validez de un pensamiento tomando en cuenta la realidad. Puedo pensar el cielo est nublado luego entonces llover. Aunque mi pensamiento es correcto, no tiene validez, no es verdadero. Puede estar nublado y sin embargo no llover o puede estar soleado y de repente comenzar a llover. Este es en grandes rasgos el rol de ambas divisiones materiales de la lgica. Anteriormente te dijeron algunas corrientes filosficas que apoyan las posturas de la lgica, pero todas ellas van dentro de la divisin material de la lgica.