• « La generalidad analítica de la lógica predicada permitió la formalización de las matemáticas, e impulsó la investigación de la teoría de conjuntos, permitió el desarrollo del enfoque de Alfred Tarski sobre la teoría de modelos; no es exagerado decir que es el fundamento de la lógica matemática moderna. »
• « Mientras que la lógica silogística aristotélica especificaba las formas que adoptaba la parte relevante de los juicios involucrados, la lógica predicada permite que las sentencias se analicen en el sujeto y el argumento de varias maneras diferentes, permitiendo así que la lógica predicada resuelva el problema de la generalidad múltiple que había dejado perplejos a los lógicos medievales. »
• « No era el único: los estoicos propusieron un sistema de lógica propositiva que fue estudiado por los lógicos medievales; tampoco era indiscutible la perfección del sistema de Aristóteles; por ejemplo, el problema de la generalidad múltiple fue reconocido en la época medieval. Sin embargo, los problemas con la lógica silogística no se consideraban como necesitados de soluciones revolucionarias. »
