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.
Lógica aristotélica
La lógica aristotélica y estóica mantuvo siempre una relación con los argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eran formalistas. Hoy esa relación se trata bajo un punto de vista completamente diferente. La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases. Ayn Rand declaró que consideraba a Aristóteles como el mayor filósofo del mundo y apreciaba en especial su "Órganon" ('Lógica'). Según Lenin: "La lógica de Aristóteles es una interrogación, una búsqueda, un acceso a la lógica de Hegel".A finales del siglo XIX se descubría como insuficiente el análisis lógico de Aristóteles. Este enfoque cambió cuando Gottlob Frege desarrolló nociones de cuantificación y predicación en su lógica, haciendo obsoleto el silogismo.