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
Entre los más importantes desarrollos realizados por los lógicos musulmanes está el de la lógica de Avicena como sustituta de la lógica aristotélica. El sistema lógico de Avicena fue responsable de la introducción del silogismo hipotético, de la lógica modo-temporal, y de la lógica inductiva. Otro importante desarrollo en la filosofía islámica es el de una estricta ciencia de la cita, la isnad o «revisión», y el desarrollo de un método científico de investigación abierta para poner en cuestión determinadas afirmaciones, la ijtihad, que podía aplicarse normalmente a muchos tipos de cuestiones. Desde el siglo XII, a pesar de la sofisticación lógica de al-Ghazali, el auge de la escuela Asharite al final de la Edad Media limitó poco a poco la obra original sobre lógica en el mundo islámico, aunque continuó posteriormente en el siglo XV.