قیاس و حدود آن

قالَ: القياسُ: هو قولٌ مُؤلَّفٌ من أقوالٍ متى سُلِّمتْ لَزِمَ عنها لذاتِها قولٌ آخرُ.

أَقُولُ: المَطلَبُ الأعلى، والمَقصِدُ الأقصى من الاصطلاحاتِ المَنطقيَّةِ المذكورةِ: القياس، ورسموه: بأنه قولٌ مؤلَّفٌ من أقوالٍ. متى سُلِّمتْ لَزِمَ عنها أي عن تلك الأقوالِ لذاتها قولٌ آخرُ كقولنا: العالَمُ مُتغيِّرٌ، وكلُّ متغيرٍ حادثٌ، فإنه مركَّبٌ من قولينِ إذا سُلِّمتا لَزِمَ عنهما لذاتها العالَمُ حادثٌ، والمرادُ من القولِ أعمُّ من أن يكونَ مَعقُولاً، أو ملفوظاً، والمرادُ من الأقوال ما فوقَ الواحد ليتناولَ القياسَ المؤلَّفَ من القولين، والقياسَ المؤلَّفَ من أقوالٍ فوقَ الاثنين، فالقولُ الواحدُ لا يُسمَّى قياساً وإن لَزِمَ عنه لذاته قولٌ آخرُ كعكسِ المُستوي وعكسِ النَّقيض، وقولُهُ: متى سُلِّمت يُشِيرُ إلى أن تلك الأقوالَ لا يلزمُ أن تكونَ مُسلَّمةً في نفسِها، بل يلزمُ أن تكونَ بحيثُ لو سُلِّمتْ لَزِمَ منها لذاتها قولٌ آخرُ، ليدخلَ في التَّعريف القياسُ الذي مُقدِّماتُهُ صادقةٌ، والذي مُقدِّماتُهُ كاذبةٌ كقولِنا: كلُّ إنسانٍ جَمادٌ، وكلُّ جمادٍ حمارٌ، فإنَّ هذينِ القولينِ وإن كَذِبَا في نفسِهما إلا أنَّهما بحيثُ لو سُلِّمتا لزم عنهما كلُّ إنسانٍ حمارٌ، وقولُهُ لزم عنها: احترزَ به عن الاستقراءِ والتمثيلِ، لأنهما وإن سلِّم مقدماتُهما، لكن لا يلزمُ عنهما شيءٌ آخرُ لإمكان التخلُّف في مدلوليهما عنهما، وقولُهُ لذاتها: يُحتَرزُ به عن القياس الذي يلزمُ عنه بعد التَّسليمِ قولٌ آخرُ لا لذاته، بل بواسطةِ مقدَمةٍ أجنبيةٍ كما في قياس المُساواة: وهو ما يتركَّبُ من قولين بحيث يكونُ مُتعلِّقُ محمولِ أولهما موضوعَ الآخر كقولنا أ مساوٍ لب، وب مساوٍ لج، فإنَّ هذين القولين يستلزمان أ مساوٍ لج، لكن لا لذاتهما، بل بواسطة مقدَمةٍ أجنبيةٍ، وهي أن كلَّ مُساوٍ لمساوي الشيء مُساوٍ لذلك الشيء، وإنَّما قال: من أقوال ولم يقلْ من مقدماتٍ، لِئلا يلزمَ الدور، لأنَّ المقدّمةَ قد عرفوها: بأنها ما جُعِلتْ جزءَ القياس، فأُخِذَ القياسُ في تعريفِها، ولو أُخِذَتْ هي أيضاً في تعريفِ القياس لزمَ الدور.

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

Sharḥ Īsāghūjī · ص 60

قالَ: هو إمَّا اقترانيٌّ: مثلاً كلُّ جسمٍ مؤلفٌ، وكلُّ مؤلّفٍ مُحدَثٌ، ينتجُ: كلُّ جسمٍ مُحدَثٌ، وإمَّا استثنائيٌّ: كقولنا إن كانت الشمسُ طالعةً فالنهارُ موجودٌ لكنَّ الشمسَ طالعةٌ، فالنهارُ موجودٌ لكن النهارَ ليس بموجودٍ، فالشمسُ ليست بطالعةٍ.

