پرایور

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