SILOGISMO

Artículo principal: Cuadro de oposición de los juicios


Asimismo en la lógica tradicional se admitían ciertas operaciones lógicas de transformación de un juicio manteniendo sus condiciones de verdad. Tales operaciones eran:






Conversión lógica


Obversión lógica


Contraposición lógica


Inversión lógica


Artículo principal: Silogismo


Problemática de la lógica aristotélica


La lógica actual formaliza los enunciados lingüísticos bien como relación de clases o como funciones proposicionales o relaciones.[9] Hoy se exige el rigor formal de la aplicación de una regla de inferencia.[10] La idea de inferencia inmediata no es más que la aplicación de una regla modo implícito. La formalidad lógica, sin embargo, exige que sea explícita la regla que permite la transformación de una EBF