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