ARISTOTELES

Aristóteles (Estagira, 384 a. C.-Calcis, 322 a. C.) fue un filósofo, polímata y científico nacido en
la ciudad de Estagira, al norte de Antigua Grecia. Es considerado junto a Platón, el padre de la
filosofía occidental.

Fue discípulo de Platón y de otros pensadores, como Eudoxo de Cnido, durante los veinte años
que estuvo en la Academia de Atenas. Poco después de la muerte de Platón, Aristóteles
abandonó Atenas y para ser el maestro de Alejandro Magno en el Reino de Macedonia durante
casi 5 años. En la última etapa de su vida fundó el Liceo en Atenas, donde enseñó hasta un año
antes de su muerte.

Aristoteles es conocido 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 sobre los principios del razonamiento válido o correcto.

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 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 aún 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 todas luces terminada y completa." Crítica
de la razón pura.

El trabajo de Aristóteles se consideraba desde los tiempos clásicos como la imagen misma de
un sistema completamente elaborado. No obstante, no se consideraba que los problemas de la
lógica aristotélica, tuvieran que necesitar soluciones revolucionarias. Sin embargo, la lógica de
Aristóteles se emplea, entre otros campos de estudio e investigación, en la teoría de la
argumentación para ayudar a desarrollar y cuestionar críticamente los esquemas de
argumentación que se utilizan en la inteligencia artificial y los argumentos legales.

SILOGISMO

El silogismo es la forma fundamental del argumento en la lógica formal. La noción de silogismo

fue introducida en la ciencia por Aristóteles, quien lo consideraba como la forma fundamental
del conocimiento científico que permite de dos proposiciones conocidas deducir nuevos y
distintos juicios. Así, el silogismo es un argumento en el que de dos premisas, se obtiene por
intermedio del concepto común (término medio) contenido en ambas premisas, una nueva
conclusión. La forma más general de un silogismo se construye según este tipo: “Todos los
hombres son mortales. Juan es un hombre. Por consiguiente, Juan es mortal”. En este
silogismo, el concepto “hombre” es el término medio, el concepto común de ambas premisa.

En los Primeros analíticos, Aristóteles construyó la primera teoría de la inferencia válida.

Conocida como la silogística, la teoría ofrece criterios para evaluar la validez de ciertos tipos
muy específicos de silogismos: los silogismos categóricos. Para definir lo que es un silogismo
categórico, primero es necesario definir lo que es una proposición categórica. Una proposición
es categórica si tiene alguna de las siguientes cuatro formas:

Todo S es P —por ejemplo, todos los humanos son mamíferos. (universal afirmativo)

Ningún S es P —por ejemplo, ningún humano es un reptil. (universal negativo)

 Algunos S son P —por ejemplo, algunos humanos son varones. (particular afirmativo)

Algunos S no son P —por ejemplo, algunos humanos no son varones. (particular

negativo)

Cada proposición categórica contiene dos términos: un sujeto (S) y un predicado (P). Un
silogismo es categórico si está compuesto por exactamente tres proposiciones categóricas (dos
premisas y una conclusión), y si ambas premisas comparten exactamente un término (llamado
el término medio), que además no está presente en la conclusión. Por ejemplo, el silogismo
mencionado más arriba es un silogismo categórico.