فصل
ويُشْتَرَطُ في إنْتاجِ الشَّكْلِ الثّانِي بحَسَبِ الكَيْفِ ـ أي الإيجابِ والسَّلْبِ ـ اخْتِلافُ المُقَدِّمَتَيْنِ؛ فإنْ كانَتِ الصُّغْرى مُوجَبَةً كانَتِ الكُبْرى سالِبَةً، وبالعَكْسِ؛ وبحَسَبِ الكَمِّ ـ أي الكُلِّيَّةِ والجُزْئِيَّةِ ـ كُلِّيَّةُ الكُبْرى، وإلّا يَلْزَمِ الاخْتِلافُ المُوجِبُ لعَدَمِ الإنْتاجِ، أي صِدْقُ القِياسِ مَعَ إيجابِ النَّتِيجَةِ تارَةً ومَعَ سَلْبِها أُخْرى. ونَتِيجَةُ هذا الشَّكْلِ لا يَكُونُ إلّا سالِبَةً، وضُرُوبُهُ النّاتِجَةُ أيْضًا أرْبَعَةٌ: أحَدُها مِن كُلِّيَّتَيْنِ والصُّغْرى مُوجَبَةٌ، يُنْتِجُ سالِبَةً كُلِّيَّةً، كقَوْلِنا: «كُلُّ ج ب، ولا شَيْءَ مِن ا ب»، «فلا شَيْءَ مِن ج ا». والدَّلِيلُ على هذا الإنْتاجِ عَكْسُ الكُبْرى؛ فإنّكَ إذا عَكَسْتَ الكُبْرى صارَ «لا شَيْءَ مِن ب ا»، وبانْضِمامِها إلى الصُّغْرى انْتَظَمَ الشَّكْلُ الأوَّلُ، ويُنْتِجُ النَّتِيجَةَ المَطْلُوبَةَ. الضَّرْبُ الثّانِي مِن مُوجَبَةٍ كُلِّيَّةٍ كُبْرى وسالِبَةٍ كُلِّيَّةٍ صُغْرى، كقَوْلِنا: «لا شَيْءَ مِن ج ب، وكُلُّ ا ب» يُنْتِجُ: «لا شَيْءَ مِن ج ا». والدَّلِيلُ على الإنْتاجِ عَكْسُ الصُّغْرى وجَعْلُها كُبْرى ثُمَّ عَكْسُ النَّتِيجَةِ. الضَّرْبُ الثّالِثُ مِن مُوجَبَةٍ جُزْئِيَّةٍ صُغْرى وسالِبَةٍ كُلِّيَّةٍ كُبْرى، يُنْتِجُ سالِبَةً جُزْئِيَّةً، كقَوْلِكَ: «بَعْضُ ج ب، ولا شَيْءَ مِن ا ب»، «فلَيْسَ بَعْضُ ج ا». الضَّرْبُ الرّابِعُ مِن سالِبَةٍ جُزْئِيَّةٍ صُغْرى ومُوجَبَةٍ كُلِّيَّةٍ كُبْرى، يُنْتِجُ سالِبَةً جُزْئِيَّةً؛ تَقُولُ: «بَعْضُ ج لَيْسَ ب، وكُلُّ ا ب»، «فبَعْضُ ج لَيْسَ ا».
Agar kedua menghasilkan, disyaratkan, dari sisi kaif (yakni dan ), kedua berbeda: jika mujabah, maka salibah, dan sebaliknya; dan dari sisi kamm (yakni dan ), kubra kulliyyah. Jika tidak, akan ikhtilaf (ketidakajekan) yang menyebabkan tidak menghasilkan, yaitu itu benar, sekali bersama kesimpulan yang mujabah dan di kali lain bersama kesimpulan yang salibah. Kesimpulan syakl ini selalu salibah. -nya yang juga empat. Pertama, dari dua kulliyyah dengan shughra mujabah; ia menghasilkan , seperti ucapan kita: “Setiap J adalah B, dan tidak satu pun A adalah B”, “maka tidak satu pun J adalah A”. Dalil bahwa ia menghasilkan adalah kubra: jika engkau membalik kubra, ia menjadi “Tidak satu pun B adalah A”; dengan digabungkan kepada shughra, tersusunlah syakl pertama, dan ia menghasilkan kesimpulan yang dicari. Dharb kedua dari kubra dan shughra salibah kulliyyah, seperti ucapan kita: “Tidak satu pun J adalah B, dan setiap A adalah B”, yang menghasilkan “Tidak satu pun J adalah A”. Dalil bahwa ia menghasilkan adalah membalik shughra dan menjadikannya kubra, lalu membalik kesimpulannya. Dharb ketiga dari shughra dan kubra salibah kulliyyah; ia menghasilkan , seperti ucapanmu: “Sebagian J adalah B, dan tidak satu pun A adalah B”, “maka tidaklah sebagian J adalah A”. Dharb keempat dari shughra salibah juz'iyyah dan kubra mujabah kulliyyah; ia menghasilkan salibah juz'iyyah. Engkau berkata: “Sebagian J bukan B, dan setiap A adalah B”, “maka sebagian J bukan A”.
al-Mirqāt · hlm. 40