Lógica
Históricamente, la lógica se ha estudiado principalmente en filosofía desde la antigüedad, en matemáticas desde mediados del siglo XIX y en informática desde mediados del siglo XX. Más recientemente, la lógica también se ha estudiado en lingüística y en ciencias cognitivas. En general, la lógica sigue siendo un área de estudio fuertemente interdisciplinaria.
Á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.