This is the 1991 (2nd) edition of the 1986 book (MIT Press), considered to be the classic defense of Millianism. The nature of the information content of declarative sentences is a central topic in the philosophy of language. The natural view that a sentence like "John loves Mary" contains information in which two individuals occur as constituents is termed the naive theory, and is one that has been abandoned by most contemporary scholars. This theory was refuted originally by philosopher Gottlob (...) Frege. His argument that the naive theory did not work is termed Frege's puzzle, and his rival account of information content is termed the orthodox theory. In this detailed study, Nathan Salmon defends a version of the naive theory and presents a proposal for its extension that provides a better picture of information content than the orthodox theory gives. He argues that a great deal of what has generally been taken for granted in the philosophy of language over the past few decades is either mistaken or unsupported, and consequently, much current research is focused on the wrong set of questions. Salmon dissolves Frege's puzzle as it is usually formulated and demonstrates how it can be reconstructed and strengthened to yield a more powerful objection to the naive theory. He then defends the naive theory against the new Frege puzzle by presenting an idea that yields both a surprisingly rich and powerful extension of the naive theory and a better picture of information content than that of the original orthodox theory. Nathan Salmon is Professor of Philosophy, University of California at Santa Barbara. (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.

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

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 is the second edition of an award-winning 1981 book (Princeton University Press and Basil Blackwell, based on the author’s doctoral dissertation) considered to be a classic in the philosophy of language movement known variously as the New Theory of Reference or the Direct-Reference Theory, as well as in the metaphysics of modal essentialism that is related to this philosophy of language.

This book tackles the issues that arise in connection with intensional logic -- a formal system for representing and explaining the apparent failures of certain important principles of inference such as the substitution of identicals and existential generalization -- and intentional states --mental states such as beliefs, hopes, and desires that are directed towards the world. The theory offers a unified explanation of the various kinds of inferential failures associated with intensional logic but also unifies the study of intensional contexts (...) and intentional states by grounding the explanation of both phenomena in a single theory. When an axiomatized realm of abstract entities is added to the metaphysical structure of the world, we can use them to identify and individuate the contents of directed mental states. The special abstract entities can be viewed as the objectified contents of mental files, and they play a crucial role in the analysis of truth conditions of the sentences involved in inferential failures. (shrink)

In this book, Zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing begins. The main reason for (...) producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. (shrink)

Those who object to David Lewis' modal realism express qualms about philosophical respectability of the Lewisian notion of a possible world and its correlate notion of an inhabitant of a possible world. The resulting impression is that these two notions either stand together or fall together. I argue that the Lewisian notion of a possible world is otiose even for a good Lewisian modal realist, and that one can carry out a good Lewisian semantics for modal discourse without Lewisian possible (...) worls. I do so by generalizing Lewis' own idea that restrictions on quantification come and go with the pragmatic wind and relativizing possible worlds as shifting domains of discourse. I then suggest a way to soften the infamous incredulous stare. (shrink)

This essay re-examines Meinong's "Über Gegenstandstheorie" and undertakes a clarification and revision of it that is faithful to Meinong, overcomes the various objections to his theory, and is capable of offering solutions to various problems in philosophy of mind and philosophy of language. I then turn to a discussion of a historically and technically interesting Russell-style paradox (now known as "Clark's Paradox") that arises in the modified theory. I also examine the alternative Meinong-inspired theories of Hector-Neri Castañeda and Terence Parsons.

Natural languages differ from most formal languages in having a partial, rather than a total, semantic interpretation function; e.g., some noun phrases don't refer. The usual semantics for handling such noun phrases (e.g., Russell, Quine) require syntactic reform. The alternative presented here is semantic expansion, viz., enlarging the range of the interpretaion function to make it total. A specific ontology based on Meinong's Theory of Objects, which can serve as domain on interpretation, is suggested, and related to the work of (...) Castaneda, Frege, Katz and Fodor, Parsons, and Scott. (shrink)

Natural languages differ from most formal languages in having a partial, rather than a total, semantic interpretation function; e.g., some noun phrases don't refer. The usual semantics for handling such noun phrases (e.g., Russell, Quine) require syntactic reform. The alternative presented here is semantic expansion, viz., enlarging the range of the interpretaion function to make it total. A specific ontology based on Meinong's Theory of Objects, which can serve as domain on interpretation, is suggested, and related to the work of (...) Castaneda, Frege, Katz and Fodor, Parsons, and Scott. (shrink)

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)

In this book Terence Parsons revives the older tradition of taking such objects at face value. Using various modern techniques from logic and the philosophy of language, he formulates a metaphysical theory of nonexistent objects. The theory is given a formalization in symbolism rich enough to contain definite descriptions, modal operators, and epistemic contexts, and the book includes a discussion which relates the formalized theory explicitly to English.

