Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
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.