This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

Quantification into modal contexts depends on cross-Identifications of individuals between possible worlds, Which in turn depends on the structure and interrelations of these worlds. There is hence no guarantee that cross-Identification always succeeds. It will fail for the worlds needed for realistic applications of logical modalities, Partly vindicating quine's criticism of them. In general, World lines of individuals cannot always be extended from a world to others.

somewhat like Henkin's nonstandard interpretation of higher-order logics, while the right semantics [or logical modalities is an analogue to the standard of type theory in Henkin's sense. interpretation Another possibility would be to follow W.V. Quine's advice to give up logi­ cal modalities as being beyond repair. Or we could also try to develop a logic of conceptual possibility, restricting the range of our "possible worlds" to those compatible with the transcendental presuppositions of our own conceptual sys­ tem. This looks (...) in fact like one of the most interesting possible theories I have dreamt of developing but undoubtedly never will. Its kinship with Kant's way of thinking should be obvious. Besides putting the entire enterprise of possible-worlds semantics into a perspective, we can also see that the actual history of possible-worlds seman­ tics is more complicated than it might first appear to be. For the standard in­ terpretation of modal logics has reared its beautiful head repeatedly in the writings of Stig Kanger, Richard Montague the pre-Montague-semantics theorist, and Nino Cocchiarella. (shrink)

The so-called New Theory of Reference (Marcus, Kripke etc.) is inspired by the insight that in modal and intensional contexts quantifiers presuppose nondescriptive unanalyzable identity criteria which do not reduce to any descriptive conditions. From this valid insight the New Theorists fallaciously move to the idea that free singular terms can exhibit a built-in direct reference and that there is even a special class of singular terms (proper names) necessarily exhibiting direct reference. This fallacious move has been encouraged by a (...) mistaken belief in the substitutional interpretation of quantifiers, by the myth of thede re reference, and a mistaken assimilation of direct reference to ostensive (perspectival) identification. Thede dicto vs.de re contrast does not involve direct reference, being merely a matter of rule-ordering (scope).The New Theorists' thesis of the necessity of identities of directly referred-to individuals is a consequence of an unmotivated and arbitrary restriction they tacitly impose on the identification of individuals. (shrink)

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)