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