ابن سینا برای اولین بار در تاریخ منطق کمیت و کیفیت گزاره های شرطی را به تفصیل بحث نموده است و در قالب زبان طبیعی به تبیین چگونگی اعتبار کلیت جزئیت و نیز تعیین جایگاه ایجاب و سلب در گزاره های شرطی پرداخته است هر چند وی در این تحلیلها به نکات و دقایق متعددی دست یافته است اما منطق معمول و موجه شرطی ها را در هم آمیخته که به دلیل برخی مواضع متضاد در آن سیستم صوری معینی درباره شرطی از آن قابل استخراج نیست وی پایه گذار بحث قیاس اقترانی شرطی به شمار می آید و به نظر می رسد در صدد بوده است تا با مقایسه گزاره های شرطی با گزاره های حملی و وجوه شباهت آنها منطق شرطی را بر اساس منطق حملی استوار نماید
', './data/jmb/coversheet/cover_fa.jpg'))