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.
Áreas de las matemáticas
Los matemáticos han trabajado siempre con lógica y símbolos, pero por siglos las leyes subyacentes de la lógica fueron supuestas, y nunca expresadas simbólicamente. La lógica matemática, también conocido como lógica simbólica, fue desarrollada cuando la gente finalmente notó que las herramientas de las matemáticas se pueden utilizar para estudiar la estructura de la lógica misma. Las áreas de investigación en este campo se han ampliado rápidamente, y se subdividen generalmente en varias áreas distintas.