LOGICA

Aristóteles es ampliamente reconocido como el padre fundador de la lógica.
Para Aristóteles, la lógica era una herramienta necesaria para adentrarse en el mundo de la filosofía y la ciencia.

SILOGISMOS

La noción central del sistema lógico de Aristóteles es el silogismo (o deducción).Un silogismo es, según la definición de Aristóteles, «un discurso (logos) en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente». Un ejemplo clásico de silogismo es el siguiente:

1. Todos los hombres son mortales.
2. Todos los griegos son hombres.
3. Por lo tanto, todos los griegos son mortales.

En este ejemplo, tras establecer las premisas (1) y (2), la conclusión (3) se sigue por necesidad.

SILOGÍSTICA

la teoría ofrece criterios para evaluar la validez, o no, 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. 

Universal	Todo S es P. Todos los hombres son mortales.	Ningún S es P. Ningún hombre es mortal.
Indefinido	Algunos S son P. Algunos hombres son mortales.	Algunos S no son P. Algunos hombres no son mortales.
Particular	S es P. Sócrates es mortal.	S no es P. Sócrates no es mortal.

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. 

ANTECEDENTE = Dos premisas:

Premisa mayor, en la que se encuentra el término mayor, que es el predicado de la conclusión, que se representa como P.

Premisa menor, en la que se encuentra el término menor, que es el sujeto de la conclusión, que se representa como S.

Entre ambas se realiza la comparación del término sujeto y el término predicado con respecto al término medio, que se representa como M.

CONSECUENTE = Una conclusión:

En la que se establece la relación entre el término sujeto S, y el término predicado P.

TÉRMINOS:

Término mayor: Es el predicado de la conclusión. La premisa en la que se encuentra se llama premisa mayor. Se representa como P.

Término menor: Es el sujeto de la conclusión. La premisa en la que se encuentra se llama Premisa menor. Se representa como S.

Término medio: Que sirve de comparación (tertium comparationis) y no puede estar en la conclusión. Se representa como M.