برهان وجودی پلانتینگا بر پایه منطق موجهات جدید

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

کلیدواژه ها:

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