It has been maintained that we are quite able to express (1*)–(4*) without the introduction of a dyadic deontic operator, provided only that we supply our standard deontic logic with a stronger conditional than material implication. The lesson learned from Chisholm's paradox has been the eminently convincing, indeed obvious, one: that what we ought to do is not determined by what is the case in some perfect world, but by what is the case in the best world we can ‘get (...) to’ from this world. What we ought to do depends upon how we are circumstanced. (shrink)

This paper traces the course of Prior’s struggles with the concepts and phenomena of modality, and the reasoning that led him to his own rather peculiar modal logic Q. I find myself in almost complete agreement with Prior’s intuitions and the arguments that rest upon them. However, I argue that those intuitions do not of themselves lead to Q, but that one must also accept a certain picture of what it is for a proposition to be possible. That picture. though, (...) is not inevitable. Rather, implicit in Prior’s own account is an alternative picture that has already appeared in various guises, most prominently in the work of Adams, Fine, Deutsch, and Almog. I, too, will opt for this alternative, though I will spell it out rather differently than these philosophers. I will then show that, starting with the alternative picture, Prior’s intuitions can lead instead to a much happier and more standard quantified modal logic than Q. The last section of the paper is devoted to the formal development of the logic and its metatheory. (shrink)

In this paper I rehearse two central failings of traditional possible world semantics. I then present a much more robust framework for intensional logic and semantics based liberally on the work of George Bealer in his book Quality and Concept. Certain expressive limitations of Bealer's approach, however, lead me to extend the framework in a particularly natural and useful way. This extension, in turn, brings to light associated limitations of Bealer's account of predication. In response, I develop a more general (...) and intuitively more adequate account of the logical form of predication. (shrink)

Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for insight into the (...) modal structure of reality. For possible world semantics, it is supposed, commits one to possibilism. In this paper I take issue with this view. To the contrary, I argue that one can take possible world semantics seriously without any commitment to possible worlds or possibilism and hence remain in full compliance with actualist scruples. Moreover, one can do so without without invoking either "ersatz" worlds or haecceities. (shrink)

Actualists who believe in possible worlds typically regard them as "abstract" objects of some special sort. For example, Alvin Plantinga takes worlds to be maximal possible states-of-affairs, all of which "exist", as actualism requires, but only one of which "obtains". Views like Plantinga's run into difficulty in the interpretation of statements of "iterated" modality, statements about what is "possible" for individuals that "could" exist but that do not actually exist. These statements seem to require the existence of "singular" states-Of-affairs that (...) have nonactual individuals as constituents, a requirement that is incompatible with actualism. One can try to avoid the troublesome singular states-of-affairs by introducing "unexemplified individual essences" and maintaining that these are the true constituents of the required states-of-affairs, rather than the nonactual possibles themselves. However, serious arguments are raised against this employment of individual essences. (shrink)

The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have introduced variations (...) on Kripke-models to eliminate their objectionable features, the most well-known variations all have difficulties of their own. The present authors reexamine simple QML and discover that, in addition to having a possibilist interpretation, it has an actualist interpretation as well. By introducing a new sort of existing abstract entity, the contingently nonconcrete, they show that the seeming drawbacks of the simplest QML are not drawbacks at all. Thus, simple QML is independent of certain metaphysical questions. (shrink)

Counterfactuals is David Lewis' forceful presentation of and sustained argument for a particular view about propositions which express contrary to fact conditionals, including his famous defense of realism about possible worlds and his theory of laws of nature.

I hear the patter of little feet around the house, I expect Bruce. What I expect is a cat, a particular cat. If I heard such a patter in another house, I might expect a cat but no particular cat. What I expect then seems to be a Meinongian incomplete cat. I expect winter, expect stormy weather, expect to shovel snow, expect fatigue---a season, a phenomenon, an activity, a state. I expect that someday mankind will inhabit at least five planets. (...) This time what I expect is a state of affairs. If we let surface grammar be our guide, the objects of expectation seem quite a miscellany. The same goes for belief, since expectation is one kind of belief. The same goes for desire: I could want Bruce, want a cat but no particular cat, want winter, want stormy weather, want to shovel snow, want fatigue, or want that someday mankind will inhabit at least five planets. The same goes for other attitudes to the extent that they consist partly of beliefs or desires or lacks thereof. But the seeming diversity of objects might be an illusion. Perhaps the objects of attitudes are uniform in category, and it is our ways of speaking elliptically about these uniform objects that are diverse. That indeed is our consensus. We mostly think that the attitudes uniformly have propositions as their objects. That is why we speak habitually of "propositional attitudes.". (shrink)