Lógica
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.
Lógica
El "Organon" fue el conjunto de trabajos de Aristóteles sobre lógica, constituyendo los "Primeros analíticos" el primer trabajo explícito de lógica formal, introduciendo la silogística. Las partes de la lógica silogística, también conocida con el nombre de lógica de términos, son el análisis de los juicios en proposiciones que consisten en dos términos que están relacionados por una de un número fijo de relaciones, y la expresión de inferencias mediante silogismos que consisten en dos proposiciones que comparten un término común como premisa, y una conclusión que es una proposición que involucra los dos términos no relacionados de las premisas.