In his discussion of natural theology (arguments to prove the existence of God) and natural atheology (arguments for the falsehood of theistic belief) Plantinga focuses on two of the traditional arguments: the ontological argument as an example of natural theology, and the problem of evil as the most important representative of natural atheology.
