Lógica
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.
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.