1

INTRODUCCION A LA LOGICA Lgica

Histricamente la palabra ha ido cambiando de sentido. Comenz siendo una modelizacin de los razonamientos propuesta por los filsofos griegos y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teora

Tabla de contenidos
1. 2. 3. 4. 5. 6. 7. 8.

Etimologa Posibles definiciones Lgica informal y lgica formal Historia de la lgica Razonamiento deductivo e inductivo en lgica Diferentes sistemas lgicos Vase tambin Enlaces externos

Etimologa
Etimolgicamente, la palabra lgica viene del vocablo griego (logos) que originalmente significa palabra, pero que a lo largo del tiempo ha ido extendiendo su significado a pensamiento y posteriormente a ciencia o tratado.

Posibles definiciones
La lgica puede definirse por un lado como Ciencia y como Proceso, estudiados por la filosofa y por la psicologa, y por otro lado como Lenguaje formal, estudiado por las matemticas. La lgica como ciencia: "Es la ciencia filosfica sobre el pensamiento que estudia las leyes del desarrollo de todas las cosas materiales, naturales y espirituales, es decir, del desarrollo de todo el contenido concreto del mundo y de su cognicin, o sea, el resultado, la suma total, la conclusin de la historia del conocimiento del mundo ( V.I. Lenin. Resumen del libro de Hegel Ciencia de la Lgica. O.C., t.29, p.84) La lgica estudia los problemas del movimiento del hombre hacia el conocimiento verdadero, las leyes del origen . Para la lgica lo central es aclarar qu es la verdad y cmo se alcanza. La verdad es la coincidencia del concepto con el objeto, el paso del hombre desde la idea subjetiva a la creacin de un cuadro objetivo del mundo a travs de la prctica formada de la interrelacin de todos los aspectos de la realidad, reflejadas en los conceptos. Es definida por Davdf como la teora acerca de las leyes objetivas, universales y necesarias de la naturaleza, la sociedad y todo el conjunto del conocimiento del que dispone la humanidad (Davdov Vasili, La enseanza escolar y el desarrollo psquico, Investigacin

