دانشگاه اصفهان متافیزیک 2476-3276 2 5 2010 08 23 Intra-Rule Existential Commitment of Al-Tousi on Contraposition and the Problem of Inversion تعهد درون‌قاعده‌ای خواجه نصیر در عکس نقیض و معضل نقض طرفین 75 86 19150 FA اسدالله فلاحی دانشگاه زنجاناستادیار فلسفه دانشگاه زنجان Journal Article 2016 06 14 Many rules of Ancient Logic need the existence of the subject, and this existence can be either added into the propositions’ structures or regarded as a part of the rules, as enthymematic premise. The two approaches can be named “intra-proposition” and “intra-rule” commitments. The first thinkers who used the latter explicitly are Avicenna and Nasir Al-din Al-Tousi, respectively, on Obversion and Contraposition. Al-Tousi added the proviso of the existence of the subject as not only the premise of Contraposition, but also as its conclusion. In contemporary period, Al-Muzaffar added Inversion to the body of Ancient Logic’s rules. Inversion can be validated by none of the commitments mentioned: Avicennian or Al-Tousian intra-proposition and intra-rule. We show that it can be defended by no other means. بسیاری از قواعد منطق قدیم نیازمند وجود موضوع هستند و این وجود موضوع را می‌توان یا در ساختار گزاره‌ها (محصورات چهارگانه) وارد کرد یا به عنوان مقدمه‌ای اضافی، جزئی از قواعد دانست. این دو رهیافت را «تعهد درون‌گزاره‌ای» و «تعهد درون‌قاعده‌ای» می‌نامیم. نخستین کسانی که به تعهد درون‌قاعده‌ای تصریح کرده‌اند، ابن‌سینا در قاعده نقض محمول و خواجه نصیر در قاعده عکس نقیض هستند. خواجه نصیر، به وجود موضوع نه تنها در مقدمات، بلکه در نتایج نیز متعهد گشته و در بیان احکام قاعده عکس نقیض، وجود موضوع اصل و عکس را با هم شرط کرده است. در دوران معاصر، مظفر قاعده‌ای به نام «نقض طرفین» (و نیز «نقض موضوع») به مجموعه قواعد منطق افزوده است که هیچ یک از تعهدهای درون‌گزاره‌ای و درون‌قاعده‌ای سینوی و خواجوی را یارای اعتباربخشی به آن نیست. بنا به بحث‌هایی که در مقاله انجام می‌شود، نشان می‌دهیم که به هیچ وجه دیگر نمی‌توان از این قاعده دفاع کرد. https://mph.ui.ac.ir/article_19150_4687785ea6acba00fbe47cc8e6ded367.pdf