شکل دوم، سوم و چهارم

فصل

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

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

al-Mirqāt · ص 40

فصل

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

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

al-Mirqāt · ص 41

فصل

وشَرائِطُ إنْتاجِ الشَّكْلِ الرّابِعِ مَعَ كَثْرَتِها وقِلَّةِ جَدْواها مَذْكُورَةٌ في المَبْسُوطاتِ، فلا عَلَيْنا لو تَرَكْنا ذِكْرَها، وكذا شَرائِطُ سائِرِ الأشْكالِ بحَسَبِ الجِهَةِ لا يَتَحَمَّلُ أمْثالُ رِسالَتِي هذه لِبَيانِها.

و شرایطِ انتاجِ شکلِ چهارم، با همهٔ کثرت و کم‌فایدگی‌اش، در کتاب‌های مبسوط یاد شده است؛ پس اگر ذکرش را ترک کنیم، بر ما باکی نیست. و همچنین شرایطِ دیگر اشکال به حسبِ جهت؛ رساله‌هایی مانندِ این رسالهٔ من تابِ بیانِ آن‌ها را ندارند.

al-Mirqāt · ص 41

فائدة

ولَعَلَّكَ عَلِمْتَ مِمّا ألْقَيْنا عَلَيْكَ أنّ النَّتِيجَةَ في القِياسِ تَتْبَعُ أدْوَنَ المُقَدِّمَتَيْنِ في الكَيْفِ والكَمِّ، والأدْوَنُ في الكَيْفِ هو السَّلْبُ، وفي الكَمِّ هو الجُزْئِيَّةُ؛ فالقِياسُ مِن مُوجَبَةٍ وسالِبَةٍ يُنْتِجُ سالِبَةً، والمُرَكَّبُ مِن كُلِّيَّةٍ وجُزْئِيَّةٍ إنّما يُنْتِجُ جُزْئِيَّةً. وأمّا المُرَكَّبُ مِنَ الكُلِّيَّتَيْنِ فرُبَّما يُنْتِجُ كُلِّيَّةً، وقد يُنْتِجُ جُزْئِيَّةً.

و شاید از آنچه بر تو القا کردیم دانسته باشی که نتیجه در قیاس، در کیف و کم، تابعِ فروترِ (اَدوَنِ) دو مقدمه است؛ و فروتر در کیف سلب است و در کم جزئیت. پس قیاسِ [مرکب] از موجبه و سالبه سالبه نتیجه می‌دهد، و [قیاسِ] مرکب از کلیه و جزئیه تنها جزئیه نتیجه می‌دهد. و اما [قیاسِ] مرکب از دو کلیه، گاهی کلیه نتیجه می‌دهد و گاهی جزئیه.

al-Mirqāt · ص 41