در منطق، تعریف به توضیح و تبیین مفهوم یک واژه یا اصطلاح گفته میشود. انواع مختلفی از تعریف وجود دارد که در زیر به بررسی آنها میپردازیم.
راهنمایی کوتاه: برای تشخیص نوع تعریف، باید به ساختار و محتوای آن توجه کرد.
- الف) حیوان: هر جسم نمو کننده حساس - این تعریف، تعریفی جامع و مانع است که مفهوم حیوان را توضیح میدهد.
- ب) درنگ: تاخیر - این تعریف، تعریفی لغوی است که یک واژه را با واژه دیگر توضیح میدهد.
- ج) اقیانوس: هند و آرام و اطلس - این تعریف، تعریفی به مثال یا مصداقی است که به جای توضیح مفهوم، به ذکر مصادیق آن میپردازد.
گامبهگام:
- تعریف الف را بررسی میکنیم: "حیوان: هر جسم نمو کننده حساس". این تعریف جامع و مانع است.
- تعریف ب را بررسی میکنیم: "درنگ: تاخیر". این تعریف لغوی است.
- تعریف ج را بررسی میکنیم: "اقیانوس: هند و آرام و اطلس". این تعریف به مصداق است.
پاسخ نهایی: الف) تعریف جامع و مانع، ب) تعریف لغوی، ج) تعریف به مصداق.
مثال مشابه: برای درک بهتر، میتوان مثالهای دیگری از هر نوع تعریف آورد.