La Logica

***LOGICA***

**DEFINICION DE LA LOGICA**

La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo logike, que significa dotado de razón, intelectual, dialéctico, argumentativo, que a su vez viene de logos, palabra, pensamiento, idea, argumento, razón o principio. La lógica examina la validez de los argumentos en términos de su estructura lógica, independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir. Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia. Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática. Hasta entonces la lógica no tuvo este sentido de estructura formal estricta. La tradición aristotélica y estoica, mantuvo siempre una relación con los argumentos del lenguaje natural, concediendo por tanto a los argumentos una transmisión de contenidos verdaderos. Por ello aun siendo formales, no eran formalistas.

**OBJETO DE ESTUDIO DE LA LOGICA**

Cuando nos concentramos en nuestros pensamientos, nuestro objetivo normalmente es encontrar la respuesta de algo. Tratamos de responder una pregunta, resolver un problema, probar una tesis, comprender un texto de una disciplina específica. En todos estos casos, podríamos decir que estamos tratando de adquirir conocimientos que no teníamos antes. Y, en muchas ocasiones, podemos adquirir este conocimiento por la observación directa. Pero también tenemos que hacer razonamientos, elaborar inferencias y construir conclusiones conjuntamente a partir de la información obtenida. Un objeto esencial de la lógica, siempre, ha sido el estudio de la inferencia y buena parte de nuestro trabajo estará orientado en esta dirección.

**METODO DE LA LOGICA**

Deducción o método lógico deductivo es un método científico que, a diferencia de la inducción, considera que la conclusión está implícita en las premisas. Es decir que la conclusión no es nueva, se sigue necesariamente de las premisas. Si un razonamiento deductivo es válido y las premisas son verdaderas, la conclusión sólo puede ser verdadera. En la inducción, la conclusión es nueva, no se sigue deductivamente de las premisas y no es necesariamente verdadera. Responde al razonamiento deductivo que fue descrito por primera vez por filósofos de la Antigua Grecia, en especial Aristóteles. Su principal aplicación se realiza mediante el método de extrapolación. Opuestamente al razonamiento inductivo en el cual se formulan leyes a partir de hechos observados, el razonamiento deductivo infiere esos mismos hechos basándose en la ley general. Según Bacon la inducción es mejor que la deducción porque mientras que de la inducción se pasa de una particularidad a una generalidad, la deducción es de la generalidad. Método deductivo directo de conclusión inmediata: Se obtiene el juicio de una sola premisa, es decir que se llega a una conclusión directa sin intermediarios.

**ETAPAS DE LA LOGICA**

Podemos distinguir dos etapas o dos tipos de lógica: la lógica antigua y la lógica moderna (matemática).La lógica antigua: Aristóteles fue quien fundó la lógica y desarrolló ampliamente la silogística que es igual a la actual lógica de clases. Parménides y Platón también realizaron estudios lógicos. Posteriormente, los ESTOICOS hicieron algunas aportaciones a la lógica: desarrollaron el silogismo hipotético condicional y disyuntivo e iniciaron lo que actualmente se llama lógica proposicional. Los lógicos medievales continuaron estudiando la lógica aristotélica, no añadieron nada sustancial, pero sí hicieron notables avances en un campo desconocido en esa época, la semántica. Los filósofos modernos se interesaron más por la metodología de la ciencia y por los estudios lógicos. La lógica moderna matemática: Hacia la mitad del S. XIX, la lógica se transforma radicalmente en lógica matemática. Esto se debió a que se realizaron encuentro de cuatro corrientes distintas: 1.- La lógica aristotélica. 2.- La idea de un lenguaje matemático universal. 3.- Los progresos de álgebra y la geometría. 4.- La concepción de amplios sectores de la matemática como sistema deductivo, lo cual conducía a la necesidad de construir "la lógica de la matemática”. Esta lógica se inicia con The Mathematical Analysis of Logic (1847), de G. Boole, "Ensayo acerca de un cálculo del razonamiento deductivo" que indica como la lógica aparece como un cálculo algebraico; se produce a una completa simbolización; los enunciados lógicos son concebidos como ecuaciones, y se formulan leyes lógicas. Boole desarrolla la lógica de clases y la lógica proposicional. El álgebra se convierte en modelo de la lógica. Y el cálculo que crea Boole es totalmente artificial. Más tarde, Ch.S. Peirce hará aportaciones: la lógica de relaciones, el método de matrices (o tablas de verdad) y nuevos desarrollos de la lógica proposicional. Así pues, la nueva lógica surge de la aplicación de los métodos matemáticos a la lógica antigua. Por eso se puede decir que se abre un nuevo período, cuando las matemáticas se convierten en objeto de lógica. Fue el italiano G. Peano quien usó por primera vez la expresión "lógica matemática"; de este modo pudo realizar la axiomatización de la aritmética. El último período supone la aparición de lógicas divergentes, es decir, lógicas que no respetan alguno de los rasgos característicos de la lógica "clásica".

**ETAPA ANTIGUA DE LA LOGICA**

Aristóteles fue quien fundó la lógica y desarrolló ampliamente la silogística que es igual a la actual lógica de clases. Parménides y Platón también realizaron estudios lógicos. Posteriormente, los ESTOICOS hicieron algunas aportaciones a la lógica: desarrollaron el silogismo hipotético condicional y disyuntivo e iniciaron lo que actualmente se llama lógica proposicional. Los lógicos medievales continuaron estudiando la lógica aristotélica, no añadieron nada sustancial, pero sí hicieron notables avances en un campo desconocido en esa época, la semántica. Los filósofos modernos se interesaron más por la metodología de la ciencia y por los estudios lógicos.

...