تم دراسة نظام رسمي مبكر للمنطق الزمني من قبل ابن سينا. على الرغم من انه لم يطور نظرية حقيقية للم مقترحات الزمني, الا انه قام بدراسة العلاقة بين الجلد وال ضمنى. وقد تطور عمل ابن سينا من قبل نجم dīn, واصبح النظام المسيطرة للمنطق الاسلامي حتى العصر الحديث. وقد اثر المنطق ايضا على العديد من المنطق الاوروبية المبكرة مثل البرت ماغنوس و ويليام منكامي. وقد اقر ابن سينا قانون noncontradiction الذي اقترح من قبل ارسطو, ان حقيقة لا يمكن ان تكون صحيحة و كاذبة في نفس الوقت و بنفس المعنى من المصطلحات المستخدمة. وقال ان اي شخص ينكر قانون noncontradiction يجب ان يضرب ويحرق حتى يعترف بان للضرب ليس نفس الشيء الذي لا يتم ضربته, وان يتم حرقها ليس نفس الشيء الذي لا يتم حرقها.
لمن قانون noncontradiction الذي يقر ابن سينا?
ارسطو