أَقُولُ: القياسُ ينقسمُ إلى قسمينِ: اقترانيٍّ، واستثنائيٍّ، لأنه إذا لم يكن عينُ النتيجة، أو نقيضُها مذكوراً فيه بالفعل، فهو اقترانيٌّ كقولنا كلُّ جسمٍ مؤلفٌ وكلُّ مؤلِفٍ مُحدَثٌ، فكلُّ جسمٍ محدثٌ، وإن كان عينُ النَّتيجةِ أو نقيضُها مذكوراً فيه بالفعلِ، فهو استثنائيٌّ كقولنا إن كانت الشمسُ طالعةً فالنهارُ موجودٌ لكنَّ الشَّمسَ طالعةٌ، ينتج: فالنهارُ موجودٌ لكنَّ النهارَ ليس بموجودٍ، فالشمسُ ليست بطالعةٍ، وإنما سُمِّي الأولُ اقترانياً لكونِ الحدودِ فيه مُقترنةً غيرَ مُستثناةٍ، وإنما سُمِّي الثاني استثنائياً، لاشتماله على أداة الاستثناء، وهو "لكنَّ"، والمرادُ من كون عين النتيجةِ أو نقيضِها مذكوراً بالفعل في القياسِ: هو أن تكونَ طرفاها أو طرفا نقيضها مذكورينِ بالترتيب الذي في النتيجة.

قیاس به دو قسم تقسیم می‌شود: اقترانی و استثنائی. زیرا اگر نه عینِ نتیجه و نه نقیضِ آن بالفعل در آن ذکر نشده باشد، اقترانی است، مانند این سخن ما: «هر جسمی مؤلَّف است، و هر مؤلَّفی حادث است، پس هر جسمی حادث است». و اگر عینِ نتیجه یا نقیضِ آن بالفعل در آن ذکر شده باشد، استثنائی است، مانند این سخن ما: «اگر خورشید طلوع کرده باشد، روز است؛ ولی خورشید طلوع کرده است»، که نتیجه می‌دهد: «پس روز است»؛ [یا:] «ولی روز نیست، پس خورشید طلوع نکرده است». اولی تنها از آن رو اقترانی نامیده شده است که حدود در آن با هم مقترن‌اند (به هم پیوسته‌اند) و با استثنا جدا نشده‌اند؛ و دومی تنها از آن رو استثنائی نامیده شده است که مشتمل بر ادات استثنا، یعنی «ولی» (لکنّ)، است. و مراد از اینکه عینِ نتیجه یا نقیضِ آن بالفعل در قیاس ذکر شده باشد، این است که دو طرفِ آن، یا دو طرفِ نقیضِ آن، به همان ترتیبی که در نتیجه دارند، ذکر شده باشند.

Sharḥ Īsāghūjī · ص 64

قالَ: والمُكَرَّرُ بينَ مُقدِّمتَي القياسِ فصاعداً يُسمَّى حدًّا أوسطَ، وموضوعُ المطلوب يُسمَّى حدًّا أصغرَ، ومحمولُ المطلوبِ يُسمَّى حدًّا أكبرَ، والمُقدِّمةُ التي فيها الأصغرُ تُسمَّى الصُّغرى، والتي فيها الأكبرُ تُسمَّى الكُبرى.

أَقُولُ: اعلمْ أنَّ المُشتركَ المُكرَّرَ بين مقدمةِ القياسِ فصاعداً يُسمَّى حدًّا أوسط، لتوسُّطه بين طرفي المطلوب سواء كان موضوعاً، أو محمولاً، أو مُقدَّماً، أو تالياً، وقد مَرَّ مثالُهما آنفاً، وموضوعُ المطلوبِ يُسمَّى حدًّا أصغرَ، لأنه أخصُّ في الأغلبِ، والأخصُّ أقلُّ أفراداً، فيكونُ أصغرَ، ومحمولُ المطلوبِ يُسمَّى حدًّا أكبرَ، لأنَّه أعمُّ في الأغلبِ، والأعمُّ أكثرُ أفراداً، فيكونُ أكبرَ، والمُقدِّمةُ من مُقدِّمات القياس التي فيها الأصغرُ تُسمَّى الصُّغرى، لاشتمالِها على الأصغرِ، فتكونُ ذاتَ الأصغر، وهذا ليس إلا معنى الصُّغرى، والمُقدِّمةُ التي فيها الأكبرُ تُسمَّى الكُبرى لاشتمالِها على الأكبر، فتكونُ ذاتَ الأكبر، وهذا ليس إلا معنى الكُبرى، واقترانُ الصُّغرى بالكُبرى في الإيجاب والسلب والكُلِّية والجُزئية يُسمَّى قرينةً وضَرباً، ولم يَذكر المُصنِّفُ هذا.

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

Sharḥ Īsāghūjī · ص 65