نسب اربعه

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

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