Lógica matemática
En el último tercio del siglo XIX la lógica va a encontrar su transformación más profunda de la mano de las investigaciones matemáticas y lógicas, junto con el desarrollo de la investigación de las estructuras profundas del lenguaje, la lingüística, convirtiéndose definitivamente en una ciencia formal. Es una ciencia formal, ya que estudia las ideas y constituye una herramienta conceptual para todas las otras ciencias y áreas del conocimiento. y forma parte de un conjunto sistemático de conocimientos racionales y coherentes, que se ocupan del estudio de los procesos lógicos y matemáticos,
Lógica filosófica
La lógica filosófica se refiere a aquellas áreas de la filosofía en la que reconocidos métodos de la lógica tradicionalmente, han sido utilizadas para resolver o avanzar en la discusión de los problemas filosóficos. Entre estos, Sybil Wolfram destaca el estudio del argumento, el significado y verdad, mientras Colin McGinn presenta las nociones de identidad, existencia, predicado, estado de necesidad y verdad como ideas principales en su libro sobre este tema. La lógica se usa únicamente para pensamientos sobre existencias relacionadas con nosotros, en el caso de la filosofía esto es en relación a todo lo posiblemente imaginativo.