چکیده:
انتقادهای فراوانی به نظام قیاسهای موجه ارسطو وارد شده است. برخی از منطقیون تلاش کرده اند تا صورتبندی مناسب و رضایت بخشی از کل این نظام ارائه دهند، ولی هیچ یک از این کوششها قرین توفیق نبوده است. به همین دلیل، منطق- دانانی در صدد برآمدند تا تنها در مورد بخشهایی از این نظام که بیشتر مورد مناقشه بوده، تبیین مناسبی ارائه دهند. مناقشه انگیزترین بخش این نظام که به مساله «دو باربارا» مشهور است، در مورد این ادعای ارسطو است که ضرب هایی دارای کبرای ضروری و صغرای مطلقه نتیجه ضروری می دهند، در حالی که ضرب های دارای کبرای مطلقه و صغرای ضروری نتیجه ضروری نمی دهند. برخی از منطق دانان این نظر ارسطو را پذیرفته اند، برخی هر دو نوع ضرب را دارای نتیجه ضروری دانسته اند و برخی نیز نتیجه هر دو نوع ضرب را مطلقه اعلام و هر یک برای نظر خود دلایلی ارائه کرده اند. رشر در حمایت از نظر ارسطو موفق است و علاوه بر تبیین این مساله، سازگاری آن را با دیگر نظرات ارسطو نشان می دهد.
خلاصه ماشینی:
"ارسطو برای اعتبار اولی )LLX( در شکل اول دلیلی ارائه نمیدهد و تنها میگوید:«چون وقتی A ضرورتا متعلق به همۀ B ها باشد(یا نباشد)و C یکی از B ها باشد،روشن است که رابطۀ سلبی یا ایجابی C با A هم ضروری خواهد بود.
استدلالهای ارسطو برای اثبات اعتبار به دو طریق است: 1-از طریق عکس و برگرداندن ضرب موردنظر به یکی از ضروب کامل،مثلا در مورد LLX eraseC چنین عمل میشود: میخواهیم اثبات کنیم این قیاس معتبر است: همه C ها B هستند.
نتایج به دست آمده ارسطو را میتوان در این جدول خلاصه کرد )9:3691,llaCcM( (به تصویر صفحه مراجعه شود) الف-کسانی که هم LXL و هم LLX را معتبر میدانند: لوکاسیه ویچ معتقد است هردو ضرب معتبرند )681:2791,ciweisali: ).
کوششهای قبلی برای فرمولبندی قیاسهای موجه ارسطو(مخصوصا لوکاسیه ویچ و مک کال)هم به صراحت aaA *را نفی کردهاند )36:3691,llACcaM & 091:2791,zciweisakuL( بههرحال،در این سیستم نمیتوان اعتبار arabraB LXL و قضیه بودن aaAL را باهم داشت وگرنه منطق موجهات از میان خواهد رفت،چون aaA معادل aaA *خواهد شد و تمایزی میان اینها نخواهد ماند.
به نظر میرسد راه حلی که رشر برای حل این مسأله ارائه کرده،از راههای دیگر موفقتر است،چون اولا در عین پذیرش تمایز موردنظر ارسطو میان دو باربارا،در مورد عکس گزارهها مشکلی ایجاد نمیکند؛ثانیا با سایر بخشهای منطق ارسطو(اینکه aaA ضروری نیست و اینکه در تحلیل ثانی ضروری بودن دو مقدمه برای اخذ نتیجه ضروری لازم است)هماهنگی کامل دارد."