The arguement is developed by means of the notion of possible worlds and ranges over key problems including the nature of essence, trans-world identity, negative existential propositions, and the existence of unactual objects in other possible worlds. In the final chapters Professor Plantinga applies his logical theories to the elucidation of two problems in the philosophy of religion: the Problem of Evil and the Ontological Arguement. The first of these, the problem of reconciling the moral perfection and omnipotence of God with the existence of evil, can, he concludes, be resolved, and the second given a sound formulation. The book ends with an appendix on Quine's objection to quantified modal logic.

    

    The structure and key elements of Husserl's philosophy are analyzed in this chronological examination of his doctrines.