Mantık doğru akıl yürütme biçimlerini inceleyen formel bir bilimdir. İlk kez Aristoteles tarafından ortaya atıldığı kabul edilen bu bilim İlkçağda Antik Yunanlar tarafından geliştirilir. Mantık daha sonraki çağlar boyunca mantıkçıların uğraşları sonucu çeşitli ilerlemeler göstererek günümüze kadar gelir. Bu kitap Ortaçağ boyunca mantık biliminde görülen gelişmeleri ele almaktadır. Ortaçağda mantık hem Doğu hem de Batı dünyasında çalışılır. Doğu'da İslam mantıkçıları Batı'da ise Hıristiyan mantıkçılar bu bilime önemli katkılarda bulunurlar. Ayrıca mantık Batı'da bu çağda kurulan üniversitelerin müfredatında Doğu'da ise medreselerin müfredatında yer alır. Ne var ki bu çağ boyunca mantığın her iki dinin de etkisinden kurtulamadığı bir gerçektir.