من إخراج الحقيقة الشرعية، والعرفية، عن كونها حقائق، وأنها دالّة على غير موضوعها الأصلىّ، فيلزم خروجها عن كونها حقائق وهو باطل، لا يقال، فلعلّ ابن الأثير، إنما أراد الحقائق اللغوية، دون الحقائق الشرعية، والعرفية، وإنما أراد الحقائق الموضوعة لغة، كلفظ الأسد فإنه حقيقة فى البهيمة، مجاز فى الرجل الشجاع، فلا يعاب عليه ما قاله، لأنا نقول هذا فاسد، فإن الماهيّة من حقها أن تدرج تحتها جميع الصور المفردة فلا يخرج عنها شىء، وإلّا بطل كونها ماهية، فالحد إن لم يكن شاملا بطل كونه حدّا. ولو قيل فى حد الحقيقة: ما أفاد معنى مصطلحا عليه فى الوضع الذى وقع فيه التخاطب، مما له فيه مدخل، فسائر القيود قد تقدم تفسيرها إلا قولنا «ممّا له فيه مدخل» فالغرض الاحتراز عن أسماء الأعلام، فإنها قد أفادت معنّى مصطلحا عليه فى وضع التخاطب، لا يقال لها بأنها حقائق ولا توصف بذلك، لما كانت معانيها لا مدخل لها فى الحقائق، والمجازات، كما سنوضحه فعرفت بما ذكرناه أنه لابدّ من هذا القيد، ليخرج عمّا ذكرناه. المسألة الثانية فى ذكر أنواع الحقيقة، وجملتها ثلاثة أنواع: النوع الأول فى بيان [الحقائق اللغوية] وهذا نحو قولنا: السماء، والأرض، والإنسان، والفرس وما أشبهها ويدلّ على كونها حقائق فى وضعها أمران أما أولا: فلأنها قد دلّت على معان مصطلح عليها فى تلك المواضعة، وهذا هو فائدة الحقيقة ومعناها، وأما ثانيا: فلأنها قد استعملت فى الأوضاع اللغوية، فليس يخلو حالها بعد ذلك، إمّا أن تستعمل فى معناها الأصلى، أو فى غيره فإن كان الأوّل، فهى الحقيقة لا محالة، وإن كان استعمالها فى غيره، فهى مجاز، والمجاز لابدّ من أن يكون مسبوقا بالحقيقة، وإلا لم يعقل كونه مجازا، فإذن، لابدّ من الإقرار بالحقيقة، وقد تمّ غرضنا. النوع الثانى فى بيان [الحقائق العرفية] ونريد باللفظة العرفيّة، أنها التى نقلت من مسمّاها اللغوىّ إلى غيره بعرف الاستعمال، ثم ذلك العرف، قد يكون عامّا، وقد يكون خاصّا، فهذان مجريان نذكر ما يختص كل واحد منهما بمشيئة الله تعالى.