بررسی و تحلیل گزاره‌های شرطی و شروط صدق آنها در منطق ابن‌سینا

ارسطو منطق خود را بر پایهٔ گزاره‌های حملی و نظریه قیاس‌های حملی استوار نمود. اما آن را با بهره‌گیری از ساختار شرطی‌ها در قالب زبان طبیعی تبیین کرد. وی به اهمیت قیاس‌های شرطی پی برد و در عبارت‌هائی که از او نقل شده است، وعده داد تا استنتاج‌های شرطی را شرح دهد.
هر چند بنابر شواهد موجود، هرگز به این وعده عمل نکرد. و تنها از قاعده‌هیا عکس نقیض، تعدی، و دو قاعدهٔ اثبات مقدم، و رفع تالی مربوط به قیاس‌های استثنائی از منطق جمله‌ها، آن هم پس از قیاس‌های حملی بحث نمود.

مرتضی حاج حسینی

منبع : حوزه معاونت تحقیقات و فناوری