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)

What are biological species? Aristotelians and Lockeans agree that they are natural kinds; but, evolutionary theory shows that neither traditional philosophical approach is truly adequate. Recently, Michael Ghiselin and David Hull have argued that species are individuals. This claim is shown to be against the spirit of much modern biology. It is concluded that species are natural kinds of a sort, and that any 'objectivity' they possess comes from their being at the focus of a consilience of inductions.

Definite descriptions, I shall argue, have two possible functions. 1] They are used to refer to what a speaker wishes to talk about, but they are also used quite differently. Moreover, a definite description occurring in one and the same sentence may, on different occasions of its use, function in either way. The failure to deal with this duality of function obscures the genuine referring use of definite descriptions. The best known theories of definite descriptions, those of Russell and Strawson, (...) I shall suggest, are both guilty of this. Before discussing this distinction in use, I will mention some features of these theories to which it is especially relevant. (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.

_Naming and Necessity_ has had a great and increasing influence. It redirected philosophical attention to neglected questions of natural and metaphysical necessity and to the connections between these and theories of naming, and of identity. This seminal work, to which today's thriving essentialist metaphysics largely owes its impetus, is here reissued in a newly corrected form with a new preface by the author. If there is such a thing as essential reading in metaphysics, or in philosophy of language, this is (...) it. (shrink)

‘A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these serve much the same purpose as is served by experiments in physical science.’ This paper is an attempt to follow Russell’s advice by using a puzzle about the contingent a priori to test and explore certain theories of reference and modality. No one could claim that (...) the puzzle is of any great philosophical importance by itself, but to understand it, one has to get clear about certain aspects of the theory of reference; and to solve it, one has to think a little more deeply than one is perhaps accustomed about what it means to say that a statement is contingent or necessary. (shrink)

This highly acclaimed book is a major contribution to the philosophy of language as well as a systematic interpretation of Frege, indisputably the father of ...

What are biological species? Aristotelians and Lockeans agree that they are natural kinds; but, evolutionary theory shows that neither traditional philosophical approach is truly adequate. Recently, Michael Ghiselin and David Hull have argued that species are individuals. This claim is shown to be against the spirit of much modern biology. It is concluded that species are natural kinds of a sort, and that any 'objectivity' they possess comes from their being at the focus of a consilience of inductions.

Isometry hypotheses are propositions that assert the constancy of a specific physical magnitude of a system under prescribed conditions. This paper addresses the controversy concerning the conventionality of this type of hypotheses. It discusses several instances of isometry hypotheses and it is shown that experimental facts can be invoked to criticise (or "refute") isometry hypotheses, just as other types of hypotheses. This proves that isometry hypotheses, and the choices of measurement standards that are grounded in such hypotheses, are not merely (...) conventional. (shrink)