منطق شرطی

اثیر الدین ابهری تنها منطق دان سینوی است که قیاس اقترانی شرطی را به طور کامل انکار می کند. او هم چنین نخستین منطق دان سینوی است که قاعده های عکس مستوی و عکس نقیض شرطی را نامطمئن دانسته و کنار می گذارد. در سال های ۱۹۶۸م. به بعد، هفت سده پس از ابهری، در منطق جدید نیز، دستگاه های استنتاجی تحت عنوان «منطق شرطی» پدید آمده است که قیاس شرطی و قاعده های عکس مستوی و عکس نقیض شرطی را انکار می کنند و کنار می گذارند. افزون بر شباهت های سلبی یاد شده، یک شباهت ایجابی میان ابهری و معاصران هست و آن اینکه هر دو گروه به قیاس استثنایی (وضع مقدم و رفع تالی) وفادارند. با بررسی و تجزیه و تحلیل دلایلی که این دو گروه بر انکار قیاس اقترانی شرطی می آورند، آشکار می شود که ریشه این انکارها به تفسیرهای تازه ای برمی گردد که ابهری و منطق دانان معاصر از شرطی لزومی ارائه کرده اند. از دیدگاه ابهری، شرطی لزومی کلی، «هرگاه مقدم آنگاه تالی»، به معنای این است که «در همه فرض هایی که ملازمه میان مقدم و تالی در آن فرض ها ممکن است، مقدم مستلزم تالی است». از دیدگاه نظریه پردازان منطق شرطی معاصر، گزاره شرطی «اگر مقدم آنگاه تالی» در زبان طبیعی در بسیاری از موارد به این معنی است که «با فرض ثابت بودن دیگر چیزها، مقدم مستلزم تالی است» یعنی «در فرض هایی که همه چیز مانند جهان واقعی است جز اینکه مقدم صادق شده است، تالی صادق است». تفسیر ابهری هرچند با تفسیر معاصران در پاره ای موارد متفاوت است در این نکته مشترک است که هر دو تفسیر، افزون بر فرض مقدم، اموری را فرض می گیرند که به نوعی به مقدم وابستگی دارد و این ریشه مشترک در انکار قیاس شرطی نزد هر دو گروه است.