در علم منطق، «اجزای قضیه» به بخشهایی گفته میشود که هر قضیه یا گزاره از آنها تشکیل شده است و بدون وجود آنها، بیان یک حکم یا اندیشه ممکن نخواهد بود. به طور کلی، قضیه جملهای است که در آن درباره چیزی حکمی صادر میشود و برای شکلگیری آن چند جزء اصلی لازم است. در قضیههای حملی، مهمترین اجزا «موضوع»، «محمول»، «نسبت حکمیه» و «حکم» هستند. موضوع همان چیزی است که درباره آن سخن گفته میشود، مانند واژه «انسان» در جمله «انسان داناست». محمول نیز ویژگی یا حکمی است که به موضوع نسبت داده میشود و در این مثال، واژه «دانا» محمول به شمار میآید. نسبت حکمیه، رابطهای است که میان موضوع و محمول برقرار میشود و حکم نیز پذیرش یا انکار این رابطه است. منطقدانان اجزای قضیه را به دو دسته ذاتی و غیرذاتی تقسیم میکنند؛ اجزای ذاتی در همه قضایا وجود دارند، اما اجزای غیرذاتی فقط در برخی قضایا دیده میشوند، مانند واژههای نفی یا قیدهایی که زمان و چگونگی حکم را مشخص میکنند. در قضیههای شرطی نیز اجزای اصلی متفاوت هستند و شامل «مقدم»، «تالی» و رابطه میان آنها میشوند؛ برای مثال، در جمله «اگر باران ببارد، زمین خیس میشود»، بخش نخست مقدم و بخش دوم تالی نام دارد. بنابراین، اجزای قضیه عناصر اساسی تشکیلدهنده یک گزاره در علم منطق هستند که به کمک آنها میتوان اندیشهها را به صورت دقیق، منظم و قابل بررسی بیان کرد.
اجزای قضیه
دانشنامه اسلامی
[ویکی فقه] اجزای قضیه در علم منطق عبارت است از: موضوع، محمول، نسبت حکمیه و حکم.
یکی از اموری که در منطق مورد توجه است، شناسایی ماهیت قضیه و اجزائی است که هر قضیه مشتمل بر آنهاست. اجزای قضیه بر دو نوع است: ذاتی و غیر ذاتی. مراد از اجزای ذاتی، آن است که در همه قضایا وجود دارد، به خلاف اجزای غیر ذاتی که فقط برخی قضایا مشتمل بر آن است؛ مانند ادات سلب و جهت. با توجه به اختلاف ماهیت قضایای حملی و شرطی، اجزای این دو قسم هم متفاوت هستند. موضوع و محمول، به عنوان دو جزء ذاتی قضیه حملیه، مورد اتفاق است، اما نسبت به حکم و نسبت حکمیه، در قضیه حملیه موجبه و سالبه دیدگاه های متفاوتی ابراز شده است. اما در قضیه شرطیه، مقدم و تالی و رابطه، سه جزء ذاتی قضیه است.
جمله سازی با اجزای قضیه
جملات نمونه از منابع مختلف جمع آوری شده است، اگر صحیح نیست یا توهین آمیز است، لطفا گزارش دهید.
💡 نوعی از استدلال قیاسی در منطق، «قیاس اقترانی» یا باهمشماری است. در این نوع استدلال، نتیجه یا نقیض آن در مقدمات استدلال وجود ندارد. در این نوع قیاس، کوچکترین واحد، قضیه نیست، بلکه اجزای قضیه ازجمله موضوع و محمول دارای اهمیت هستند. قالب کلی استنتاج در منطق محمول اصطلاحاً قیاس اقترانی نامیده میشود.
💡 قیاس اقترانی یا باهمشماری نوعی از استدلال قیاسی در منطق است. در این نوع استدلال، نتیجه یا نقیض آن در مقدمات استدلال وجود ندارد. در این نوع قیاس، کوچکترین واحد، قضیه نیست، بلکه اجزای قضیه ازجمله موضوع و محمول دارای اهمیت هستند. قالب کلی استنتاج در منطق محمول اصطلاحاً قیاس اقترانی نامیده میشود. قیاس اقترانی از دو قضیه حملی تشکیل میشود و نتیجه آن نیز یک قضیه حملی است.
