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

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