Logica

Existe una gran diferencia entre el concepto de predicado lógico durante los siglos de la lógica tradicional, tal como fue concebida por Aristóteles e interpretada por los lógicos de port-Royal, y laactual lógica-matemática de los últimos cien años.
En lógica tradicional el predicado es uno de los términos que constituyen el juicio, considerado como la “unión o separación” entre dos términos,término Sujeto (S) y término Predicado (P) de una proposición lógica de la forma 'S' es 'P', sobre la que se expresa, o puede expresarse, un enunciado lingüístico en la forma de una oración gramatical.'S' es el nombre del sujeto. El predicado 'P' es el nombre de cualquier predicado que conviene o no conviene al sujeto, manifestando la identidad del sujeto como ser mediante las notas o propiedadesque le constituyen.
En el juicio se concibe la verdad del conocimiento.1 La expresión lingüística como lenguaje apofántico según Aristóteles, manifiesta y significa en último término la realidad delser del sujeto sostenida en último término por la sustancia como sujeto, y al que convienen sus predicados en la manifestación de su identidad como ser donde no puede haber contradicción. El juiciomanifiesta la verdad del ser del sujeto.
En la Edad Moderna, los racionalistas de Port Royal consideraron el Predicado de una forma diferente a como hasta entonces había sido considerada la lógicaaristotélica. Bajo el punto de vista meramente lógico-formal este cambio de consideración no supuso cambios en la formalidad lógica; pero supone una forma diferente de concebir el conocimiento del ser yde la verdad con respecto a Aristóteles y la tradición hasta entonces.
Consideraron el término predicado (P) como un atributo del sujeto (S) y la proposición lógica se enuncia mediante una oracióngramatical copulativa, donde el verbo ser realiza la unión del término sujeto con el término predicado siendo ambos realidades diferentes, puesto que, tanto S como P son ideas diferentes.2
El...