Para construir un edificio lógico, primero debemos conocer los ladrillos. Aristóteles identificó que cualquier juicio sobre la realidad se puede clasificar en cuatro tipos, dependiendo de su cantidad (¿todos o algunos?) y su cualidad (¿afirma o niega?).
| Tipo | Estructura | Nombre Técnico | Ejemplo |
|---|---|---|---|
| A | Todo S es P | Universal Afirmativa | Todos los hombres son mortales. |
| E | Ningún S es P | Universal Negativa | Ningún pez es volador. |
| I | Algún S es P | Particular Afirmativa | Algunos políticos son honestos. |
| O | Algún S no es P | Particular Negativa | Algunos perros no ladran. |
El Cuadro de Oposición: Estas cuatro letras no están aisladas; mantienen una guerra constante entre sí. La relación más importante que debes memorizar es la de las Contradictorias (A vs O / E vs I).
Si tú afirmas que "Todos los cisnes son blancos" (A), yo no necesito demostrar que todos son negros para vencerte. Me basta con encontrar uno solo que no lo sea (O). La verdad de una implica inevitablemente la falsedad de su diagonal.
Entender esto es el primer paso para no dejarse arrastrar por generalizaciones indebidas. En la siguiente sección, veremos cómo estas piezas se ensamblan para formar la máquina de razonar por excelencia: el Silogismo.