Sebuah sistem formal awal logika temporal dipelajari oleh Avicenna. Meskipun ia tidak mengembangkan teori yang nyata tentang proposisi temporal, ia mempelajari hubungan antara temporalis dan implikasinya. Karya Avisenna dikembangkan lebih lanjut oleh Najm al-Dén al-Qaznán al-Kātibá dan menjadi sistem logika Islam yang dominan sampai zaman modern. Logika Avicennian juga mempengaruhi beberapa logikawan Eropa masa awal seperti Albertus Magnus dan William dari Ockham. Avisenna mendukung hukum nonkontradiksi yang diusulkan oleh Aristoteles, bahwa fakta tidak dapat sama-sama benar dan salah pada saat yang sama dan dalam arti yang sama istilah yang digunakan. Ia menyatakan, " Siapa pun yang menyangkal hukum nonkontradiksi harus dipukuli dan dibakar sampai ia mengakui bahwa dipukuli tidak sama dengan tidak dipukuli, dan dibakar tidak sama dengan tidak dibakar. "
Logika Eropa mana yang dipinjamkan oleh logika Avicenni?
Albertus Magnus dan William dari Ockham.