قضایای تحلیلی در فلسفه غرب، تعاریف گوناگونی دارد. برابر تعریف کانت، قضیه‌ای تحلیلی است که مفهوم موضوع و محمول آن یکی است یا محمول آن در موضوعش مندرج است. این تعریف با تعریف قضایای ذاتیهْْ‌المحمول (ذاتی باب ایساغوجی)، شباهت زیادی دارد، امّا در تطبیق این دو تعریف بر یکدیگر، چند مشکل اساسی وجود دارد: اول آنکه بحث ذاتیات، در ابتدا با توجه به ماهیات بنا شده است؛ دوّم آنکه ذاتی جزء ذات است، نه تمام ذات؛ سوم اینکه بحث ذاتیات، بیشتر جنبه هستی‌شناختی دارد. اساساً این بحث برای رفع مشکل تعریف مطرح، شده است. افزون بر این، بحث ذاتیات، تنها در قضایای حملی مطرح شده است. این نوشته نشان خواهد داد این مشکلات در منطق مسلمانان حل شده است. البته امروزه بسیاری از فیلسوفان غرب از تعریف کانت، برگشته‌اند؛ یعنی قضایای تحلیلی را تعمیم داده‌اند. تعاریف غیر کانتی با قضایای ذاتیهْْ‌المحمول، تطبیق‌پذیر نیست، بلکه با تعریف ذاتی باب برهان، بیشتر تناسب دارد.
