LOGICA

Los juicios de términos constituyen el fundamento de la posibilidad de los razonamientos mediante el establecimiento de relaciones entre los términos implicados en ellos; lo que constituye lo que Aristóteles consideró la forma fundamental del razonamiento deductivo: el silogismo.

Tanto la forma de los juicios como la forma de los silogismos hoy día se interpretan lógicamente según la lógica simbólica a partir del primer tercio del siglo XX.

El juicio aristotélico se interpreta como un enunciado que se formaliza como proposición y se simboliza como una Fórmula bien formada o Expresión bien formada, (EBF), de un cálculo lógico entendido éste como lógica de clases.

En la lógica actual el silogismo pierde su condición de categórico y se interpreta formalmente como relación hipotética entre clases.12

*Que no necesariamente tiene una referencia en una palabra; puede ser una frase o un discurso tomado como una unidad lógica

* Se dice de un término tomado en su extensión universal que está distribuido. Nótese que el dominio del concepto es mucho más amplio que la mera referencia a "todos los que existen". Quiere decir que el término universal, distribuido, abarca todos los posibles individuos que hayan podido existir, hayan existido y los que existen y existirán. El verbo ser es meramente atributivo y no exige la existencia. La filosofía tradicional consideraba que el término tenía su origen en la abstracción a partir de la existencia de individuos, por lo que no hacía referencia a esta distinción que exige la lógica formal tal como se entiende en la actualidad.

...