نقض موضوع

در منطق قدیم چه در استدلال های مباشر و چه در قیاس ها، هر کدام از قواعد استنتاج جداگانه معرفی می شوند و شرایط آنها بازگو می شود و استنتاج بر اساس آن سامان می یابد و گاه برای تبیین برخی از این قواعد آنها را به برخی دیگر ارجاع می دهند. اما در روشی که این مقاله پیشنهاد می دهد در استدلال های مباشر تنها دو قاعده نقض محمول و عکس مستوی معرفی می شود و بقیه قواعد استنتاجی مانند عکس نقیض، نقض موضوع نقض تام و نقض عکس، بدون معرفی براساس این دو قاعده استنتاج می شوند. نیز با تبارشناسی حملیه و روش سورگذاری در محمول ها به صورت مصنوعی، لمیت عکس مستوی تبیین می شود و بر همین اساس، در قیاس های اقترانی حملی تنها خود قیاس و نقش حد اوسط در آن معرفی می شود. با این روش نتایج همه اَشکال بدون معرفی آنها استنتاج می شود. در این روش، نیازی به تحویل شکل دوم، سوم و چهارم به شکل اول نیست. ویژگی این روش، آسانی و یک نواختی اعمال قیاس است و به شرایط متفاوت نیازی نیست.

در کتاب های منطق اسلامیِ دوره معاصر، «نقض موضوع» را قاعده ای برشمرده اند که بر پایه آن می توان از یک گزاره کلّیِ صادق، گزاره صادق دیگری را به دست آورد که موضوع اش نقیض موضوع گزاره نخستین باشد و کمّ و کیف اش نیز دگرگون شده باشد. بنابراین، با کاربست این قاعده بر موجَبی کلّی مانند «هر الف ب است» سالبی جزئی همچون «برخی از نه ـ الف ب نیست» به دست می آید. در این جستار، امّا، نمایان خواهد شد که همواره چنین نیست، بل که گاه نتیجه نیز مانند مقدّمه، موجبی کلّی مثل «هر نه ـ الف ب است» از آب درمی آید؛ و آن هنگامی است کهموضوع گزاره اصلی اخصّ مطلق از محمول، و محمول برابر با عام ترین مفهوم کلّی باشد. بدین سان آشکار خواهد شد که قاعده نقض موضوع کلّیت ندارد و تخصیص بَردار است.