سالبه المحمول

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

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