2 psicolgica terica y experimental, Editorial Progeso, Mosc, 1986, 277p, ISBN 5-01000621-9, Impreso en la URSS) La lgica como proceso: La lgica es el proceso de reflejo del mundo objetivo en la conciencia del hombre y de verificacin de la correccin de este reflejo por la prctica, es generada histricamente por la vida de los hombres concretos, cuando se separan de los fenmenos de la naturaleza, sus categoras (cantidad, calidad, medida, esencia, etc, son escalones y puntos focales del conocimiento de la naturaleza objetivamente existente, lo que caracteriza la conciencia del hombre que se desprende de la naturaleza objetivamente existente. (Davdov Vasili, La enseanza escolar y el desarrollo psquico, Investigacin psicolgica terica y experimental, Editorial Progeso, Mosc, 1986, 277p, ISBN 5-01-000621-9, Impreso en la URSS) La lgica matemtica: El hombre de hoy se relaciona ms frecuentemente con la lgica matemtica que se refiere a un sistema deductivo en el que existen ciertos axiomas bsicos y ciertas reglas de deduccin. Ese sistema est formado por un conjunto de expresiones (o smbolos) que permiten construir determinadas proposiciones (o secuencias de signos dotables de significado), las reglas deductivas permiten reconocer cuales son la afirmaciones deducibles de los axiomas mediante las reglas de deduccin y cules no.

Lgica informal y lgica formal

La Lgica informal, por lo comn, se dedica al anlisis de los conceptos y procedimientos involucrados y usados para elaborar conclusiones a partir de informacin dada. Tradicionalmente, esta lgica parte de la base que el pensamiento humano es muchas veces falsa. As, sta ha tenido como finalidad una bsqueda de la verdad, por lo que se ha dedicado a clasificar entre razonamientos correctos y los falaces. La Lgica Formal, a diferencia de la anterior, se refiere al estudio de argumentos racionales en forma estrictamente esquematizada y organizada. Parte de la base que uno razona bien e intenta mejorar a niveles superiores el razonamiento. Forma relaciones altamente abstractas entre las ideas. Esta lgica, la formal, no debe ser confundida con la lgica matemtica o simblica, la cual es slo un tipo de lgica que se encuentra dentro del campo de la lgica formal. La existencia de una gran cantidad de concepciones distintas de la lgica implica que sta no es estudiada en el vaco, sino que es usada en un contexto. Es decir, que puede ser usada por las otras ciencias. Esto no es menor, ya que nos signific una modificacin increble de nuestra manera de mirar el universo y el mundo: Pasamos de creer en teora de los cuatro elementos y en que el mundo era plano, a creer en las teoras de relatividad general y de mecnica cuntica.

Historia de la lgica
La lgica formal como un anlisis explcito de los mtodos de razonamientos se desarroll originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y el Siglo I a.C.

3 En China no dur mucho: la traduccin y la investigacin escolar en lgica fue reprimida por la dinasta Qin, acorde con la filosofa legalista. En India, la lgica dur bastante ms: se desarroll 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. Aristteles fue el primero en emplear el trmino Lgica para referirse al estudio de los argumentos dentro del lenguaje natural. En el Organon Aristteles la define como el arte de la argumentacin correcta y verdadera. Naci as la anteriormente definida Lgica Informal, o el estudio metdico de los argumentos. Durante varios siglos, slo fue investigada por la retrica, la oratoria y la filosofa, entre otras ramas del conocimiento. Se especializ medularmente en la identificacin de falacias y paradojas, as como en la construccin correcta de razonamientos. A partir de mediados del Siglo XIX la lgica formal comenz a ser estudiada en el campo de las matemticas y posteriormente por las ciencias computacionales, naciendo as la Lgica simblica. sta trata de esquematizar los pensamientos claramente usando un lenguaje de signos propio y distinto al verbal, evitando as las ambigedades. As, en la edad contempornea, la lgica generalmente es entendida para describir razonamiento en una forma prescriptita. Esto es, describe cmo el razonar debera tomar lugar. Adems de encontrarle mltiples e importantes usos computacionales y matemticos a la lgica simblica, se ha mantenido la lgica aristotlica, la cual principalmente se ocupa de ensear el buen argumento, y es todava enseada con ese designio en la poca contempornea. Para la Lgica matemtica y la filosofa analtica la lgica es un objeto de estudio en s mismo, por lo que sta es estudiada a un nivel ms abstracto. Existen muchos otros sistemas lgicos, como la lgica dialctica, lgica difusa, lgica probabilstica, lgica modal y la lgica no montona. Martin Heidegger discpulo de Edmund Husserl, se aparta de estas lneas de consideracin de la lgica aunque sin despreciarlas y comprendiendo su alcance (pero tambin sus lmites), planteando que una lgica ms originaria se podra encontrar en un plano previo a las proposiciones, sentencias, declaraciones o juicios. Tomar en cuenta eso podra llevar a un replanteamiento de la lgica de la proposicin o la lgica del juicio, puesto que nos conducira a movernos en las races de la lgica tal como ha sido habitualmente entendida, races que hasta ahora han sido insuficientemente atendidas. Para l, la lgica tendra que partir de una suficiente meditacin del ( lgos), el cual debera ser distinguido de la ratio, que, en rigor, significa algo distinto.

Razonamiento deductivo e inductivo en lgica

La filosofa de Aristteles y Platn engendr la lgica primaria , era deductiva y no inductiva. Esto quiere decir que las leyes universales podan ser descubiertas por el pensamiento humano sin necesidad que ste tuviese que optar por mirar casos particulares para establecer las leyes. Es decir, la lgica deductiva discurre sobre lo que sigue universalmente desde premisas dadas por la razn humana. Es esta la razn por la cual Aristteles estableci los cuatro principios a

4 priori para la lgica todava enseados en nuestra poca: el principio de identidad, el Principio de no contradiccin, el principio del tercero excluido y el principio de razn suficiente. Sin embargo, el hacer uso nicamente de la lgica deductiva puede llevar a errores, ya que se deja la observacin de casos particulares de lado, para ver si se verifica el razonamiento. As entonces, Aristteles se equivoc incluso en el nmero de dientes que tenan las mujeres, habindose podido enterar simplemente observando y contando. En oposicin al formalismo de lo deductivo, Hegel cuestion el principio del tercero excluido y formul el principio de la universalidad de la contradiccin. Propuso el mtodo analtico para partir de la materia concreta dada para llegar a la forma de abstracciones universales y luego proponer definiciones generales. El anlisis deja lo concreto como fundamento y por medio de la abstraccin de las particularidades, que aparentan ser inesenciales, pone de relieve lo universal concreto o sea la fuerza de ley general. En el mismo sentido, el razonamiento inductivo, es el estudio de derivar una generalizacin o una ley a partir de observaciones. ste fue posteriormente incluido en el estudio de la lgica, y fue adoptado como el razonamiento bsico de la investigacin cientfica, combinndola cuando corresponde con la deduccin. Este probablemente es el motivo del xito y la certeza de los modelos cientficos actuales. Es decir, la inclusin del razonamiento inductivo en las ciencias no es menor en nuestras vidas, nos permiti tener el modelo cientfico actual el cual nos ha dado una cantidad impresionante de tecnologa y supuestas verdades. La diferencia entre la validez inductiva y la deductiva es la siguiente: Una inferencia es deductivamente vlida si y slo si no hay posible situacin en la cual todas las premisas son verdaderas y la conclusin falsa. La nocin de validez deductiva puede ser rigurosamente establecida para sistemas de lgica formal en trminos de las bien entendidas nociones de la semntica. La validez inductiva, por el otro lado, requiere que se defina una generalizacin rentable a partir de un conjunto de observaciones. La tarea de proveer esta definicin puede ser enfrentada de varias maneras, algunas menos formales que las otras; algunas de estas definiciones pueden usar modelos matemticos de probabilidades. Kurt Gdel ha demostrado que en cualquier formalizacin consistente de las matemticas que sea lo bastante fuerte para definir el concepto de nmeros naturales, se puede construir una afirmacin que ni se puede demostrar ni se puede refutar dentro de ese sistema y que ningn sistema consistente se puede usar para demostrarse a s mismo. Por tanto, en nuestra poca los razonamientos deductivos e inductivos deben complementarse y trabajar juntos, buscando as la verdad sobre la realidad y el entorno.

Diferentes sistemas lgicos

Lgica aristotlica Lgica baconiana Lgica matemtica Lgica intuicionista Lgica temporal Lgica modal

Vase tambin

Condicin necesaria y suficiente Operador lgico Mtodo cientfico Dilema del prisionero Teorema de la incompletitud de Gdel Kurt Gdel Principio de no contradiccin Principio del tercero excluido Principio de identidad Principio de razn suficiente Aristteles Hegel Edmund Husserl Wittgenstein Quine Heidegger

Enlaces externos

Lgica

Obtenido de "http://es.wikipedia.org/wiki/L%C3%B3gica"