Lógica proposicional
La lógica es conocida como una de las ciencias más antiguas, tanto es así que se le atribuye a Aristóteles la paternidad de esta disciplina. Partiendo de que corresponde a Aristóteles haber sido el primero en tratar con todo detalle la lógica, se le considera su fundador. En un principio se llamó Analítica, en virtud del título de las obras en que trató los problemas lógicos. Más tarde los escritos de Aristóteles relativos a estos eventos fueron recopilados por sus discípulos con el título de Órganon, por considerar que la lógica era un instrumento para el conocimiento de la verdad.
Lógica filosófica
La lógica filosófica trata de las descripciones formales de lo ordinario, lenguaje natural no especificado, que es estrictamente único sobre los argumentos dentro de las ramas de otras filosofías. La mayoría de los filósofos suponen que la mayor parte del razonamiento cotidiano se podría capturar en la lógica si se pudiera encontrar un método o métodos para traducir el lenguaje ordinario a esa lógica. La lógica filosófica es esencialmente una continuación de la disciplina tradicional llamada "lógica" antes de la invención de la lógica matemática. La lógica filosófica tiene un mayor interés con la conexión entre el lenguaje natural y la lógica. Como resultado, los lógicos filosóficos han contribuido al desarrollo de lógica no convencional (por ejemplo lógicas libres, lógica temporal, etc) al igual que varias extensiones de la lógica clásica (por ejemplo, la lógica modal) y la semántica no convencional para tales lógicas (por ejemplo, el supervaluacionismo de Kripke en la semántica de la lógica).