Một hệ_thống chính_thức của logic thời_gian đã được Avicenna nghiên_cứu .Mặc_dù ông không phát_triển một lý_thuyết thực_sự về các đề_xuất tạm_thời , ông đã nghiên_cứu mối quan_hệ giữa thời_gian và hàm_ý .Công_trình của Avicenna được Najm al-Dīn al-Qazwīnī al-Kātibī phát_triển và trở_thành hệ_thống thống_trị của logic Hồi_giáo cho đến thời hiện_đại .Logic_Avicennian cũng ảnh_hưởng đến một_số nhà logican châu_Âu đầu_tiên như Albertus_Magnus và William of Ockham .Avicenna tán_thành luật không liên_quan được đề_xuất bởi Aristotle , rằng một thực_tế không_thể cả đúng và sai cùng một lúc và theo cùng một nghĩa của thuật_ngữ được sử_dụng .Ông tuyên_bố , " Bất_cứ ai phủ_nhận luật không liên_quan nên bị đánh_đập và đốt cho đến khi ông thừa_nhận rằng bị đánh không giống như không bị đánh , và bị đốt cháy không giống như không bị đốt cháy . "
Avicenna đã tán_thành luật không liên_quan đến ai ?
Aristotle