Aristoteles'in dördüncü mantık kitabı, Arapça'dan transliterasyon ile 'el-Burhan Kitabı'..."Burhan," İbn Haldun’un bir argümanı göstererek ve reddedilemez biçimde, yani mantıksal olarak kanıtladığını iddia ettiğinde kullandığı kelimedir. Felsefi terminolojide "burhan" matematikteki basit denklem 2+2=4 ile ifade edilen, zorunlu kanıttır.