پلانتینگا با نقد مفهوم توجیه از نظر معرفت شناسی، مفهوم تضمین را معرفی مطرح نمود. او پس از ذکر مؤلفههای بهکاررفته در این مفهوم، بار اصلی را بر دوش مفهوم «کارکرد صحیح» میاندازد و این مفهوم را به باورهای دینی، از جمله باور به خدا بسط میدهد. از اینرو وی سعی میکند با جستجوی الگویی، تضمین باور به خدا را با توجه به آرای «آکویناس» و «کالون» در قالب مدلی بهنام «A/C» با چهار ویژگی سامان بخشد و از خاستگاه این مدل ادعا کند در انسان، نوعی گرایش طبیعی و فطری به خدا وجود دارد که در شرایط خاص، باور به خدا را تولید میکند و در صورت صدق، احتمال تضمین آن بسیار زیاد است. براساس این نگاه، خداباوری در موضعی قویتر از طبیعتگرایی قرار میگیرد؛ زیرا اگر طبیعتگرایی صادق باشد، نمیتوان احتمال تضمین باور به آن را بالا دانست. این مقاله با تبیین و تحلیل مدل فوق، به پیشفرضها و نتایج این مدل و سپس نقدهای واردشده بر آن می پردازد.
