Diferencia entre revisiones de «Juicio de términos»
Contenido eliminado Contenido añadido
Sin resumen de edición |
cambo de idea en la fusión |
||
| Línea 1: | Línea 1: | ||
{{fusionar en| |
{{fusionar en|Proposición (lógica)}} |
||
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 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. |
||
Revisión del 00:01 19 ago 2010
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.
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.