Lógica Matemática

Lógica Matemática

1. Es

   • La teoria de la inferencia
     • La relación entre las premisas y la conclusión de un argumento
       • Puede ser
         • Deductiva
           • Si las premisas son verdaderas, la conclusion tiene que ser verdadera
             • Hablamos de
               • Argumentos válidos o inválidos
         • Inductiva
           • Las premisas pueden verdaderas y, sin embargo, la conclusión puede ser falsa
             • Hablamos de
               • Argumentos probables o improbables
   • Un lenguaje
     • El filósofo Leibniz fue el primero en establecer que la lógica debe tener un lenguaje propio, libre de vaguedad y ambigüedad
       • Sin embargo, el filósofo y matemático Gottlob Fregue en su obra "Begriffsschchrift", fue quien por primera vez utilizó simbolos exclusivos para la lógica
         • A partir de
           • La obra "Principia Mathematica" de Bertrand Russell y Alfred North Whithehead se generalizó un sistema de símbolos que todavía algunas veces se utiliza

2. Podemos clasificarla

   • En relación con criterios geográficos e históricos
     • Lógica oriental y occidental
     • Lógica clásica
     • Lógica aristotélica
     • Lógica medieval
     • Lógica escolátsica
     • Lógica moderna
     • Lógica simbólica, matemática, logística
     • Lógica formal
   • En relación con las partes
     • Lógica proposicional
   • En relación con temas o aplicaciones

3. Importancia en la práctica científica

   • Es fundamental para la validez de las conclusiones
   • Facilita la formulación de hipótesis y teorías
   • Ayuda a identificar y corregir errores en el pensamiento

4. La lógica puede aplicarse en

   • La matemática
   • La filosofía
   • La semiótica
     • Sintaxis
     • Semántica
     • Pragmática