LA LOGICA FILOSOFICA La lgica es una ciencia formal que estudia los principios de la demostracin e inferencia vlida.

La palabra deriva del griego antiguo (logike), que significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez viene de (logos), palabra, pensamiento, idea, argumento, razn o principio. As como el objeto de estudio tradicional de la qumica es la materia, y el de la biologa la vida, el de la lgica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.1 La lgica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lgica, y no por el contenido especfico del argumento o el lenguaje utilizado. Por esta razn la lgica se considera una ciencia formal, como la matemtica, en vez de una ciencia emprica. La lgica tradicionalmente se consider una rama de la filosofa. Pero desde finales del siglo XIX, su formalizacin simblica ha demostrado una ntima relacin con las matemticas, y dio lugar a la lgica matemtica. En el siglo XX la lgica ha pasado a ser principalmente la lgica simblica, un clculo definido por smbolos y reglas de inferencia, lo que ha permitido su aplicacin a lainformtica. Hasta el siglo XIX, la lgica aristotlica y estoica mantuvieron siempre una relacin con los argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eranformalistas.2 Hoy esa relacin se trata bajo un punto de vista completamente diferente. La formalizacin estricta ha mostrado las limitaciones de la lgica tradicional o aristotlica, que hoy se interpreta como una parte pequea de la lgica de clases.

El trmino lgica, se encuentra en los antiguos peripatticos y estoicos como una teora de la 3 argumentacin o argumento cerrado. De este modo la forma argumentativa responde alprincipio 4 de conocimiento que supone que representa adecuadamente la realidad. Por ello, sin perder su condicin de formalidad, no son formalistas y no acaban de desprenderse de las estructuras 2 propias del lenguaje. Con el nombre de Dialctica, en la Edad Media, la Lgica mantiene la condicin de ciencia propedutica. As se estudia en la estructura de las enseanzas del Trivium como una de las artes liberales. En la Edad Moderna la lgica tradicional aristotlica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port Royal, en el siglo XVII, pero tampoco supusieron un cambio radical en el concepto de la Lgica como ciencia.

Edad Antigua
La lgica, como un anlisis explcito de los mtodos de razonamiento, se desarroll originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el siglo V y el siglo I a. C. En China no dur mucho tiempo: la traduccin y la investigacin escolar en lgica fue reprimida por la dinasta Qin, acorde con la filosofa legista. En India, la lgica dur bastante ms: se desarroll (por ejemplo con la nyya) hasta que en el mundo islmico apareci la escuela de Asharite, la cual suprimi parte del trabajo original en lgica. A pesar de lo anterior, hubo innovaciones escolsticas indias hasta principios del siglo XIX, pero no sobrevivi mucho dentro de la India colonial. El tratamiento sofisticado y formal de la lgica moderna aparentemente proviene de la tradicin griega. Se considera a Aristteles el fundador de la lgica como propedutica o herramienta bsica para todas las ciencias. Aristteles fue el primero en formalizar los razonamientos, utilizando letras para representar trminos. Tambin fue el primero en emplear el trmino lgica para referirse al estudio de los argumentos dentro del lenguaje apofntico como manifestador de la verdad en la ciencia. Sostuvo que la verdad se manifiesta en el juicio verdadero y el argumento vlido en el silogismo: Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta 16 necesariamente de ellas, por ser lo que son, otra cosa diferente. Se refiri en varios escritos de su rganon a cuestiones tales como concepto, la proposicin, definicin, prueba y falacia. En su principal obra lgica, los Primeros analticos, desarroll el silogismo, un sistema lgico de estructura rgida. Aristteles tambin formaliz el cuadro de oposicin de los juicios y categoriz las formas vlidas del silogismo. Adems, Aristteles reconoci y estudi los argumentos inductivos, base de lo que constituye la ciencia experimental, cuya lgica est estrechamente ligada al mtodo cientfico. La influencia de los logros de Aristteles fue tan grande, que en el siglo XVIII, Immanuel 17 Kant lleg a decir que Aristteles haba prcticamente completado la ciencia de la lgica. Los filsofos estoicos introdujeron el silogismo hipottico y anunciaron la lgica proposicional, pero no tuvo mucho desarrollo. Por otro lado, la lgica informal fue cultivada por la retrica, la oratoria y la filosofa, entre otras ramas del conocimiento. Estos estudios se centraron principalmente en la identificacin defalacias y paradojas, as como en la construccin correcta de los discursos. En el periodo romano la lgica tuvo poco desarrollo, ms bien se hicieron sumarios y comentarios a las obras recibidas, siendo los ms notables: Cicern, Porfirio y Boecio. En el perodobizantino, Filopn.

