- Juicio de términos
-
El juicio lógico aristotélico se concibe como una relación de dos términos, como atribución de un predicado a un sujeto, concebidos éstos como conceptos que se unen en la afirmación y se separan en la negación.
El juicio así concebido adquiere la forma S es P o S es no-P en un sentido de afirmación plena de contenido como juicio categórico.
Es una forma en desuso, porque hoy día se interpreta lógicamente la afirmación de otra forma, pero ha sido la interpretación de la afirmación en la lógica silogística vigente hasta el siglo XX.
Con la aparición de la lógica simbólica el juicio aristotélico se interpreta como un enunciado que se formalliza como proposición y se simboliza como una variable que se como Fórmula Bien Formada o Expresión bien Formada, (EBF), de un cálculo.
Wikimedia foundation. 2010.
