صدق حملیه

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