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,
¿Es empírica la lógica?
Dicha lógica llegó a ser conocida como "lógica cuántica". Sin embargo, hay algunos filósofos hoy en día que ven esta lógica como un reemplazo de la lógica clásica; Putnam sostiene esta opinión. La lógica cuántica continúa siendo utilizada como un formalismo fundacional para la mecánica cuántica, pero en una forma en que los eventos primitivos no son interpretados como frases atómicas sino en términos operacionales como los resultados posibles de las observaciones. Como tales, la lógica cuántica provee una teoría matemática unificada y consistente de los observables físicos y la medición cuántica.