Diferencia entre revisiones de «Juicio de términos»
Apariencia
Contenido eliminado Contenido añadido
m Revertidos los cambios de 200.76.164.24 a la última edición de Luis Felipe Schenone |
Sin resumen de edición |
||
Línea 1: | Línea 1: | ||
{{fusionar en|Silogismo}} |
{{fusionar en|Silogismo}} |
||
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. |
||
El juicio así concebido adquiere la forma '''S es P''' o '''S es no-P'''. |
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 (filosofía)|forma]], pero ha sido la interpretación de la [[afirmación]] en la lógica [[silogismo|silogística]] vigente hasta el siglo XX. |
|||
Con la aparición de la [[lógica simbólica]] el juicio aristotélico se interpreta como [[ |
Con la aparición de la [[lógica simbólica]] el juicio aristotélico se interpreta como un [[enunciado]] que se [[lenguaje formalizado|formalliza]] como [[proposición (lógica)|proposición]] y se [[símbolo|simboliza]] como una [[variable]] que se como '''Fórmula Bien Formada''' o '''Expresión bien Formada''', (EBF), de un [[cálculo]]. |
||
[[Categoría:Lógica aristotélica]] |
[[Categoría:Lógica aristotélica]] |
Revisión del 18:19 8 abr 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.