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.
¿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.