Zusammenfassung der Ressource
Lógica Matemática
- 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
- 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
- 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
- La lógica puede aplicarse en
- La matemática
- La filosofía
- La semiótica
- Sintaxis
- Semántica
- Pragmática