چکیده:
«حملیه مرددة المحمول»،گزاره حملی است که در قسمت محمول آن،انفصال وجود دارد.این حملیه را نباید با «شرطیه منفصله»یکی دانست؛زیرا در پارهای مثالها،حملیهء مرددة المحمول صادق است در حالی که شرطیه منفصلهء متناظر با آن صادق نیست.ابراهیم بازرگانی و عسکری سلیمانی امیری در مقالهای به شرح کامل این نوع حملیه پرداخته،تاریخچه و احکام آن را بیان کردهاند.این مقاله،با بیان نوآوریهای مقاله پیش گفته،به پارهای از کاستیها و ناراستیهای آن اشاره کرده و در رفع آنها کوشیده است.همچنین،به یاری منطق جدید،احکام تازهای برای انواع حملیه مردده یافته و به روابط آنها با انواع حملیه معطوفه،ترکیبهای عطفی و شرطیهای منفصله پرداخته شده است.
خلاصه ماشینی:
"در منطق ریاضی،نیز به آسانی میتوان نشان داد که دو فرمول زیر همارز هستند: معطوفة المحمول عطف دو بسیطه هر الف،ب و ج است هر الف،ب است و هر الف ج است (به تصویر صفحه مراجعه شود) توجه کنید که این همارزی تنها برای موجبهء کلیه برقرار است و برای دیگر محصورات درست نیست.
میدانیم که در منطق قدیم،این سه قسم را به صورت زیر تعریف میکنند: منفصله\مانع جمع\لا یجتمعان \مانع خلو\لا یرتفعان \حقیقی\لا یجتمعان و لا یرتفعان از آنجا که اجتماع،همان ترکیب عطفی است و ارتفاع،با ترکیب عطفی میان نقیض طرفین برابر است،به تعریفهای زیر از سه قسم منفصله میرسیم: منفصله\مانع جمع مانع خلو حقیقی (به تصویر صفحه مراجعه شود) اکنون،میتوانیم به صورتبندی انواع«حملیه مرددة المحمول»به زبان صوری منطق جدید بپردازیم: مرددة المحمول\مانع جمع مانع خلو حقیقی (به تصویر صفحه مراجعه شود) تفاوتهای تردید و تقسیم نویسندگان،هنگام بیان تفاوت«انفصال»،«تردید»و«تقسیم»،به گونهای نسبتا مبهم سخن گفتهاند و ملاک روشن و دقیقی برای نشان دادن کامل تفاوتها ارائه نکردهاند:«گاهی"یا"نه برای انفصال است و نه برای تردید،بلکه برای تقسیم است؛مانند"الوجود اما واجب او ممکن".
اگر بخواهیم ادات عدول موجود در ناحیه محمول را وارد مفهوم مردد کنیم به فرمولهای زیر میرسیم: نقض طرفین مردده مانع جمع-معطوفة المحمول نقض طرفین مردده مانع خلو-معطوفة النقیضین فی المحمول نقض طرفین مردده حقیقی-مرددة نقیض التالی فی المحمول (به تصویر صفحه مراجعه شود) و به زبان صوری: (به تصویر صفحه مراجعه شود) مهمترین ایراد تحلیل نقض طرفین به روش بالا،این است که محمول در نقض طرفین مانع جمع،هیچ ادات نقضی ندارد."