Luật không mâu thuẫn của ai mà Avicenna tán thành?
Một hệ thống logic thời gian chính thức ban đầu đã đượ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 mệnh đề thời gian, ông đã nghiên cứu mối quan hệ giữa temporalis 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 hơn nữa 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à logic học châu Âu đầu tiên như Albertus Magnus và William xứ Ockham. Avicenna tán thành luật không mâu thuẫn do Aristotle đề xuất, rằng một thực tế không thể vừa đúng vừa 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 mâu thuẫn nên bị đánh đập và đốt cháy cho đến khi anh ta thừa nhận rằng bị đánh đập không giống như không bị đánh đập, và bị đốt cháy không giống như không bị đốt cháy."
Aristotle