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)

This is identical with the first edition (see 21: 2716) except for the addition of a Supplement containing 5 previously published articles and the bringing of the bibliography (now 73 items) up to date. The 5 added articles present clarifications or modifications of views expressed in the first edition. (PsycINFO Database Record (c) 2009 APA, all rights reserved).

In this paper I argue against the commonly received view that Kripke's formal Possible World Semantics (PWS) reflects the adoption of a metaphysical interpretation of the modal operators. I consider in detail Kripke's three main innovations vis-à-vis Carnap's PWS: a new view of the worlds, variable domains of quantification, and the adoption of a notion of universal validity. I argue that all these changes are driven by the natural technical development of the model theory and its related notion of validity: (...) they are dictated by merely formal considerations, not interpretive concerns. I conclude that Kripke's model theoretic semantics does not induce a metaphysical reading of necessity, and is formally adequate independently of the specific interpretation of the modal operators. (shrink)

Much has happened in modal logic since 1947. In particular, in regard to the problem of interpreting such logics. In that fateful year Quine published his seminal paper “The Problem of Interpreting Modal Logic” from which this work takes inspiration. Since then a certain kind of model theory – universally referred to as “possible worlds semantics” – has come to dominate both advanced research and introductory textbooks. Many would say that the problem of interpreting modal logic has been resolved. In (...) the work below I argue that some of the 1947 problems raised by Quine have indeed been resolved by the possible worlds model theory. But I also claim – perhaps against common perception, but in line with Quine’s persisting fifty-year-old skepticism – that one problem of Quine’s original paper is still alive: the problem of interpreting modal logic. Surprisingly, Quine’s best ally on these matters turns out to be the very philosopher who engineered the possible worlds model theory: Saul Kripke. (shrink)

A transcript of three lectures, given at Princeton University in 1970, which deals with (inter alia) debates concerning proper names in the philosophy of language.

It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...) modal terms or even to be regarded as extensionally equivalent to a modal notion. The one notion is, if I am right, a highly refined version of the other; it is like a sieve which performs a similar function but with a much finer mesh. (shrink)

"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence.

Reprinted in Quine, W. V. O. 1966. The Ways of Paradox. (New York: Random House.).

This chapter aims to resolve some of Nathan Salmon's puzzlement by clarifying the relationship between theses and questions about reference and theses and questions about necessity and possibility. It argues that while Saul Kripke defends metaphysical theses about the descriptive semantics of names, the way the reference relation is determined, and the capacities and dispositions of human beings and physical objects, his most important philosophical accomplishment is in the way he posed and clarified the questions, and not in the particular (...) answers that he gave to them. In response to the question about the capacities and potentialities of the things that peoples commonly refer to with names, Kripke defends the thesis that it makes sense to talk about the logical potential of an individual thing independently of how it is referred to, and that this potential is greater in certain ways, and less great in others, than some philosophers have supposed. (shrink)

Particular possibilities -- such as that this particular chair occupy the only vacant corner of my office -- are commonly supposed to depend on what actual things there are and what they are like, whereas general possibilities -- such as that some chair or other occupy some vacant corner or other of some office or other -- are commonly supposed not to be so dependent. I articulate a different conception whereby general possibilities are no less determined by what actual things (...) there are and what they are like than particular possibilities. Ramifications of this approach are highlighted and brought to bear on a problem often raised for actualist essentialism. (shrink)

Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of fact, and truth which are synthetic, or grounded in fact. The other dogma is reductionism: the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience. Both dogmas, I shall argue, are ill founded. One effect of abandoning them is, as (...) we shall see, a blurring of the supposed boundary between speculative metaphysics and natural science. Another effect is a shift toward pragmatism. (shrink)

This introduction to modality places the emphasis on the metaphysics of modality rather than on the formal semetics of quantified modal logic. The text begins by introducing students to the "de re/de dicto" distinction, conventionalist and conceptualist theories of modality and some of the key problems in modality, particularly Quine's criticisms. It then moves on to explain how possible worlds provide a solution to many of the problems in modality and how possible worlds themselves have been used to analyse notions (...) outside modality such as properties and propositions. Possible worlds introduce problems of their own and the book argues that to make progress with these problems a theory of possible worlds is required. The pros and cons of various theories of possible worlds are then examined in turn, including those of Lewis, Kripke, Adams, Stalnaker and Plantinga. (shrink)