Obrona wolnej woli Tzw. obrona wolnej woli (free will defense) to wyartykułowana najpełniej w The Nature of Necessity próba pokazania braku sprzeczności między istnieniem Boga i istnieniem zła. Stanowi ona odpowiedź na dowody ze zła przeciwko istnieniu Boga rozwijane m.in. przez J L Mackiego.
Modalny dowód ontologiczny Modalny dowód ontologiczny Plantingi to nowoczesna wersja dowodu a priori na rzecz istnienia Boga. Można go podać w następującej wersjiThe Nature of Necessity, s. 214–215.:
(1) (def) maksymalna doskonałość implikuje maksymalną wspaniałość w każdym możliwym świecie.
(2) (def) maksymalna wspaniałość implikuje wszechmoc, wszechwiedzę i moralną doskonałość.
(3) (przesłanka) logicznie możliwe jest, że maksymalna doskonałość jest egzemplifikowana (równoważnie: logicznie możliwe jest, że istnieje byt posiadający maksymalną doskonałość).
Stąd (4) logicznie możliwe jest, że z koniecznością istnieje byt posiadający wszechmoc, wszechwiedzę i moralną doskonałość.
Stąd (przez aksjomat logiki modalnej S5: ) (5) istnieje byt maksymalnie doskonały (równoważnie: istnieje byt wszechmogący, wszechwiedzący i moralnie doskonały w każdym możliwym świecie).