مرور درختی موضوعات | کتابخانه مجازی الفبا

مقاله حاضر به بررسی و داوری نظرات منطق دانان سینوی درباره شرایط انتاج قیاس استثنائی (با تأکید بر شرطی متصل) اختصاص دارد. پس از بررسی متون متعدد منطق سینوی، مجموعه نظرات در شش دسته تقسیم بندی شده است. در دسته اول، شرطی در قیاس استثنائی به صورت مهمله استفاده می شود که با مبانی منطق سینوی در شرطیات هماهنگ نیست. با کنار گذاشتن این نظر در می یابیم همه منطق دانان سینوی درباره ضرورت لزومی بودن شرطی در قیاس استثنائی و امکان انتاج این قیاس با مقدمه شرطی موجبه کلیه، اشتراک نظر دارند. اما درباره امکان انتاج قیاس استثنائی با مقدمه شرطی سالبه، شرطی جزئیه و حذف شرطی شخصیه اختلافات نظر وجود دارد. سرانجام با تحلیل منطقی و بر پایه شواهد مبتنی بر زبان طبیعی به داوری این اختلافات پرداخته ایم. بر این اساس نتایج زیر بدست آمده است.1 شرطی در قیاس استثنایی باید کلی و لزومی باشد؛ 2 انتاج قیاس استثنائی از شرطی سالبه بر پایه بحث اختلاف میان سلب لزوم و لزوم سلب می باشد و تعیین موضع درباره آن منوط به تعیین موضع درباره تفسیر شرطی سالبه است؛ 3 قیاس استثنائی با مقدمه شرطی شخصیه، در صورت یکی بودن زمان یا حالت صدق شرطی و استثناء منتج خواهد بود.

سهروردی بر این باور است که در میان محصوره ها، سالبه ها، نیز، مانند موجبه ها، بر وجود موضوع دلالت دارند و از این رو، می توان سالبه های محصوره را به موجبه ها برگرداند و تعداد قیاس ها و قواعد منطقی را کاهش داد. این نظریه را «ایجاب بتی» می نامیم. این نظریه (برخلاف نظریه «ضرورت بتاته» که ممکنه ها را به ضروریه برمی گرداند) از استحکام کافی برخوردار نیست؛ زیرا نه دلایل اقامه شده بر آن قانع کننده است نه پیامدهای آن پذیرفتنی. از سخنان سهروردی چهار دلیل برای نظریه یادشده استنباط می شود: 1. «در سالبه ها، عقدالوضع ایجابی است و بنا به قاعده فرعیه، بر وجود موضوع دلالت دارد»؛ این دلیل تنها در صورت عطفی بودن رابطه عقدالوضع و عقدالحمل پذیرفتنی است و به قضایای کلیه که رابطه عقدین در آنها شرطی است، تعمیم پذیر نیست. 2. «سلب جزء قضیه است و اجزای قضیه را می توان جزء محمول قرار داد». این دلیل، نیز، به دلیل کذب، کبرای آن پذیرفتنی نیست. 3. «سلب ضروری همان ایجاب امتناع است» و 4. «سلب و ایجاب در ممکن مساوی هستند»، این دو دلیل نیز به خلط «سلب جهت» و «جهت سلب» دچار هستند. این از نادرستی ادله؛ اما، از پیامدهای نادرست نظریه «ایجاب بتی»، نیز، می توان به ناسازگاری آن با برخی از قوانین مسلم منطقی، مانند قانون تناقض میان محصورات، اشاره کرد.