La lógica
La lógica aristotélica es la lógica basada en los trabajos del filósofo griego Aristóteles, quien es ampliamente reconocido como el padre fundador de la lógica.
Sus trabajos principales sobre la materia tradicionalmente se agrupan bajo el nombre Órganon («herramienta»), y constituyen la primera investigación sistemática acerca de los principios del razonamiento válido o correcto.
La lógica formal es un tipo de lógica cuyo objeto consiste en el examen de las formas o estructuras que, independientemente de sus contenidos, debe adoptar el razonamiento o la argumentación.
Por ejemplo, veamos el siguiente ejemplo de argumentación: «Todo A es B», «Todo C es A», «Luego, todo C es B».
En este tipo de argumentación no interesan los objetos —reales o idea-les— a los que se refieren A, B y C.
Sino que única y exclusivamente interesa el hecho de que, dadas las dos primeras proposiciones («Todo A es B») y («Todo C es A»), podemos deducir con toda seguridad la tercera («Luego, todo C es B»).
