استنتاج نتایج ضروری در ضربهایی با یک مقدمه ضروری، مسأله‌ای درموجهات ارسطو

Abstract

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