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

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