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