الإفراد، لا يعلم أنّ ذلك المعنى شامل لها. فما استدل بخاص على عام، [بل بعام] 1 مثله مطابق له.

وقولهم في قياس التمثيل: إنّه استدلال بخاصّ على خاصّ2، ليس كذلك؛ فإنّ مجرّد ثبوت الحكم في صورة، لا يستلزم ثبوته في أخرى، إن لم يكن بينهما قدر مشترك، ولا يثبت بذلك حتى يقوم دليل على أنّ ذلك المشترك مستلزم للحكم.

والمشترك3: هو الذي يُسمّى في قياس التمثيل: الجامع4، والوصف5، والعلة6، والمناط7، ونحو ذلك. فإن لم يقم دليل على أن الحكم متعلق به، لازم له، لم يصح الاستدلال.