A critical study of Plantinga's views on the truth and reasonability for belief in God on the basis of ontological proofs

Planting has attended the problem of God in two modes: provability and justifiability. The former has been attended by this paper. He has taken two considerable steps in this aspect. Planting has studied cosmological, teleological and ontological proofs critically at first and then, proposing a new form of ontological proof on thebasis of modal logic, he tried to cinclude that though this proof does not necessitates belief in a necessary being, it leads to the reasonability of the belief. This paper has examined Plantinga‘s view on ontological proof and criticized some of his considerations.