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.
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.