روش انتاج قیاس شرطی اقترانی مشترک در جزء غیرتام از نگاه کشی، ابهری و خواجه نصیر

منطق دانان مسلمان از قیاس شرطی که جزء مشترک در آن غیرتام است، به دو روش متفاوت نتیجه گیری کرده اند. در این مقاله روشی که زین الدین کشی مبتکر آن است بررسی شده است. این روش از سوی منطق دانان بعدی شرح و بسط داده شده است. با بررسی اختلاف آراء در باره اقسام، شرایط انتاج، ضروب منتج و دلیل انتاج این نوع قیاس بدست می آید که اولا اعتبار این قیاس مبتنی بر قیاسی است که جزء مقدمات آن در جزء تام مشترک اند و ثانیا عدم تفکیل دستگاه استنتاجی منطق حملی و منطق شرطی و نیز دخالت دادن مضامین منطق حملی در تبیین ساختار قیاس شرطی انسجام دستگاه استنتاجی قیاسهای شرطی را از بین برده و فهم آن را دشوار کرده است. در پایان سعی شده است با شناسایی دو قیاس اصلی و پایه و نیز قواعد بکار رفته در اثبات قیاسهای غیرپایه، دستگاه استنتاجی نهفته در این روش آشکار شود.