Edad Media
Con el nombre de Dialctica en la Edad Media la Lgica mantiene la condicin de ciencia propedutica. As se estudia en la estructura de las enseanzas del Trivium como una de las artes liberales pero sin especiales aportaciones en la Alta Edad Media. En su evolucin hacia la Baja Edad Media son importantes las aportaciones rabes de Al18 Farab; Avicena y Averroes, pues fueron los rabes quienes reintrodujeron los escritos de Aristteles en Europa. En la Baja Edad Media su estudio era requisito para entrar en cualquier universidad. Desde mediados del siglo XIII se incluyen en la lgica tres cuerpos separados del texto. En la logica vetus y logica nova es tradicional escritos lgicos, especialmente el rganon de Aristteles y los comentarios de Boecio y Porfirio. La parva logicalia puede ser considerada como representativa de la lgica medieval. La evolucin crtica que se va desarrollando a partir de las aportaciones de Abelardo dinamizaron la problemtica lgica y epistemolgica a partir del siglo XIII (Pedro Hispano; Raimundo 19 Lulio Lambert de Auxerre Guillermo de Sherwood) que culminaron en toda la problemtica del siglo XIV:Guillermo de Ockham; Jean Buridan; Alberto de Sajonia. Aqu estn tratados una cantidad de nuevos problemas en la frontera de la lgica y la semntica que no fueron tratados por los pensadores antiguos. De especial relevancia es la problemtica respecto a la valoracin de los trminos del lenguaje en relacin con los conceptos universales, as como el estatuto epistemolgico y ontolgico de stos y el problema de la individuacin.

