شاه‌برهان؛ پشتوانة موجهات دئودوروس

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