This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

A thorough and closely argued examination of a central issue in philosophical logic, an issue which is shown to have profound implications for the philosophy of language and much of metaphysics.

This chapter presents and critically discusses the main historical variants of the “ontological argument,” a form of a priori argument for the existence of God pioneered by Anselm of Canterbury. I assess the contributions of Anselm, Descartes, Leibniz, and Gödel, and criticisms by Gaunilo, Kant, and Oppy among others.

Kant gave a two-fold answer to the question, ‘Is existence a predicate?’. His view that existence is not a first-level predicate, i.e., a predicate of objects like horses, stones, and you and me, is widely known. What is not so well-known, however, is his claim that existence is a second-level predicate, a predicate of concepts or of a collection of predicates. In this paper I hope to show why his arguments for both claims are unsuccessful.