Edad Moderna
Un nuevo enfoque adquiere esta lgica en las interpretaciones racionalistas de Port Royal, en el siglo XVII, (Antoine Arnauld; Pierre Nicole) pero tampoco supusieron un cambio radical en el concepto de la Lgica como ciencia. Los filsofos racionalistas, sin embargo, aportaron a travs del desarrollo del anlisis y su desarrollo en las matemticas (Descartes, Pascal y Leibniz) los temas que van a marcar el desarrollo posterior. Son de especial importancia la idea de Descartes de una Mathesis 20 universalis y de Leibniz en la bsqueda de un lenguaje universal, especificado con precisin matemtica sobre la base de que la sintaxis de las palabras debera estar en correspondencia con las entidades designadas como individuos o elementos metafsicos, lo que hara posible 21 un clculo ocomputacin mediante algoritmo en el descubrimiento de la verdad. Aparecen los primeros intentos y realizaciones de mquinas de clculo, (Pascal, Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universal o Caracterstica Universal, es el antecedente inmediato del desarrollo de la lgica a partir del siglo XX.

Artculo principal: Kant

Kant consideraba que la lgica por ser una ciencia a priori haba encontrado su pleno desarrollo 22 prcticamente con la lgica aristotlica, por lo que apenas haba sido modificada desde entonces. Pero hace un uso nuevo de la palabra lgica como lgica trascendental, en el sentido de investigar los conceptos puros del entendimiento o categoras trascendentales.
Artculo principal: Idealismo

La lgica del pensar trascendental acaba situndose en un proceso dialctico como idealismo subjetivo en Fichte; idealismo objetivo en Schelling y, finalmente un idealismo absoluto en
Artculo principal: Hegel

Hegel considera la lgica dentro del Absoluto como un proceso dialctico del Espritu 23 Absoluto que produce sus determinaciones como concepto y su realidad como resultado en el 24 devenir de la Idea del Absoluto como Sujeto cuya verdad se manifiesta en el resultado del movimiento mediante la contradiccin en tres momentos sucesivos, tesis-anttesis-sntesis. La epistemologa y la ontologa van unidas y expuestas en la Filosofa entendida sta como Sistema Absoluto.

Siglo XIX
A partir de la segunda mitad del siglo XIX, la lgica sera revolucionada profundamente. En 1847, George Boole public un breve tratado titulado El anlisis matemtico de la lgica, y en 1854 otro ms importante titulado Las leyes del pensamiento. La idea de Boole fue construir a la lgica como un clculo en el que los valores de verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican operaciones matemticas como la suma y la multiplicacin. Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lgica formal, donde introduce las leyes de De Morgan e intenta generalizar la nocin de silogismo. Otro importante contribuyente ingls fue John Venn, quien en 1881 public su libro Lgica Simblica, donde introdujo los famosos diagramas de Venn. Charles Sanders Peirce y Ernst Schrder tambin hicieron importantes contribuciones. Sin embargo, la verdadera revolucin de la lgica vino de la mano de Gottlob Frege, quien frecuentemente es considerado como el lgico ms importante de la historia, junto con Aristteles. En su trabajo de 1879, la Conceptografa, Frege ofrece por primera vez un sistema completo de lgica de predicados. Tambin desarrolla la idea de un lenguaje formal y define la nocin de prueba. Estas ideas constituyeron una base terica fundamental para el desarrollo de las computadoras y las ciencias de la computacin, entre otras cosas. Pese a esto, los contemporneos de Frege pasaron por alto sus contribuciones, probablemente a causa de la complicada notacin que desarroll el autor. En 1893 y 1903, Frege publica en dos volmenes Las leyes de la aritmtica, donde intenta deducir toda la matemtica a partir de la lgica, en lo que se conoce como el proyecto logicista. Su sistema, sin embargo, contena una contradiccin (la paradoja de Russell).

Siglo XX
El siglo XX sera uno de enormes desarrollos en lgica. A partir del siglo XX, la lgica pas a estudiarse por su inters intrnseco, y no slo por sus virtudes como propedutica, por lo que estudi a niveles mucho ms abstractos. En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo monumental en el que logran gran parte de la matemtica a partir de la lgica, evitando caer en las paradojas en las que cay Frege. Los autores reconocen el mrito de Frege en el prefacio. En contraste con el trabajo de Frege, Principia mathematica tuvo un xito rotundo, y lleg a considerarse uno de los trabajos de no ficcin ms importantes e influyentes de todo el siglo XX. Principia mathematica utiliza una notacin inspirada en la de Giuseppe Peano, parte de la cual todava es muy utilizada hoy en da. Si bien a la luz de los sistemas contemporneos la lgica aristotlica puede parecer equivocada e incompleta, Jan ukasiewicz mostr que, a pesar de sus grandes dificultades, la lgica aristotlica era consistente, si bien haba que interpretarse como lgica de clases, lo cual no es pequea modificacin. Por ello la silogstica prcticamente no tiene uso actualmente. Adems de la lgica proposicional y la lgica de predicados, el siglo XX vio el desarrollo de muchos otros sistemas lgicos; entre los que destacan las muchas lgicas modales.

CLASES DE LOGICA

La lgica se da en dos niveles: LGICA NATURAL y LGICA CIENTFICA. 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. Adems podemos tomar en cuenta, como una lgica ms cientfica, la LGICA MATEMTICA.