LA LGICA

Qu es?
La Lgica es una ciencia formal que estudia los principios de la demostracin e inferencia vlida. Entendemos por inferencia a la evaluacin que realiza la mente entre proposiciones. Segn la idea de Descartes de una Mathesis universalis y de Leibniz que, con su Characteristica Universalis supone la posibilidad de que la lgica sea 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 un clculo o computacin mediante algoritmo en el descubrimiento de la verdad.

Gottfried Leibniz

Historia
Histricamente la palabra lgica 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 En un principio la lgica no tuvo el sentido de estructura formal estricta. 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 la informtica. 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 eran formalistas.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.

Aplicaciones Prcticas
En los tipos de la lgica que se aplica en la prctica tenemos: Lgica Proposicional.- e la usa para proporcionar reglas y tcnicas para que poder saber si un argumento es vlido o no. Adems en matemticas se lo aplicar para la resolucin de teoremas; en ciencias de la computacin se lo puede aplicar si para saber si son o no correctos los algoritmos de un programa programas; en las ciencias fsicas y naturales se los usa para sacar conclusiones de experimentos; y en las ciencias sociales y el diario vivir se lo usa para resolver multitud de problemas. Lgica Difusa.- se utiliza cuando la complejidad del proceso en cuestin es muy alta y no existen modelos matemticos precisos, para procesos altamente no lineales y cuando se envuelven definiciones y conocimiento no estrictamente definido (impreciso o subjetivo). En cambio, no es una buena idea usarla cuando algn modelo matemtico ya soluciona eficientemente el problema, cuando los problemas son lineales o cuando no tienen solucin. Lgica dentica.- un tipo de lgica modal usada para analizar formalmente las normas o las proposiciones que tratan acerca de las normas.

Conclusiones
Como conclusin se puede decir que la lgica es una ciencia que nos ayuda a desarrollar nuestra capacidad mental, como tambin se podra decir que es un lenguaje universal segn las teoras de Descartes y Leibniz.

Bibliografa
Desconocido. (27 de Julio de 2013). Wikipedia. Recuperado el 24 de Septiembre de 2013, de Wikipedia: http://es.wikipedia.org/wiki/L%C3%B3gica Siver. (30 de Agosto de 2010). Yahoo Respuestas. Recuperado el 24 de Septiembre de 2013, de Yahoo Respuestas: http://espanol.answers.yahoo.com/question/index?qid=20100829171849AAxnAXD

Bibliografa Adicional

Priest, Graham (2008). An introduction to non-classical logic: From if to is (2 edicin). Nueva York: Cambridge University Press. ISBN 978-0521854337. Ferrater Mora, J. (1984). Diccionario de Filosofa (4 tomos). Barcelona. Alianza Diccionarios.. ISBN 84-206-5299-7. Honderich, T.(Editor) (2001). Enciclopedia Oxford de Filosofa. Trd. Carmen Garca Trevijano. Madrid. Editorial Tecnos. ISBN 84-309-3699-8.