تعریف به ذاتیات طیف وسیعی از تعریفات منطقی را شامل می شود. ذاتیات در تعریفات حدّی (اعم از حدّ تام و ناقص) و تعریفات رسمی (اعم از رسم تام و بعضی از رسم های ناقص) و بعضی دیگر از اقسام تعریف که در این مقاله به آن ها اشاره خواهد شد، حضور دارند. کارایی تعریف به ذاتیات به پذیرش پیش فرض هایی بستگی دارد که یا از دانش فلسفه وام گرفته شده اند و یا باید در آن دانش اثبات شوند. در این مقاله پس از بیان انواع تعریف در دانش منطق، این پیش فرض ها بررسی شده اند و با نقد آن ها، کارایی تعریف به ذاتیات نقد شده است