روش اصل موضوعی و روایت پلانتینگا از برهان آنسلم

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