الإفراد، لا يعلم أنّ ذلك المعنى شامل لها. فما استدل بخاص على عام، [بل بعام] ١ مثله مطابق له.
وقولهم في قياس التمثيل: إنّه استدلال بخاصّ على خاصّ٢، ليس كذلك؛ فإنّ مجرّد ثبوت الحكم في صورة، لا يستلزم ثبوته في أخرى، إن لم يكن بينهما قدر مشترك، ولا يثبت بذلك حتى يقوم دليل على أنّ ذلك المشترك مستلزم للحكم.
والمشترك٣: هو الذي يُسمّى في قياس التمثيل: الجامع٤، والوصف٥، والعلة٦، والمناط٧، ونحو ذلك. فإن لم يقم دليل على أن الحكم متعلق به، لازم له، لم يصح الاستدلال.
