Một hệ thống chính thức đầu tiên của logic thời gian được nghiên cứu bởi Avicenna. Mặc dù anh ta không phát triển một lý thuyết thực sự của nghe thời, anh ta đã nghiên cứu mối quan hệ giữa temporalis và ý tưởng. Công việc của Avicenna đã được phát triển thêm bởi najm al-dịn al-Qazwīnī al-Kātibī và trở thành hệ thống vượt trội của logic Hồi giáo cho đến thời điểm hiện đại. Logic của Avicennian cũng ảnh hưởng đến một số logicians châu Âu sớm như Albertus Magnus và William của Ockham. Avicenna đã ủng hộ luật của noncontradiction được đề xuất bởi Aristotle, rằng một sự thật không thể là cả hai đúng và sai cùng một lúc và cùng một cảm giác của các thuật ngữ được sử dụng. Anh ta tuyên bố, bất cứ ai phủ nhận luật của noncontradiction nên bị đánh và đốt cháy cho đến khi anh thừa nhận rằng bị đánh không giống như không bị đánh bại, và để bị đốt cháy không giống như không bị đốt cháy.
Một chủ đề mà Avicenna đã học, nhưng không phát triển một lý thuyết nào?
logic thời gian