Lógica

1. Si bien no es necesario conocer explícitamente la lógica como teoría para razonar correctamente, el conocimiento de la lógica ayudaría al científico.

2. La inferencia es la relación entre las premisas y la conclusión de un argumento.

2.1. La inferencia puede ser deductiva o inductiva.

3. La lógica es la teoría de la inferencia

3.1. Como teoría explica en que consiste la diferencia entre argumentos válidos e inválidos y como probar la validez e invalidez de un argumento.

4. La deducción (Argumentos pueden ser válidos o inválidos). En la inducción (Argumentos probables o improbables).

5. La lógica como Lenguaje (Leibniz 1646-1716 estable la necesidad que la lógica debe tener un lenguaje propio libre de vaguedad y de ambiguedad). Razonar es calcular, y todas las discusiones que conducen a la guerra y otras formas de violencia se acabarían si usáramos un lenguaje sin vaguedad y ambigüedad.

6. La importancia de la lógica en la práctica científica. La lógica incluye no solo leyes sino también normas, reglas de procedimiento que señalan cuales son los pasos a seguir para determinado resultado.

6.1. Para Aristóteles, la lógica es el órgano o instrumento que nos permite entender como se hace la ciencia.

6.2. Rudolf Carnap y Mario Bunge incluyen a la lógica y la matemática en las ciencias formales. Las formales se oponen a las fácticas o empíricas. Sin las ciencias formales las fácticas carecerían de estructura; sin las fácticas las formales nunca podrían enseñarnos nada acerca de nuestro entorno.

6.2.1. Las ciencias formales son deductivas y analíticas y las ciencias experimentales son inductivas y sintéticas

6.3. La lógica y la matemática son los instrumentos que toda ciencia necesita para poder proceder con validez y exactitud.

7. Áreas del conocimiento en general en las que puede aplicarse la Lógica: En la ciencia contemporánea, la lógica simbólica, lógica de la preferencia, lógica cuántica, lógica de la decisión, lógica de la computación, lógica proposicional, lógica modal, lógica de los valores.

8. En Occidente la lógica empieza con Aristóteles s.IV. a de C, quién sistematiza la Lógica en su obra Organon. Categorías, Sobre la Interpretación, Analíticos Primeros, Analiticos Segundos, Tópicos y Refutaciones de los Sofistas.

9. Francis Bacon publica su obra en 1620 Novum Organum.

10. Los megáricos y estoicos participaron en los orígenes de la lógica, dando un anticipo a la lógica de proposiciones.

11. Es el estudio del razonamiento (la manifestación de los razonamientos en el lenguaje, y analiza las conexiones entre proposiciones).

12. Quien elaboró un lenguaje propio a la lógica fue el filósofo y matemático Gottlob Frege en su obra Begriffsschrift(1879), por primera vez utilizo símbolos exclusivos para la lógica.

13. Posterior a Frege, Bertrand Russell y Alfred North Whitehead en su obra "Principia Mathematica" se generalizo un sistema de símbolos para la lógica.

14. Entre los términos mas importantes de esta teoría están: razonamiento, argumento y argumentación.

14.1. Son:

14.2. Argumento: relación esquemática entre proposiciones o sus términos, reducida a una estructura abstracta, en la lógica informal se deben analizar otros aspectos.

14.3. Argumentación: es el tipo de argumento influido por esos aspectos que no se pueden reducir al esqueleto puramente lógico.

14.4. Explicación: con frecuencia las explicaciones son argumentos, pero no todo argumento es una explicación, ni toda explicación tiene la estructura de un argumento. En las explicaciones buscamos causas de los hechos y en los argumentos se busca justificar una conclusión a partir de las premisas.

15. George Boole 1815-1864 logro con éxito la revolución en la lógica. En sus obras Análisis matemático de la lógica 1847 y Leyes del pensamiento 1847.

16. Realizado por Alejandra Hernández Vidal, con # de cuenta 20081002025, para la clase de Lógica Formal, que imparte el licenciado Etnan Miranda en el III PAC modalidad virtual 2020 de la UNAH, utilizando como fuente bibliográfica la obra de Luis Camacho, capítulo III "Introducción a la Logica".