Lógica (plan aprendizaje)
Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica. La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática.
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.