معنای تعریف در منطق و اصول چیست؟

علمی که متکفل بیان معنای «تعریف» و حد و مرز «تعاریف» و صحیح و نا صحیح بودن آنها شده است «علم منطق» است. از نظر علم منطق تعریف چیزی است که ما را به تصوری صحیح از یک مفهوم می رساند. تعریف دارای اقسامی است: هر گاه تعریفی بتواند تمام اجزای ماهیت یک مفهوم را بیان کند و روشن گر کنه ذات آن باشد، در این صورت به آن «حد تام» می گویند. ولی اگر تعریف نتواند تمام اجزای ماهیت را برساند، ولی بعضی از آن اجزا که مشخص کننده محدوده و حد و مرز آن مفهوم است را بیان کند، در این صورت به این تعریف «حد ناقص» می گویند. توضیح این مطالب در پاسخ تفصیلی بیان می شود.