عکس نقیض

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

اثیرالدین ابهری یکی از برجسته ترین منطق دانان دوره اسلامی است که کمتر شناخته شده است. جستار پیش رو، از یکسو، با تصحیح الرساله الزاهره، یکی از منطق نوشته های ارزشمند وی را از پستوی فراموشی به پیشخوان چاپ و انتشار درمی آورد و، از دیگرسو، با شرح و واشکافی و تحلیل آن از دریچه منطق جدید، بر گوشهای از اندیشه های منطقی ابهری پرتو می افکند. مهمترین دستآوردهای این جستار در مقام بازشناسی اندیشه های منطقی ابهری بدین قرارند: 1. ابهری قاعده تعدّی استلزام را منتجِ شرطی متّصل نمی داند. 2. ابهری قاعده دلیل شرطی را می شناخته است؛ 3. ابهری قاعده عکس نقیض شرطی را به چالش می کشد. 4. ابهری بر آن است که در گزاره های حملی، عکس نقیض موافق اعتبار منطقی ندارد. 5. ابهری، همچون منطق دانان ربط، استلزام ربطی را معتبر می داند، درحالیکه جدلیان رقیب وی، همانند رواقیان و پیروان منطق فرگهـراسلی، استلزام مادّی را. الرساله الزاهره بر پایه نسخه های خطّی دانشگاه تهران، مجلس، و کتابخانه آیتاللّه مرعشی، به شیوه گزینشی تصحیح شده است.

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

«عکس» نام یکی از قواعد منطق ارسطویی است که به اشتراک بر عکس مستوی و عکس نقیض اطلاق می شود. هدف از مقاله پیش رو ترسیم هندسه تاریخی این دو قاعده است، تا از این رهگذر قطعه ای کوچک از جورچین بزرگ «تاریخ منطق دوره اسلامی» به دست آید. به همین سبب، مطالعه کنونی، با کرانمندسازی خود به تاریخ و جغرافیای جهان اسلام، خط سیر تحوّلات را بلافاصله پس از ارسطو، در فارابی و ابن سینا پی می گیرد؛ آن را در ابوالبرکات بغدادی، شهاب الدین سهروردی، فخرالدین رازی، زین الدین کَشّی، افضل الدین بامیانی، افضل الدین خونَجی، سراج الدین ارموی، اثیرالدین ابهری، نصیرالدین طوسی، نجم الدین کاتبی، و جمال الدین حلّی دنبال می کند؛ و در قطب الدین رازی به فرجام می برد. پس از قطب الدین، منطق دوره اسلامی دچار ایستایی می شود و در قرن های بعدی حتّی افت می کند. از این رو نه تنها در مبحث عکس، بلکه در دیگر مباحث منطقی نیز نمی توان نوآوری مهمی را از منطق دانان بعدی چشم داشت.

کاربستِ مدلول التزامیِ کلام خبری و انشایی، از دیرباز مورد توجه اصولیان و فقها بوده است. در دانش اصول فقه مدلول التزامی بیّن به معنای اخصّ در مبحثی چون مفاهیم و بیّن به معنای اعمّ در موارد غیرمستقلات عقلیّه مطرح گردیده و اعتبار و حجیّت این نوع از مدلول های التزامی مورد مداقّه جدی بوده است. امّا نوع دیگرش که مدلول های التزامی غیر بیّن باشد، با وجود کاربرد آن در برخی اقسامش مانند عکس مستوی و عکس نقیض، به اعتبار و حجیّت آن ها کمتر توجه شده است؛ پاسخ به این سؤال که آیا اعتبار و حجیّت لوازم غیر بیّن کلام آن هم با تأکید بر بعضی از اقسامش یعنی عکس ها، قابل اثبات می باشد یا خیر، هدف این تحقیق بوده و با روش تحلیلی توصیفی ضمن ارائه نمونه های استناد به عکس مستوی و عکس نقیض، در صدد رفع چالش های اعتبار آن ها برآمده و با بررسی راه های اثبات حجیّت در نهایت، با تبیین ثبوت ملازمه قطعیّه، اعتبار این لوازم را در بعضی از صورت ها به اثبات رسانده است.

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