فصل
ويُشْتَرَطُ في إنْتاجِ الشَّكْلِ الثّانِي بحَسَبِ الكَيْفِ ـ أي الإيجابِ والسَّلْبِ ـ اخْتِلافُ المُقَدِّمَتَيْنِ؛ فإنْ كانَتِ الصُّغْرى مُوجَبَةً كانَتِ الكُبْرى سالِبَةً، وبالعَكْسِ؛ وبحَسَبِ الكَمِّ ـ أي الكُلِّيَّةِ والجُزْئِيَّةِ ـ كُلِّيَّةُ الكُبْرى، وإلّا يَلْزَمِ الاخْتِلافُ المُوجِبُ لعَدَمِ الإنْتاجِ، أي صِدْقُ القِياسِ مَعَ إيجابِ النَّتِيجَةِ تارَةً ومَعَ سَلْبِها أُخْرى. ونَتِيجَةُ هذا الشَّكْلِ لا يَكُونُ إلّا سالِبَةً، وضُرُوبُهُ النّاتِجَةُ أيْضًا أرْبَعَةٌ: أحَدُها مِن كُلِّيَّتَيْنِ والصُّغْرى مُوجَبَةٌ، يُنْتِجُ سالِبَةً كُلِّيَّةً، كقَوْلِنا: «كُلُّ ج ب، ولا شَيْءَ مِن ا ب»، «فلا شَيْءَ مِن ج ا». والدَّلِيلُ على هذا الإنْتاجِ عَكْسُ الكُبْرى؛ فإنّكَ إذا عَكَسْتَ الكُبْرى صارَ «لا شَيْءَ مِن ب ا»، وبانْضِمامِها إلى الصُّغْرى انْتَظَمَ الشَّكْلُ الأوَّلُ، ويُنْتِجُ النَّتِيجَةَ المَطْلُوبَةَ. الضَّرْبُ الثّانِي مِن مُوجَبَةٍ كُلِّيَّةٍ كُبْرى وسالِبَةٍ كُلِّيَّةٍ صُغْرى، كقَوْلِنا: «لا شَيْءَ مِن ج ب، وكُلُّ ا ب» يُنْتِجُ: «لا شَيْءَ مِن ج ا». والدَّلِيلُ على الإنْتاجِ عَكْسُ الصُّغْرى وجَعْلُها كُبْرى ثُمَّ عَكْسُ النَّتِيجَةِ. الضَّرْبُ الثّالِثُ مِن مُوجَبَةٍ جُزْئِيَّةٍ صُغْرى وسالِبَةٍ كُلِّيَّةٍ كُبْرى، يُنْتِجُ سالِبَةً جُزْئِيَّةً، كقَوْلِكَ: «بَعْضُ ج ب، ولا شَيْءَ مِن ا ب»، «فلَيْسَ بَعْضُ ج ا». الضَّرْبُ الرّابِعُ مِن سالِبَةٍ جُزْئِيَّةٍ صُغْرى ومُوجَبَةٍ كُلِّيَّةٍ كُبْرى، يُنْتِجُ سالِبَةً جُزْئِيَّةً؛ تَقُولُ: «بَعْضُ ج لَيْسَ ب، وكُلُّ ا ب»، «فبَعْضُ ج لَيْسَ ا».
ثانی کے دینے میں ، یعنی و ، کے لحاظ سے دونوں کا مختلف ہونا شرط ہے؛ پس اگر موجبہ ہو تو کبریٰ سالبہ ہوگا، اور اس کے برعکس؛ اور ، یعنی کلیت و جزئیت، کے لحاظ سے کبریٰ کا ہونا [شرط ہے]؛ ورنہ وہ اختلاف لازم آئے گا جو عدمِ انتاج کا موجب ہے، یعنی کا کبھی نتیجے کے ایجاب کے ساتھ اور کبھی اس کے سلب کے ساتھ سچا ہونا۔ اس شکل کا نتیجہ صرف سالبہ ہی ہوتا ہے، اور اس کی بھی چار ہیں۔ ان میں سے پہلی دو سے ہے، اور صغریٰ موجبہ ہے؛ یہ سالبہ کلیہ کا نتیجہ دیتی ہے، جیسے ہمارا قول: “ہر (ج) (ب) ہے، اور کوئی (ا) (ب) نہیں”، “لہٰذا کوئی (ج) (ا) نہیں”۔ اس انتاج کی دلیل کبریٰ کا ہے؛ کیونکہ جب تم کبریٰ کا عکس کرو گے تو وہ “کوئی (ب) (ا) نہیں” ہو جائے گا، اور اسے صغریٰ کے ساتھ ملانے سے شکلِ اوّل بن جائے گی، اور وہ مطلوبہ نتیجہ دے گی۔ دوسری ضرب موجبہ کلیہ کبریٰ اور سالبہ کلیہ صغریٰ سے ہے، جیسے ہمارا قول: “کوئی (ج) (ب) نہیں، اور ہر (ا) (ب) ہے”، جو یہ نتیجہ دیتی ہے: “کوئی (ج) (ا) نہیں”۔ انتاج کی دلیل صغریٰ کا عکس کرنا اور اسے کبریٰ بنانا، پھر نتیجے کا عکس کرنا ہے۔ تیسری ضرب موجبہ صغریٰ اور سالبہ کلیہ کبریٰ سے ہے، اور سالبہ جزئیہ کا نتیجہ دیتی ہے، جیسے تمہارا قول: “بعض (ج) (ب) ہیں، اور کوئی (ا) (ب) نہیں”، “لہٰذا ایسا نہیں کہ بعض (ج) (ا) ہوں”۔ چوتھی ضرب سالبہ جزئیہ صغریٰ اور موجبہ کلیہ کبریٰ سے ہے، اور سالبہ جزئیہ کا نتیجہ دیتی ہے؛ تم کہتے ہو: “بعض (ج) (ب) نہیں، اور ہر (ا) (ب) ہے”، “لہٰذا بعض (ج) (ا) نہیں”۔
al-Mirqāt · ص 40