والقياسُ الاقترانيُّ: إمَّا من الحَمليتين كما مَرَّ، وإما من المُتَّصلتين كقولنا: إن كانت الشمسُ طالعةً فالنهارُ موجودٌ، وإن كان النهارُ موجوداً فالأرضُ مُضيئةٌ، ينتجُ إن كانت الشمسُ طالعةً فالأرضُ مضيئةٌ، وإما من المنفصلتينِ كقولنا: كلُّ عددٍ إمَّا فردٌ أو زوجٌ، وكلُّ زوجٍ فهو إما زوجُ الزَّوجِ أو زوجُ الفردِ، ينتجُ كلُّ عددٍ إما فردٌ أو زوجُ الزوجِ أو زوجُ الفردِ، وإمَّا من الحَملية والمتصلة كقولنا: كُلَّما كان هذا إنساناً فهو حيوانٌ وكلُّ حيوانٍ فهو جسمٌ، ينتجُ كُلَّما كان هذا إنساناً فهو جسمٌ، وإما من حَمليةٍ ومنفصلةٍ كقولنا: كلُّ عددٍ إما زوجٌ أو فردٌ وكلُّ زوجٍ فهو منقسمٌ بمتساويين، ينتجُ كلُّ عددٍ فهو إما فردٌ أو منقسمٌ بمتساويين، أو من متصلةٍ ومنفصلةٍ كقولنا: إن كان هذا إنساناً فهو حيوانٌ وكلُّ حيوانٍ فهو إما أبيضُ أو أسودُ، ينتجُ إن كان هذا إنساناً فهو إما أبيضُ أو أسودُ.
لَمَّا قَسَّمَ المُصنِّفُ القياسَ من قبلُ إلى اقترانيٍّ، واستثنائيٍّ أراد أن يُبَيِّنَ أنَّ كلَّ واحدٍ منهما من أيِّ شيءٍ يتركَّبُ، فقال: القياسُ الاقترانيُّ إما أن يتركَّبَ من مُقدِّمتين حَمليتين كما مَرَّ من قولنا: كلُّ جسمٍ مؤلفٌ وكلُّ مؤلّفٍ محدثٌ، فإنَّ كُلاً من هاتين المقدمتين حمليةٌ، وإما أن يتركَّبَ من مقدمتين شرطيتين مُتَّصلتين كقولنا: إن كانت الشمسُ طالعةً فالنهارُ موجودٌ، وإن كان النهار موجوداً فالأرضُ مضيئةٌ، ينتجُ من اقترانِ هاتينِ الشرطيتين المتصلتين إن كانت الشمسُ طالعةً فالأرضُ مضيئةٌ، والمرادُ من المتصلتينِ اللزوميتان، لا الاتفاقيتان كما ذُكِرَ في المطوَّلاتِ، وإما أن يتركَّبَ من مقدّمتين شرطيتين منفصلتين نَحوُ: كلُّ عددٍ إما زوجٌ أو فردٌ، وكلُّ زوجٍ إما زوجُ الزوجِ أو زوجُ الفرد، ينتجُ من هاتين المنفصلتين: العددُ إما فردٌ أو زوجُ الزوجِ أو زوجُ الفردِ، وإما أن يتركَّبَ القياسُ المذكورُ من مقدَمة حملية، ومقدّمة متصلةٍ سواءٌ كانت الحملية صغرى، والمتصلة كبرى، أو بالعكس كقولنا: كُلَّما كان هذا الشيءُ إنساناً فهو حيوانٌ، وكلُّ حيوانٍ جسمٌ، ينتجُ من هاتين المقدمتين اللتين أولُهما متصلةٌ، والأخرى حمليةٌ: كُلَّما كان هذا الشيءُ إنساناً فهو جسمٌ، وإما أن يتركَّبَ من مقدمةٍ حمليةٍ، ومقدمةٍ منفصلة سواءٌ كانت الحمليةُ صغرى، والمنفصلةُ كبرى، أو بالعكس كقولنا: كلُّ عددٍ إما فردٌ أو زوجٌ، وكلُّ زوجٍ منقسمٌ إلى متساويين، ينتجُ من هاتين المقدمتين اللتين أولُهما منفصلةٌ، والأخرى حمليةٌ: كلُّ عددٍ إما فردٌ أو منقسمٌ بمتساويين، وإما أن يتركَّبَ من مقدمةٍ منفصلةٍ ومقدمةٍ متصلةٍ سواءٌ كانت المنفصلةُ صغرى، والمتصلةُ كبرى، أو بالعكس كقولنا: كُلَّما كان هذا الشيء إنساناً فهو حيوانٌ، وكلُّ حيوانٍ إما أبيضُ أو أسودُ، ينتجُ من هاتين المقدمتين اللتين أولُهما متصلةٌ، والأخرى منفصلةٌ: كُلَّما كان هذا الشيءُ إنساناً فهو إما أبيضُ أو أسودُ.
Having earlier divided the into and , the author wanted to show what each of them is composed of. So he said: the conjunctive syllogism is composed either of two , as in the example given before, “Every body is composite, and everything composite came to be”, for each of these two premises is categorical. Or it is composed of two premises, as in our saying: “If the sun has risen, it is day; and if it is day, the earth is lit.” From the combination of these two connective conditionals there follows: “If the sun has risen, the earth is lit.” By the two connectives are meant implicative ones (luzūmiyya), not coincidental ones (ittifāqiyya), as is mentioned in the longer works. Or it is composed of two premises, as in: “Every number is either even or odd, and every even number is either evenly even or oddly even.” From these two disjunctives there follows: “A number is either odd, evenly even or oddly even.” Or the said syllogism is composed of a categorical premise and a connective premise, whether the categorical is the and the connective the or the reverse, as in our saying: “Whenever this thing is a human, it is an animal; and every animal is a body.” From these two premises, the first of which is connective and the other categorical, there follows: “Whenever this thing is a human, it is a body.” Or it is composed of a categorical premise and a disjunctive premise, whether the categorical is the minor premise and the disjunctive the major or the reverse, as in our saying: “Every number is either odd or even, and every even number divides into two equal parts.” From these two premises, the first of which is disjunctive and the other categorical, there follows: “Every number is either odd or divides into two equal parts.” Or it is composed of a disjunctive premise and a connective premise, whether the disjunctive is the minor premise and the connective the major or the reverse, as in our saying: “Whenever this thing is a human, it is an animal; and every animal is either white or black.” From these two premises, the first of which is connective and the other disjunctive, there follows: “Whenever this thing is a human, it is either white or black.”
Sharḥ Īsāghūjī · p. 70