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