Lógica
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.
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.