قیاس مساوات

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

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

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

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