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 empírica
La Historia de la ciencia y la Sociología de la ciencia han mostrado que de hecho la racionalidad del progreso del conocimiento científico no sigue ni mucho menos la trayectoria de una “lógica” ni empírica ni meramente deductiva. La casualidad “heurística”, la “imaginación intuitiva”, así como las limitaciones culturales tienen una influencia enorme en la aceptación o rechazo de las teorías. Tal fue el planteamiento de Thomas Kuhn con su libro "La estructura de las revoluciones científicas" y el concepto de “paradigma”.