سیدمجید ظهیری - عضو هییت علمی پژوهشگاه علوم و فرهنگ اسلامی

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

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