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".
Lógica informal
Algunos sostienen la opinión de que la lógica informal no es una rama o subdisciplina de la lógica, o incluso de que no puede existir tal cosa como la lógica informal. Massey critica la lógica informal sobre la base de que no tiene una teoría que la sustente. La lógica informal, dice, requiere esquemas de clasificación detallada que la organice, como la teoría subyacente que es proporcionada en otras disciplinas. Sostiene que no existe un método para establecer la invalidez de una discusión aparte del método formal, y que el estudio de las falacias puede ser más de interés para otras disciplinas como la psicología que para la filosofía y lógica.