حمليه مرددهْْ المحمول

Hamliyya Muraddat al-Mahmul Proposition

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

Hamliyya Muraddat al-Mahmul (a categorical predication with alternate predicate is a predicative proposition whose predicate contains disjunction. Hamliyya Muraddat al-Mahmul must not be confused with disjunctive conditional proposition. This is because sometimes Hamliyyat Muradda al-Mahmul holds whereas disjunctive conditional proposition that corresponds with it does not. In an article, Ibrahim Bazargani and Askari Sulaimani Amiri have fully elaborated on this kind of predicative proposition, enunciating its history and peculiarities. Having specified the innovations of their work, the present article shows its flaws and tries to remove them. Similarly, it further unveils the characteristics of Hamliyya Muraddat al-Mahmul with the help of modern logic and compares it with various kinds of adjunctive predications.