شرطیه منفصله

«حملیه مرددهْْ المحمول»، گزاره حملی است که در قسمت محمول آن، انفصال وجود دارد. این حملیه را نباید با «شرطیه منفصله» یکی دانست؛ زیرا در پاره ای مثال ها، حملیة مرددهْْ المحمول صادق است در حالی که شرطیه منفصلة متناظر با آن صادق نیست. ابراهیم بازرگانی و عسکری سلیمانی امیری در مقاله ای به شرح کامل این نوع حملیه پرداخته، تاریخچه و احکام آن را بیان کرده اند. این مقاله، با بیان نوآوری های مقاله پیش گفته، به پاره ای از کاستی ها و ناراستی های آن اشاره کرده و در رفع آنها کوشیده است. همچنین، به یاری منطق جدید، احکام تازه ای برای انواع حملیه مردده یافته و به روابط آنها با انواع حملیه معطوفه، ترکیب های عطفی و شرطی های منفصله پرداخته شده است.

در نظام منطق سینوی انواع قضایا منحصر به قضیّه حملیه، قضیّه شرطیه متّصله و قضیّه شرطیه منفصله بوده،و در آن از قضایای عطفی صحبت نشده است.بر این اساس، این پرسش مهمّ مطرح می شود که چرا منطق دانان سینوی به ادات عطف نپرداخته اند؟ تلاش ما در پژوهش حاضر این است که اوّلاً پاسخی قابل قبول برای این پرسش ارائه نماییم؛ ثانیاً نارسائی برخی از دیدگاه های موجود در این زمینه را نشان دهیم. در منطق سینوی مناط قضیّه بودنِ یک عبارت این است که با اظهار آن عبارتْ حکمی واحد توسّط شخص بیان گردد. در نتیجه، قضایای مرکّب عطفی را نمی توان به عنوان قسمی از انواع قضایا در کنار قضایای حملیه و شرطیه قرار داد؛ زیرا برخلاف طرفین قضایای شرطیه که حین ترکیب فاقد حکم هستند و از این رو به خودیِ خود ارزشِ صدق ندارند، اظهار ترکیبی عطفیْ متضمّنِ، یا حاکی از، چندین حکم بوده و طرفین آن حین ترکیب قابلیت صدق و کذب دارند.