their saying that rational sciences replace the human soul and that it is limited and contains indivisible individuals so its location must also be indivisible and every body is divisible so this indicates that its location is something indivisible. this can be presented on the condition of logic in all its forms but the closest to it is to say that if the location of knowledge is a divisible body then current knowledge is also divisible but current knowledge is not divisible so the location is not a body. this is a conditional syllogism in which the opposite of the following is excluded.
قولهم إن العلوم العقلية تحل محل النفس الإنساني وهي محصورة وفيها آحاد لا تنقسم فلا بد وأن يكون محله أيضا لا ينقسم، وكل جسم فمنقسم فدل أن محله شيء لا ينقسم. ويمكن إيراد هذا على شرط المنطق بأشكاله ولكن أقربه أن يقال إن كان محل العلم جسما منقسما فالعلم الحال أيضا منقسم لكن العلم الحال غير منقسم فالمحل ليس جسما. وهذا هو قياس شرطي استثنى فيه نقيض التالي