وقيل بل اسم القياس يتناول القسمين جميعًا حقيقة كان هذا القول أصوب فما من أحد يقيس غائبًا بشاهد إلا ولابد أن يدخلهما في معنى عام كلي كما في سائر أقيسة التمثيل وما من أحد يدخل الغائب والشاهد في قياس شمول تحت قضية كلية إلا ولابد أن يشرك بينهما ويشبه أحدهما بالآخر في ذلك فقول القائل لو كان عظيمًا مشارًا إليه لكان منقسمًا لأنا لا نعلم عظيمًا مشارًا إليه إلا كذلك أو لا نعقل عظيمًا مشارًا إليه إلا كذلك هو كقوله لأن كل عظيم فإذا أشرنا فيه إلى نقطة فإما أن تكون هي ما فوقها وتحتها أولا تكون هي ذلك فإنه