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 la actual lógica-matemática de los últimos cien años.