Вторая, третья и четвёртая фигуры

فصل

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

Чтобы вторая фигура давала заключение, требуется по качеству (то есть по утверждению и отрицанию), чтобы две посылки различались: если меньшая посылка утвердительная, большая — отрицательная, и наоборот. По количеству (то есть по общности и частности) требуется, чтобы большая посылка была общей. Иначе получается расхождение (ихтиляф), влекущее бесплодие, то есть силлогизм бывает истинным то при утвердительном заключении, то при отрицательном. Заключение этой фигуры всегда только отрицательное. Её продуктивных модусов тоже четыре. Первый — из двух общих, причём меньшая посылка утвердительная; он даёт общеотрицательное, как мы говорим: «Всякий В — Б, и ни один А не Б», «значит, ни один В не А». Довод в пользу того, что он даёт заключение, — обращение большей посылки: если ты обратишь большую посылку, она станет «Ни один Б не А»; присоединённая к меньшей посылке, она образует первую фигуру, и это даёт искомое заключение. Второй модус — из общеутвердительной большей посылки и общеотрицательной меньшей посылки, как мы говорим: «Ни один В не Б, и всякий А — Б», что даёт «Ни один В не А». Довод в пользу того, что он даёт заключение, — обращение меньшей посылки, превращение её в большую посылку, а затем обращение заключения. Третий модус — из частноутвердительной меньшей посылки и общеотрицательной большей посылки; он даёт частноотрицательное, как когда ты говоришь: «Некоторые В — Б, и ни один А не Б», «значит, не всякий В — А». Четвёртый модус — из частноотрицательной меньшей посылки и общеутвердительной большей посылки; он даёт частноотрицательное. Ты говоришь: «Некоторые В — не Б, и всякий А — Б», «значит, некоторые В — не А».

al-Mirqāt · с. 40

فصل

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

Условие продуктивности третьей фигуры — чтобы меньшая посылка была утвердительной и чтобы одна из двух посылок была общей. Поэтому её продуктивных модусов шесть. Первый: «Всякий Б — В, и всякий Б — А, значит, некоторые В — А». Второй: «Всякий Б — В, и ни один Б не А, значит, некоторые В — не А». Третий: «Некоторые Б — В, и всякий Б — А, значит, некоторые В — А». Четвёртый: «Некоторые Б — В, и ни один Б не А, значит, некоторые В — не А». Пятый: «Всякий Б — В, и некоторые Б — А, значит, некоторые В — А». Шестой: «Всякий Б — В, и некоторые Б — не А, значит, некоторые В — не А».

al-Mirqāt · с. 41

فصل

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

Условия продуктивности четвёртой фигуры, при всей их многочисленности и малой пользе, изложены в пространных трудах, так что не будет на нас упрёка, если мы оставим их без упоминания. Так же и условия остальных фигур по модальности (джиха): такое сочинение, как это моё, не вынесет их изложения.

al-Mirqāt · с. 41

فائدة

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

Ты, наверное, понял из того, что мы тебе изложили, что заключение силлогизма следует за более слабой (адван) из двух посылок по качеству и по количеству. Более слабое по качеству — отрицание, а по количеству — частность. Поэтому силлогизм из утвердительного и отрицательного суждения даёт отрицательное, а составленный из общего и частного даёт только частное. Что же касается составленного из двух общих, он может дать общее, а может дать и частное.

al-Mirqāt · с. 41