Documente Academic
Documente Profesional
Documente Cultură
Inferencia lgica[editar]
En la lgica tradicional[editar]
1. En la lgica tradicional, llamada aristotlica, la forma esencial de inferencia
es una forma de razonamiento deductivo.
No obstante se reconocan algunas inferencias directas o inmediatas.
Inferencias inmediatas[editar]
La lgica aristotlica consideraba la posibilidad de inferencias inmediatas: aquellas
que pueden obtenerse directamente a partir de la relacin que establece un
juicio7 respecto a los trminos, sujeto y predicado, que le constituyen, en funcin de
la cualidad (afirmativo-negativo) y la cantidad (universal-particular) del mismo.
Aristteles estudi con detalle ciertas operaciones que permitan tales inferencias
inmediatas o directas. Para ello elabor el llamado cuadro de oposicin de los
juicios, en el que dadas las relaciones que cada juicio aristotlico, A,E,I,O, lleva
implcitas se pueden establecer ciertas inferencias directas.
Conversin lgica
Obversin lgica
Contraposicin lgica
Inversin lgica
La lgica tradicional aristotlica no resuelve del todo bien los problemas que surgen
de los juicios negativos por lo que este tipo de operaciones lgicas se prestan a
argumentaciones que producen resultados aberrantes.8
La lgica actual formaliza los enunciados lingsticos bien como relacin de clases o
como funciones proposicionales o relaciones.9 Hoy se exige el rigor formal de la
aplicacin de una regla de inferencia.10 La idea de inferencia inmediata no es ms
que la aplicacin de una regla modo implcito. La formalidad lgica, sin embargo,
exige que seaexplcita la regla que permite la transformacin de una EBF.
En la lgica actual[editar]
Artculo principal: Clculo lgico
EQUIVALENCIAS NOTABLES