نقض قضیه
ذخیره مقاله با فرمت پی دی اف
کلیدواژه: قضیه، نقض تام، نقض موضوع، نقض محمول، منقوضة الموضوع، منقوضة المحمول.
پرسش: در منطق، «نقض موضوع» و «نقض محمول» به چه معناست و در قضیه «منقوضة الموضوع» چگونه با اثبات چیزی برای «الف»، نتیجه‌ای برای «غیر الف» گرفته می‌شود؟ (در قضایای منقوضة الموضوع گفته می‌شود؛ اگر هر «الف» «ب» است، در نتیجه بعضی از غیر «الف» ها «ب» نیستند. برای من حل نشده است که چطور می‌شود از حکمی که برای الف ثابت است، برای غیر الف نتیجه‌گیری کرد و به نظر قضیه اصل در مورد غیر الف‌ها ساکت است؛ مثلا اگر نسبت الف و ب تساوی باشد، دیگر غیر الفی وجود ندارد تا بعضی از آنها ب نباشند).
پاسخ:
برای اثبات صحت یک قضیه باید به قضایای دیگری که بین آن
قضیه با قضیه اصلی ملازمه برقرار است، استناد کنیم. چنین ملازمه‌ای بین عکس مستوی، عکس نقیض و نقیض هر قضیه با اصل قضیه وجود دارد.
یکی از بحث‌هایی که نقش و اهمیت آن در پی بردن به صدق قضیه کمتر از مباحث عکس نیست، مبحث
نقیض است.
نقض عبارت است از: «تحویل القضیة الی اخری لازمة لها فی الصدق مع بقاء طرفی القضیة علی موضعها»؛
تبدیل یک قضیه به قضیه دیگری که در صدق با آن ملازم است؛ به گونه‌ای که دو طرف قضیه بر جای خود باشند.
نقض قضیه اقسامی دارد که عبارت‌اند از:
نقض موضوع: «آن است که نقیض موضوع قضیه اول را موضوع برای قضیه دوم و عین محمولش را محمول قضیه دوم قرار داده و کم و کیف آن را تغییر می‌دهیم. به این تبدیل و جابه‌جایی نقض موضوع اطلاق می‌شود و قضیه تبدیل‌شده را منقوض الموضوع می‌نامند». مانند «هر نقره فلز است» که نقض موضوعش می‌شود: «بعض غیر نقره فلز نیست».
نقض محمول: «آن است که کیف قضیه را تغییر می‌دهیم، ولی در کم قضیه تغییری ایجاد نمی‌کنیم، آن‌گاه موضوع قضیه اول به همان صورت، موضوع قضیه دوم قرار می‌گیرد، ولی نقیض محمول قضیه اول را محمول قضیه دوم قرار می‌دهیم که به این تبدیل، و جابه‌جایی نقض محمول و به قضیه تبدیل شده منقوضة المحمول گفته می‌شود». مانند: «هر انسانی حیوان است» که نقض محمولش می‌شود: «هیچ انسانی غیرحیوان نیست».
نقض موضوع و محمول هر دو: «آن است که نقیض موضوع و نقیض محمول قضیه اول را موضوع و محمول قضیه دوم قرار می‌دهیم، ولی کیف قضیه تغییری نمی‌کند، اما کم قضیه تغییر داده می‌شود. به این تغییر و جابه‌جایی نقض موضوع و محمول و به قضیه‌ای که تبدیل شده «منقوضة الطرفین» یا «نقض تام» اطلاق می‌شود». مانند «هر نقره فلز است» که نقض تامش می‌شود «بعض غیر نقره غیر فلز است».
با عنایت به این‌که سؤال کاربر از قضیه منقوضة الموضوع بود، بحث را پیرامون قضیه منقوضة الموضوع ادامه خواهیم داد و از دیگر قضایا سخن به میان نمی‌آوریم.
در بین
قضایای محصوره چهارگانه (موجبه کلیه، موجبه جزییه، سالبه کلیه، سالبه جزییه) فقط قضایای کلیه یعنی موجبه کلیه و سالبه کلیه نقض موضوع دارند، ولی موجبه جزییه و سالبه جزییه نقض موضوع ندارند.
نقض موضوع موجبه کلیه، سالبه جزییه (مانند: «هر نقره فلز است»، نقض موضوعش می‌شود «بعض غیر نقره فلز نیست».) و نقض موضوع سالبه کلیه نیز موجبه جزییه («مانند: «هیچ آهنی طلا نیست» نقض موضوعش می‌شود «بعض غیر آهن طلا است».) می‌شود. بنابراین نقض موضوع در قضیه «هر نقره فلز است»، که موجبه کلیه است، می‌شود «بعض غیر
نقره فلز نیست»، و نقض موضوع در قضیه «هیچ آهنی
طلا نیست» که سالبه کلیه است، می‌شود «بعض غیر آهن طلا است».
بدین توضیح که هرگاه قضیه «هر الف، ب است» صادق باشد - با توجه به ملازمه‌ای که بین اصل قضیه با نقیضش برقرار است - باید قضیه «بعض غیر الف، ب نیست» نیز
صادق باشد.
ممکن است اشکال شود به این‌که وقتی می‌گویید: «هر الف، ب است»، معنایش این است که هر ب نیز الف است. در این صورت غیر الفی که ب باشد، مفروض نیست تا شما بخواهید بگویید: «بعض غیر الف ب نیستند»، بلکه باید بگویید: هیچ غیر الفی ب نیست.
در جواب این اشکال می‌گوییم: در قضیه «هر الف ب است»، دو فرض قابل تصور است؛ یکی این‌که بین الف و ب تساوی برقرار باشد که در این فرض، غیر الفی که ب باشد مفروض نیست؛ فرض دوم این‌که بین الف و ب عام و خاص مطلق برقرار باشد؛ یعنی الف خاص و ب عام باشد که در نقیضش این رابطه عکس خواهد شد؛ یعنی غیر الف، عام و ب خاص خواهد شد. آن‌گاه غیر الف علاوه بر ب دارای افراد و مصادیق دیگری نیز خواهد بود و صحیح است بگوییم: بعض غیر الف ب نیستند.
فرض کنیم در خارج مجموعه‌های متعددی به نام الف، ب، ج، د و...، داریم که هر یک دارای افراد متعدد هستند؛ مثلاً مجموعه «الف» افرادش عبارتند از: «۱، ۲، ۳، ۴» و مجموعه «ب» افرادش عبارتند از: «۱، ۲، ۳، ۴، ۵، ۶» و مجموعه «ج» افرادش عبارتند از: «۷، ۸، ۹، ۱۰» و...، وقتی می‌گوییم: «هر الفی ب است» معنایش این است که مجموعه «ب» عام است، تمام افراد مجموعه الف و برخی از دیگر مجموعه‌ها را نیز شامل می‌شود. این رابطه در نقیضش که «بعض غیر الف، ب نیست» بر عکس خواهد شد؛ یعنی غیر الف که موضوع باشد، عمومیت پیدا کرده، شامل «ب» و غیر «ب» مانند «ج» می‌شود و روشن است که مجموعه «ج» که غیر الف است «ب» نمی‌باشد.
پس در
حقیقت ما می‌خواهیم از صدق قضیه نقیض، صدق قضیه اصل را ثابت کنیم، نه این‌که بدون ملازمه بخواهیم حکمی که برای الف ثابت است، برای غیر الف نتیجه‌گیری کنیم.
پایگاه اسلام کوئست، برگرفته از مقاله «نقض قضیه»، تاریخ بازیابی ۱۳۹۵/۱/۱۶.
