derecho

Lógica aristotélica

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 trabajosprincipales 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 ocorrecto.1 Para Aristóteles, la lógica era una herramienta necesaria para adentrarse en el mundo de la filosofía y la ciencia. Sus propuestas ejercieron una influencia sin par durante más dedos milenios, a tal punto que en el siglo XVIII, Immanuel Kant llegó a afirmar:
Que desde los tiempos más tempranos la lógica ha transitado por un camino seguro puede verse a partir del hecho de que desde laépoca de Aristóteles no ha dado un sólo paso atrás. [...] Lo que es aun más notable acerca de la lógica es que hasta ahora tampoco ha podido dar un sólo paso hacia adelante, y por lo tanto parece a todasluces terminada y completa.
Juicios
Según Aristóteles, los argumentos o silogismos se componen de juicios (o aserciones, apophanseis). Los juicios son oraciones con un sujeto y un predicado, en lascuales el predicado se afirma o se niega del sujeto.2 Así por ejemplo, «Sócrates es hombre» y «todos los hombres son mortales» son juicios. Aristóteles llama término a aquello que puede ser sujeto opredicado de un juicio, y distingue entre términos singulares («Sócrates», «Platón») y términos universales («hombre», «mortal»).3 Los términos singulares sólo pueden ser sujeto, mientras que lostérminos universales pueden ser tanto sujeto como predicado (con ayuda de cuantificadores).3 Siguiendo estos criterios, Aristóteles clasificó distintos tipos de juicios y también construyó el cuadro deoposición de los juicios. La siguiente tabla resume los seis tipos de juicios:

Silogismos
La noción central del sistema lógico de Aristóteles es el silogismo (o deducción, sullogismos).4 Un...