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.
Métodos para la fijación de las creencias
Este recorrido inicia con la demarcación y caracterización de la relación entre lógica y ciencia. La lógica evidencia la capacidad humana de realizar inferencias y no se instaura en el razonamiento humano como un “don natural”, por el contrario es producto de un conjunto de aprendizajes acumulados que se consolidaron por medio de la experiencia. En consecuencia, la lógica y la ciencia se encuentran estrechamente relacionadas puesto que los avances en la lógica contribuyen de manera significativa a la fundamentación de nuevos conocimientos científicos o precientíficos que construyen y fijan las creencias e incluso la verdad, es por esto que cada avance se construye a partir de la reflexión y comprobación lógica, haciendo uso de la inferencia y la fundamentación en verificaciones basadas en hechos verdaderos para develar conocimiento.