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.
Lógica cuántica
La tesis que la lógica cuántica es la lógica apropiada para el raciocinio de manera general ha sido avanzada por varios filósofos y físicos. Entre los proponentes de esta tesis se encuentra el filósofo estadounidense Hilary Putnam, en por lo menos un período en su trayectoria académica. Esta tesis fue un ingrediente importante en su trabajo entitulado "¿Es empírica la lógica?" (en inglés "Is Logic Empirical?") en el cual analizó el fundamento epistemológico de las leyes de la lógica proposicional. Putnam atribuyó la idea que las anomalías asociadas a la medición cuántica surgen de anomalías en la lógica de la física misma al físico David Finkelstein.