ناقش ابن سينا موضوع المنطق في الفلسفة الإسلامية على نطاق واسع في أعماله، وطور نظامه المنطقي المعروف باسم «منطق ابن سينا» كبديل للمنطق الأرسطي. بحلول القرن الثاني عشر، حل منطق ابن سينا محل المنطق الأرسطي باعتباره النظام السائد للمنطق في العالم الإسلامي. بعد الترجمات اللاتينية للقرن الثاني عشر، كانت كتاباته عن المنطق أيضًا ذات تأثير مهم على كتاب العصور الوسطى الغربية مثل ألبرتوس ماغنوس.
لقد كتب عن القياس المنطقي الافتراضي وعن حساب التفاضل والتكامل الافتراضيين، اللذين كانا جزءًا من التقليد المنطقي الرواقي. لقد طور نظرية أصلية للقياس المنطقي «المؤقت مؤقتًا»، واستخدم المنطق الاستقرائي، مثل طرق الاتفاق والاختلاف والاختلافات المصاحبة التي تعتبر حاسمة بالنسبة للطريقة العلمية.