Para Aristóteles la lógica proposicional es el análisis del lenguaje. La realidad captada establece los conocimientos y los conceptos.

Los conceptos son aprensiones intelectuales de las cosas (las ideas). Después de los conceptos hacemos juicios, que se componen de:

Cuantificador + Sujeto + Calificador + Predicado

El silogismo es un razonamiento deductivo (de lo universal pasamos a lo particular) elemental que tiene 3 juicios, dos actúan como premisas y una como conclusión. No importa la verdad del resultado, lo importante es el esquema. Se trata de razonar bien.

Ejemplo:

Ninguna gallina es política – PREMISA

Todos los madrileños son políticos – PREMISA

Ningún madrileño es gallina – CONCLUSIÓN

En las premisas, cuando hablamos de “algunos”, nos referimos a algo particular; y cuando hablamos de “todos”, a algo universal.

Por eso se pueden distinguir 4 tipos de juicios:

    • Afirmativo Universal (A) – Todas las gallinas son madrileñas.

    • Afirmativo  Particular (I) – Algunos perros son bonitos.

    • Negativo Universal (E) – Todos lo alumnos no son parlanchines = Ningún alumno es parlanchín.

    • Negativo Particular (O) – Algunos peces no son graciosos.

 

En los silogismos hay tres términos que se repiten 2 veces:

Término medio: se repite en las dos premisas, pero no en la conclusión. (M)

Término mayor: es el elemento que se encuentra en la 1ª premisa y no se repite en la 2ª. Actuará como predicado de la conclusión. (P)

Término menor: es el elemento que se encuentra en la 2ª premisa y no  se repite en la 1ª. Actuará como sujeto de la conclusión. (S)

 

Las figuras del silogismo:

1                                              2                                                3

M    P                                       P    M                                         M     P

S     M                                      S    M                                         M     S

S     P                                       S    P                                           S      P

El modo del silogismo:

indica la figura + tipo de juicio

 P    (E )   M

S    (A)    M

S    (E)    P

En la figura 1, solo son válidos estos:

AAA  /  EAE  /  AII  /  EIO

En la figura 2, solo son válidos estos:

EAE  /  AEE  /  EIO  /  AOO

En la figura 3, solo son válidos estos:

AAI  /  EAO  /  IAI  /  OAO  /  AII

Ejemplo:

Todas las gallinas son políticas          →           M      A      P

Todas las gallinas son madrileñas     →           M      A      S

Algún madrileño es político                →            S        I       P