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".
Género lógico
El género lógico es un concepto filosófico empleado en lógica y metafísica. Es un concepto que reúne una multiplicidad de individuos en una unidad conceptual. A su vez estos conceptos pueden agruparse en unidades conceptuales de nivel inferior. Tradicionalmente el nivel más bajo suele denominarse especie y los niveles superiores géneros, siendo el Ser el género lógico supremo que reúne en sí la totalidad.  En español, un modo de recordar esto es que el "género" es más "general", y la "especie" es particular o "especial". Por ejemplo el género "medios de transporte" incluye las especies "autos", "buses", "aviones", "barcos", etc.