In the spring of 1978, one of the authors of this book was sitting in on a course in logic for linguists given by the other author. In attempting to present some of Montague's insights in an elementary way, the authors began dis cussions aimed towards the construction of a simple model-theoretical semantic apparatus which could be applied directly to a small English-like language and used to illustrate the methods of formal logical interpretation. In these discussions two points impressed themselves (...) on us. First, our task could be simplified by using boolean algebras and boolean homomorphisms in the models; and second, the boolean approach we were developing had much more widespread relevance to the logical structure of English than we first thought. During the summer and fall of 1978 we continued work on the system, proving the more fundamental theorems and outlining the way in which an intensional interpretation scheme could be developed which made use of the boolean approach. We presented our findings in a monograph which the UCLA Linguistics Department kindly published as part of their series called Occa sional Papers in Linguistics; one of the authors also presented the system at a colloquium held at the Winter Meeting of the Linguistic Society of America in December 1978. (shrink)

Keenan (1987) observed that trivial determiners built from basic existential determiners (e.g.,either zero or else more than zero) are allowed inthere-insertion contexts, and that trivial determiners built from basic non-existential determiners (e.g.,either all or else not all) are not. This result is unexpected under the analyses ofthere-sentences proposed in Barwise and Cooper (1981), Higginbotham (1987), and Keenan (1987). I argue that the class of NPs barred from the postverbal position ofthere-sentences (strong NPs) is correctly characterized in presuppositional terms, as suggested (...) in de Jong and Verkuyl (1985) and Lumsden (1988). According to this characterization, strong NPs share one of the defining components of definiteness proposed in Heim (1982), namely the Descriptive Content Condition (DCC). How to derive the prohibition against strong NPs inthere-insertion contexts (definiteness effect) from the fact that strong NPs meet the DCC is not obvious, however. I argue that accounting for this prohibition involves regarding the XP-coda in [there be NP XP] as providing the contextual domain for the interpretation of the postverbal NP. (shrink)

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 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 need not tolerate such entities as pains, events, tasks, and obligations. They are indeed not required in connection with sentences like ‘Jones has a pain’, ‘the event of the sun’s rising occurred at eight’, ‘Jones performed at eight the task of lifting a stone’, or ‘Jones has the obligation to give Smith a horse’, which can be paraphrased without reference to the entities in question—for instance, in the case of the second example, as ‘the (...) sun rose at eight’. (shrink)

This thesis is divided into two parts. Part I consists of a discussion of how a Davidsonian semantic theory might be enriched by some of the resources of modern linguistic theory. Two chapters are found in this part of the dissertation. Chapter 1 sets up the general theoretical framework, discussing the Davidsonian program and showing how the task of semantic theory is to define a truth predicate off of the LF representations of natural language sentences. Chapter 2 sketches the shape (...) that such a formal truth predicate might take. Special attention is given to natural language quantification and to attributive modifiers. ;Part II of the thesis focuses on a problem that has taken up much attention from those doing semantics within the model-theoretic tradition, namely the problem of the attitudes. Much of their work has proceeded under the assumption that such problems can only be treated in a semantic theory endowed with a fairly rich model theory and a possible world ontology. Part II of this thesis may be regarded as an attempt not so much to show an error in the model-theoretic approach, but merely to show that there is an alternative. ;We focus only on a certain class of attitude reports in this thesis, namely "referential attitude reports". These are distinguished from propositional attitudes, in that there is no "that-clause" signaling the intensional environment. Typical examples of referential attitudes include sentences like 'John seeks a donkey' and 'Bill is hoping for the fastest bus'. ;Two difficulties arise for any treatment of referential attitudes. First, there is the problem of how one is to get what is sometimes called the "non-specific" or "attributive" reading. It is this problem that takes up our attention in chapter 3. The second problem concerns the "specific" readings of referential attitude reports, particularly when it seems that the object of intention is non-existent . This problem is addressed in chapter 4. (shrink)