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.
Historia de la lógica
La lógica islámica no solo incluye el estudio de modelos formales de inferencia y su validación, sino también elementos de la filosofía del lenguaje y elementos de epistemología y metafísica. Debido a disputas con gramáticos árabes, los filósofos islámicos estuvieron muy interesados en trabajar en el estudio de las relaciones entre lógica y lenguaje, y dedicaron muchas discusiones a la cuestión del objeto de interés y objetivos de la lógica en relación con el razonamiento y el habla. En el área del análisis lógico-formal, elaboraron la teoría de los términos, proposiciones y silogismos. Consideraron el silogismo como la forma a la que toda argumentación racional podía reducirse, y consideraron la teoría silogística como el punto central de la lógica. Incluso, la poética fue considerada, en ciertos aspectos, como un arte silogístico por muchos de los más importantes lógicos islámicos.