Lógica Aristotélica

La lógica que es conocida como lógica clásica (o tradicional) fue enunciada primeramente por Aristóteles, quien elaboró leyes para un correcto razonamiento silogístico. Un silogismo es una proposición hecha de una de estas cuatro afirmaciones posibles: “Todo A es B” (universal afirmativo), “Nada de A es B” (universal negativo), “Algo de A es B” (particular afirmativo) o “Algo de A no es B” (particular negativo). Las letras sustituyen a palabras comunes como “perro”, “animal de cuatro patas” o "cosa viviente", llamadas “términos” del silogismo. Un silogismo bien formulado consta de dos premisas y una conclusión, debiendo tener cada premisa un término en común con la conclusión y un segundo término relacionado con la otra premisa. En lógica clásica se formulan reglas por las que todos los silogismos bien construidos se identifican como formas válidas o no válidas de argumentación.