Gottfried Leibniz
En el campo de  lógica, Gottfried Wilhelm Leibniz desarrolló la doctrina de análisis y síntesis . Entendía la lógica como la ciencia de todos los mundos posibles. Leibniz pertenece a la primera en la historia de la formulación de la ley de la razón suficiente; también es el autor de la expresión ley de identidad adoptada en la lógica moderna . Consideraba que la ley de identidad era el principio supremo de la lógica . "La naturaleza de la verdad en general consiste en el hecho de que es algo idéntico".
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.