diccionario de términos de logica

Intervienen tres cosas:

• Término: es una idea, pero que no es ni cierta ni falsa. Por ejemplo, ``hombre'' o ``mortal'' (famosos ejemplos).
• Proposición: consiste en dos términos, de forma que a uno se le afirma o niega el otro. Esto sí que tiene valor de verdad. Ejemplo, ``los mortales no son hombres''.
• Silogismo: inferencia donde una proposición se deriva necesariamente de otras dos.

Se le llama lógica de términos porque en cada proposición hay dos términos. Pero además, cada proposición puede ser universal o particular, y también afirmativa o negativa. Por tanto, quedan cuatro tipos:

• Tipo A: universal y afirmativa (``todos los perros son mortales'')
• Tipo I: particular y afirmativa (``algunos ejemplos son absurdos'')
• Tipo E: universal y negativa (``ningún filósofo es rico'', o ``todos los filósofos son no ricos'')
• Tipo O: particular y negativa (``algunos perros no son filósofos'')

Entonces, Aristóteles proponía un cuadrado de oposición que indica las incompatibilidades entre las 4 versiones de una proposición. De [WP]: