جلوه های عدالت در شرایط تعریف منطقی

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