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
De modo general puede decirse que esta lógica es consecuencia de la acumulación de experiencias semejantes, del éxito de la intuición heurística y la práctica del ensayo y error convertido después en reglas de comportamiento en situaciones similares, cuyos conocedores pueden luego invocar principios de lo más variado para construir una consistencia o coherencia de tipo general (ley o teoría, y reglas prácticas), bien sean de contenido mágico, religioso o simplemente prácticas culturales unidas en muchas ocasiones al ejercicio del poder social. En definitiva son las creencias sociales, que vienen a constituir el cemento más sólido de la estabilidad social. En determinadas circunstancias estas explicaciones como leyes de la naturaleza o teorías científicas constituyen la ciencia. Esto ocurre históricamente cuando el contenido explicativo se considera demostración o prueba o argumento de la verdad, y tal prueba es reconocida como tal por la comunidad de expertos en la materia que se trate.