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".
Empirismo lógico
Si bien los empiristas lógicos intentaron ofrecer una visión de la ciencia que abarca principalmente sus aspectos gnoseológicos y metodológicos, tal vez su tesis más conocida es el verificacionismo, la cual sostiene que un enunciado es cognitivamente significativo, solo si posee un método de verificación empírica (empirismo) o es analítico (logicismo). Solo los enunciados de la ciencia empírica cumplen con el primer requisito, y solo los enunciados de la lógica y las matemáticas cumplen con el segundo. Los enunciados típicamente filosóficos o teológicos no cumplen con ninguno de los dos requisitos, así que la filosofía, como tal, debe pasar de ser un supuesto cuerpo de proposiciones a un método de análisis lógico de los enunciados de la ciencia.