فصل في الاقترانيات من الشرطيات
وحالُها في انْعِقادِ الأشْكالِ الأرْبَعَةِ والضُّرُوبِ المُنْتِجَةِ والشَّرائِطِ المُعْتَبَرَةِ كحالِ الاقْتِرانِيّاتِ مِنَ الحَمْلِيّاتِ سَواءً بسَواءٍ. مِثالُ الشَّكْلِ الأوَّلِ في المُتَّصِلَةِ: «كُلَّما كانَ زَيْدٌ إنْسانًا كانَ حَيَوانًا، وكُلَّما كانَ حَيَوانًا كانَ جِسْمًا» يُنْتِجُ: «كُلَّما كانَ زَيْدٌ إنْسانًا كانَ جِسْمًا». مِثالُ الشَّكْلِ الثّانِي: «كُلَّما كانَ زَيْدٌ إنْسانًا كانَ حَيَوانًا، ولَيْسَ البَتَّةَ إذا كانَ حَجَرًا كانَ حَيَوانًا» يُنْتِجُ: «لَيْسَ البَتَّةَ إنْ كانَ زَيْدٌ إنْسانًا كانَ حَجَرًا». مِثالُ الثّالِثِ مِنْها: «كُلَّما كانَ زَيْدٌ إنْسانًا كانَ حَيَوانًا، وكُلَّما كانَ زَيْدٌ إنْسانًا كانَ كاتِبًا» يُنْتِجُ: «قد يَكُونُ إذا كانَ زَيْدٌ حَيَوانًا كانَ كاتِبًا». وأمّا الاقْتِرانِيُّ الشَّرْطِيُّ المُؤَلَّفُ مِنَ المُنْفَصِلاتِ فمِثالُهُ مِنَ الشَّكْلِ الأوَّلِ: «إمّا كُلُّ ا ب أو كُلُّ ج د، ودائِمًا كُلُّ د ه أو كُلُّ د ز» يُنْتِجُ: «دائِمًا إمّا كُلُّ ا ب أو كُلُّ ج ه أو كُلُّ د ز». وأمّا الاقْتِرانِيُّ الشَّرْطِيُّ المُرَكَّبُ مِن حَمْلِيَّةٍ ومُتَّصِلَةٍ فكقَوْلِنا: «كُلَّما كانَ ب ج فكُلُّ ج [د]، وكُلُّ [د] ا» يُنْتِجُ: «كُلَّما كانَ ب ج فكُلُّ ج ا». وعلى هذا القِياسِ باقِي التَّرْكِيباتِ.
Met deze [syllogismen] is het, wat het vormen van de vier , de en de geldende voorwaarden betreft, precies zo gesteld als met de verbindende syllogismen uit . Een voorbeeld van de eerste figuur met verbindende : “Telkens wanneer Zayd een mens is, is hij een dier; en telkens wanneer hij een dier is, is hij een lichaam”, wat oplevert: “Telkens wanneer Zayd een mens is, is hij een lichaam.” Een voorbeeld van de tweede figuur: “Telkens wanneer Zayd een mens is, is hij een dier; en nooit, als hij een steen is, is hij een dier”, wat oplevert: “Nooit, als Zayd een mens is, is hij een steen.” Een voorbeeld van de derde: “Telkens wanneer Zayd een mens is, is hij een dier; en telkens wanneer Zayd een mens is, is hij een schrijver”, wat oplevert: “Soms, als Zayd een dier is, is hij een schrijver.” Het verbindende voorwaardelijke dat bestaat uit disjunctieve proposities, heeft in de eerste figuur als voorbeeld: “Ofwel is elke A B, ofwel is elke J D; en altijd is elke D H of is elke D Z”, wat oplevert: “Altijd is ofwel elke A B, ofwel elke J H, ofwel elke D Z.” Het verbindende voorwaardelijke syllogisme dat bestaat uit een categorische en een verbindende propositie, is zoals wanneer we zeggen: “Telkens wanneer B J is, is elke J [D]; en elke [D] is A”, wat oplevert: “Telkens wanneer B J is, is elke J A.” De overige combinaties gaan op dezelfde manier.
al-Mirqāt · p. 42