Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
Predicable
En la actualidad la consideración de la lógica como ciencia formal hace perder importancia a estas distinciones. Sin embargo en el uso del lenguaje y la gramática estas distinciones no vienen mal para mantener un espíritu crítico acerca de los predicados que «ingenuamente» atribuimos a un sujeto gramatical, sin tener en cuenta sus implicaciones significativas cuando dicho sujeto gramatical no es un individuo existente o un conjunto definido de individuos existentes, sino una clase lógica.