Lógica matemática
En el último tercio del siglo XIX la lógica va a encontrar su transformación más profunda de la mano de las investigaciones matemáticas y lógicas, junto con el desarrollo de la investigación de las estructuras profundas del lenguaje, la lingüística, convirtiéndose definitivamente en una ciencia formal. Es una ciencia formal, ya que estudia las ideas y constituye una herramienta conceptual para todas las otras ciencias y áreas del conocimiento. y forma parte de un conjunto sistemático de conocimientos racionales y coherentes, que se ocupan del estudio de los procesos lógicos y matemáticos,
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.