جستجوي پيشرفته | کتابخانه مجازی الفبا

یکی از قواعد مهم منطق قدیم و فلسفه ارسطو، قاعده فرعیه است. بنا به این قاعده «ثبوت شیء لشیء فرع ثبوت المثبت له»است. از نتایج مهم قاعده فرعیه میتوان به دو حکم زیر اشاره کرد.1ـ موجبه بانتفای موضوع، کاذب است.2ـ سالبه بانتفای موضوع، صادق است.این دو حکم بدلیل مثال زیر با قاعده عکس نقیض در تضاد است:الف) گزاره سالبه کلیه «هیچ معدومی معدوم نیست» بدلیل انتفای موضوع، صادق است. (بنا به حکم2 )ب) عکس نقیض آن، یعنی گزاره «بعضی غیرمعدومها غیرمعدوم نیستند» کاذب است. (چون این گزاره معادل است با گزاره سالبه جزئیه» «بعضی موجودها موجود نیستند» که نقیض آن «هر موجودی موجود است» صادق است.)این نشان میدهد که قاعده عکس نقیض، صدق را حفظ نمیکند در حالی که «حفظ صدق» در تعریف عکس نقیض آمده است. این مثال از قاعده عکس نقیض، با نتیجه دوم قاعده فرعیه (یعنی حکم2 )در تضاد است. در این مقاله، مثالهای دیگری از عکس نقیض ارائه خواهیم کرد که با نتیجه دوم قاعده فرعیه (یعنی حکم 1)ناسازگاری دارند. از آنجا که قاعده عکس نقیض، دو تعریف دارد (تعریف قدما و تعریف متأخران) بنابرین، ناسازگاری قاعده فرعیه با قاعده عکس نقیض را بر پایه هردو تعریف، بکمک مثالهای مربوطه، شرح خواهیم داد. همچنین راه حلهایی را برای رفع این ناسازگاری طرح کرده و نشان میدهیم که هیچ کدام از آنها ناسازگاری را از میان برنمیدارد. در پایان، موضع منطق جدید را در اینباره ارزیابی میکنیم.