Lógica[editar]

Esta sección es un extracto de Lógica.[editar]

Este artículo o sección tiene referencias, pero necesita más para complementar
su verificabilidad.
Este aviso fue puesto el 28 de octubre de 2018.

Esquema del modus ponens, una regla de

inferencia fundamental de la lógica proposicional.
La lógica es una rama de la filosofía44 de carácter interdisciplinario, entendida como la ciencia
formal que estudia los principios de la demostración y la inferencia válida,45 las falacias,
las paradojas y la noción de verdad.46
La lógica se divide en varias categorías según su campo de estudio. La lógica
filosófica estudia el concepto y la definición, la enunciación o proposición y
la argumentación utilizando los métodos y resultados de la lógica moderna para el estudio de
problemas filosóficos. La lógica matemática estudia la inferencia mediante sistemas
formales como la lógica proposicional, la lógica de primer orden y la lógica modal. La lógica
informal se enfoca en el desarrollo lingüístico de los razonamientos y sus falacias. La lógica
computacional es la aplicación de la lógica matemática a las ciencias de la computación.
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes
en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama
de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica
matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una
ciencia formal independiente.
No existe un acuerdo universal sobre la definición exacta o los límites de la lógica. 474849 Sin
embargo, el ámbito de la lógica (interpretada en sentido amplio) incluye:

 La clasificación de los argumentos.

 El análisis sistemático de las formas lógicas.
 El estudio sistemático de la validez de las inferencias deductivas.
 La fuerza de las inferencias inductivas.
 El estudio de los argumentos defectuosos, como las falacias.
 El estudio de las paradojas lógicas.
 El estudio de la sintaxis y la semántica de los lenguajes formales.
 El estudio de los conceptos de sentido, denotación y verdad.
Históricamente, la lógica se ha estudiado principalmente en filosofía desde la antigüedad,
en matemáticas desde mediados del siglo XIX y en informática desde mediados del siglo XX.
Más recientemente, la lógica también se ha estudiado en lingüística y en ciencias cognitivas.
En general, la lógica sigue siendo un área de estudio fuertemente interdisciplinaria.