قضیه معدوله

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

ارسطو در ارگانون، حمل را عین ایجاب دانسته است. ما حمل غیر ایجابی نداریم. سلب در ارگانون، سلب حمل است. هنگامی که مفهومی از شیئی سلب می شود، ما با یک حمل مواجه نیستیم. این مقاله در پی اثبات این نکته است که این عقیدة ارسطو به پارادوکس هایی خواهد انجامید که در متن منطق ارسطویی قابل پاسخ گویی نیستند. و در نهایت، نشان خواهیم داد که این عقیدة ارسطو یکسره نابه جاست و حمل سلبی، در حکم یک بن بست در منطق نیست، بلکه آن نیز امکان دارد. از آنجا که در این مقاله از قاعدة نقض محمول استفاده شده است، و ارسطو مشخصاً این قاعده را نمی پذیرد، برای دفاع از روش شناسی مقاله، این اعتقاد ارسطو تحلیل شده و نادرستی آن، نشان داده خواهد شد. در مجموع، مدعیات مقالة حاضر عبارت است از: (1)حمل و ایجاب یکی نیستند، بلکه ما حمل سلبی نیز داریم. (2) گزاره های موجبة معدوله، برخلاف عقیدة همة منطق دانان قدیم، در واقع ایجابی نیستند، بلکه سلبی اند. (3)نقض محمول، قاعده ای صادق و قابل استفاده برای اهداف منطق قدیم است. (4)قاعدة فرعیة، صادق اما ناقص است و شکل درست آن بدین قرار خواهد بود: «انتساب حکمی ایجابی یا سلبی بر چیزی، فرع بر ثبوت آن چیز است.» به این ترتیب، هر نوع حمل، اعم از ایجابی یا سلبی، نمی تواند بر معدوم انجام گیرد و در نتیجه، گزاره های سالبه به انتفاء موضوع کاذبند.