تناقض قضایای محصوره
دانشنامه اسلامی
[ویکی فقه] تناقض قضایای محصوره یکی از اصطلاحات به کار رفته در علم منطق بوده و از اقسام تناقض قضایا است.
تناقض قضایای محصوره (قضایایی که در آنها حکم بر افراد موضوع شده و به کمیت افراد نیز تصریح شده است) از اقسام تناقض قضایاست و در آن همه شرایط تناقض قضایا وجود دارد، اما شرط اختصاصی آن، اختلاف دو قضیه محصوره از لحاظ کمّ است، به گونه ای که یکی از آنها کلی و دیگری جزئی باشد؛ مانند: همه انسان ها ناطق اند و بعضی از انسان ها ناطق نیستند. این شرط از این لحاظ لازم است که نقیضین نسبت به هم منفصل حقیقی هستند و صدق هر یک باعث کذب دیگری است و برعکس، و ممکن نیست هر دو صادق یا هردو کاذب باشند. قضایای سالبه و موجبه از محصورات در صورت با هم اختلاف دارند، اما هرگاه از لحاظ کمیت یکسان باشند بین آنها تناقضی نیست، زیرا گاهی اوقات هر دو صادق یا هردو کاذب اند و به همین سبب، تعریف متناقضان بر آنها منطبق نمی شود؛ مانند: «همه حیوان ها انسان اند» و «هیچ حیوانی انسان نیست» که هر دو قضیه کلی و کاذب اند، در حالی که اگر تناقض داشتند باید یکی صادق و دیگری کاذب می شد.
مستندات مقاله
در تنظیم این مقاله از منابع ذیل استفاده شده است: • ابن سینا، حسین بن عبدالله، الشفا (منطق).• خواجه نصیرالدین طوسی، محمد بن محمد، اساس الاقتباس.
۱. ↑ خواجه نصیرالدین طوسی، محمد بن محمد، اساس الاقتباس، ص۹۹.
...
جمله سازی با تناقض قضایای محصوره
جملات نمونه از منابع مختلف جمع آوری شده است، اگر صحیح نیست یا توهین آمیز است، لطفا گزارش دهید. گزارش محتوای نامناسب
💡 پس از قضایای کوی دانشگاه تهران، این روزنامه و مسئولان آن مورد غضب واقع شدند و زمزمه‌های تعطیلی انتخاب به گوش رسید.
💡 گریگوری نظریاتش در ریاضیات را در دو اثرش با نام بخش همگانی هندسه و تمرین‌های هندسی منتشر کرده است. او قضایای ریاضی را به دو گروه عمومی و ویژه تقسیم کرد. او سری تیلور را بیش از چهل سال قبل از آن که تیلور آن را منتشر کند، کشف کرد. سری گریگوری با استفاده از محاسبه سطح زیر منحنی
💡 در منطق ریاضی، بررسی تناقض قضایای محصوره به ما کمک می‌کند تا بفهمیم چگونه گزاره‌های کلی و جزئی با یکدیگر در تضاد قرار می‌گیرند و حقیقت را مخدوش می‌کنند.
💡 دانشجویان رشته فلسفه برای درک دقیق ساختار استدلال، باید بتوانند تناقض قضایای محصوره را در میان گزاره‌های دارای سورهای "همه" یا "برخی" به درستی شناسایی و تحلیل کنند.
💡 در طراحی سیستم‌های استنتاج خودکار، الگوریتم‌ها باید قادر باشند تناقض قضایای محصوره را تشخیص دهند تا از استخراج نتایج غلط و بی‌منطق از پایگاه داده‌های دانش جلوگیری شود.
