Chapter One: Constructions. Entities, constructions, and functions When one travels from Los Angeles to New York, going, say, by way of St. Louis, Chicago, ...

Intensions feature prominently among the entities we talk about.

In his article "world and essence" ("phil. Rev." 1970, Pages 461-492) plantinga submitted that (a) individuals have essences and (b) the essence of an individual is a non-Trivial property which can be completely known only to god. In my note it is shown that on plantinga's own definitions each individual x has exactly one essence, The trivial property of x-Identity. Thus (b) fails.

The first amounts, roughly, to "It is necessarily the case that any President of the U.S. is a citizen of the U.S." But the second says, "the person who in fact is the President of the U.S, has the property of necessarily being a citizen of the U.S," Thus, while (2) is clearly true, it would be reasonable to consider (3) false.

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)

Kaplan, Stalnaker and Wettstein all urge a two-stage theory of language whereon the propositions expressed by sentences are generated prior to being evaluated. A new ambiguity for sentences emerges, propositional rather syntactic or semantic. Kaplan and Wettstein then propose to explain Donnellan's referential/attributive ambiguity as simply being two-stage propositional ambiguity. This is tacitly seen as further confirmation for two-stage theory. Modal ambiguities are prime motivators for two-stage theory which distinguishes local from exotic evaluation to explain them. But if sentences can (...) be found which exhibit both modal and referential/attribute ambiguity, an apparent paradox arises for a two-stage account. The theory recognizes both singular and general propositions, in Kaplan's senses. But reflecting one sense of such a doubly ambiguous sentence, two-stage theory would seem to need a proposition both singular and general with respect to a definite description attributively used. Since modal operators will come into rendering the problem sentences, an obvious idea is to let scope distinctions rescue two-stage theory from the apparent paradox. But while a rescue based on multiple renderings is proposed, it is not strictly a scope rescue, though different scopes are involved. Readers are asked to trust the author on missing formalities of an intuitively transparent two-sorted modal language that is employed. Two-stage theorists explicitly oppose scope treatments of modal ambiguities seeing them as rivals. Stalnaker, in particular, argues against them. But his arguments are shown not to count against the proposed rescue, on which the anticipated rivalry proves to be minimal. (shrink)

This paper defendsintensional essentialism: a property (intensional entity) is not essential relative to an individual (extensional entity), but relative to other properties (or intensional entities). Consequently, an individual can have a property only accidentally, but in virtue of having that property the individual has of necessity other properties. Intensional essentialism is opposed to various aspects of the Kripkean notion of metaphysical modality, eg, varying domains, existence as a property of individuals, and its category of properties which are both empirical and (...) essential with respect to particular individuals and natural kinds. The key notion of intensional essentialism isrequisite. A requisite is explicated as a relation-in-extension between two intensions (functions from possible worlds and moments of time)X, Y such that wherever and wheneverX is instantiatedY is also instantiated. We predict three readings of the sentence. Every wooden table is necessarily wooden , one involving modalityde re and the other two modalityde dicto. The first reading claims that no individual which is a wooden table is necessarily wooden. The claim is backed up by bare particular anti-essentialism. The two other interpretations claim that it is necessary that whatever is a wooden table is wooden. However, as we try to show, one is logically far more perspicuous thanks to the concept of requisite and thus preferable to more standardde dicto formalizations. (shrink)

It is not quite as easy to see that there is in fact no formula of this modal language having the same truth conditions (in terms of S5 Kripke semantics) as (1). This was rst conjectured by Allen Hazen2 and later proved by Harold Hodes3. We present a simple direct proof of this result and discuss some consequences for the logical analysis of ordinary modal discourse.