« تحقیق »
یک اسم عربی و یک مصدر است .
بعضی از معانی آن از لغت نامۀ مرحوم علّامه دهخدا :
درست و راست کردن .
رسیدگی و وارسی کردن .
به کُنه مطلب رسیدن و واقع چیزی را بدست آوردن .
بدانستن .
درست بدانستن .
بدانستن و تصدیق کردن قولی را.
تصدیق کردن قول یا گمانی را.
واجب کردن چیزی را.
واجب کردن و تأکید و اثبات کردن چیزی را.
اثبات المسئلة بدلیلها.
در عرف اهل علم ،
اثبات مسأله به دلیل است ،
چنانکه تدقیق اثبات دلیل است به دلیل .