Lgica

Concepto.
La lgica es el estudio del razonamiento; en particular, se analiza si un razonamiento es correcto. La lgica se centra en las relaciones entre los enunciados y no en el contenido de un enunciado particular. Por ejemplo, consideres el siguiente argumento: Todos los matemticos utilizan sandalias. Cualquier persona que utilice sandalias es algebrista Por lo tanto, todos los matemticos son algebristas. Desde el punto de vista tcnico, la lgica no permite determinar si estos enunciados son verdaderos; sin embargo, si los dos primeros enunciados fuesen verdaderos, la lgica garantizara que el enunciado Todos los matemticos son algebristas tambin es verdadero. Los mtodos lgicos se utilizan en matemticas para demostrar teoremas y en computacin para demostrar que los programas hacen precisamente lo que debera hacer. La lgica es el estudio de los mtodos y principios usados para distinguir el buen razonamiento del malo. No debe interpretarse esta definicin en el sentido de que solo es estudio de la lgica puede razonar bien o correctamente. Sostener eso sera tan errneo como pretender que solo es posible correr bien si se ha estudiado la fsica y la fisiologa necesarias para la descripcin de esta actividad.

Historia:
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 como Organn, 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 teolgicofilosfico, 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 newtoniana Lgica Matemtica Otorgado su nombre por Giuseppe Peano. En propiedad, hace parte de la lgica de Aristteles. Despus de realizar algunos ensayos de las operaciones lgicas formales de una manera simblica, Leibniz y Lambert, su labor permaneci desconocida y aislada. Fueron entonces George Boole y Augustus De Morgan, que a mediados del siglo XIX, presentaron un novedoso sistema matemtico para modelar operaciones lgicas. As mismo fue remodelada la lgica tradicional aristotlica obteniendo una herramienta apropiada para la investigacin de los fundamentos de la matemtica. Se presentan a continuacin dos etapas o tipos de lgica; tales como: Lgica Antigua: Aristteles desarroll ampliamente la silogstica Los ESTOICOS desarrollaron el silogismo hipottico (condicional y disyuntivo) e iniciaron lo que actualmente se llama lgica proposicional. Los lgicos medievales continuaron estudiando la lgica aristotlica, e hicieron notables avances en un campo desconocido en esa poca, la semntica Lgica Moderna: Hacia la mitad del S. XIX, la lgica se transforma radicalmente en lgica matemtica. Esto se debi a que se realizaron encuentro de cuatro corrientes distintas: 1. 2. 3. 4. La lgica aristotlica. La idea de un lenguaje matemtico universal. Los progresos de lgebra y la geometra. La concepcin de amplios sectores de la matemtica como sistema deductivo, lo cual conduca a la necesidad de construir "la lgica de la matemtica".

El habitual desarrollo de la lgica destacaba su centro de inters en la forma de argumentar, mientras que la actual lgica matemtica lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintctico (es decir, el envo de una cadena de smbolos perteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una mquina), como a un nivel semntico, construyendo modelos apropiados.

Tipos de Lgica
La Lgica trivalente Contempla tres valores de verdad, lo verdadero, lo falso y lo que no es verdadero ni falso, por desconocido o incierto. Las lgicas polivalentes Son fundamentalmente lgicas probabilsticas en las que los valores de verdad se corresponden con el intervalo [0,1].

La lgica modal Incorpora como operadores los modificadores lo necesario y lo posible. La Lgica temporal Incorpora parmetros temporales. Para muchas oraciones su verdad depende del momento en que se produce. La lgica epistmica Es una lgica intencional que pretende formalizar enunciados de creencia, opinin, etc. La lgica nomonotnica Pretende formalizar situaciones reales en las que decidimos sin una total informacin y que posteriormente admite, conforme se prueben o refuten creencias, revisar el sistema total de creencia.

Bibliografa
Introduccin a la Lgica. Irvin M. Copi (Editorial Universitaria de Buenos Aires). Matematicas Discretas Richard Johnsonbaugh, (De Paul University, Chicago). Cuarta edicin. (Editorial Prentice Hall. Mexico. 1999). Introduccin a la Lgica. Carlos Muoz Gutirrez. Historia de la Lgica Lenguajes Falacias Lgica proposicional (extracto de http://es.scribd.com/doc/33509733/Historia-de-la-Logica-Lenguajes-Falacias-Logicaproposicional citado en marzo de 2014.) Breve Historia de la Lgica (extracto de http://www.euclides.org/menu/articles/article101.htm citado en marzo de 2014.) Definicin y Clases De Lgica (extracto de http://www.buenastareas.com/ensayos/Definicion-y-Clases-De-Logica/2927368.html citado en marzo de 2014.)