According to the prevalent 'sum view' of stuffs, each portion of stuff is a mereological sum of its subportions. The purpose of this paper is to re-examine the sum view in the light of a modal temporal mereology which distinguishes between different varieties of summation relations. While admitting David Barnett's recent counter-example to the sum view, we show that there is nonetheless an important sense in which all portions of stuff are sums of their subportions. We use our summation relations (...) to develop, as an alternative to the sum view, an analysis of stuffs that distinguisher between the ways in which different sorts of stuffs are sums of their subportions. (shrink)

Two main methods for analysing de re readings of definite descriptions in intensional contexts coexist: that of evaluating the description in the actual world, whether by means of scope, actuality operators, or non-local world binding, and that of substituting another description, usually one expressing a salient or ‘vivid’ acquaintance relation to an attitude holder, prior to evaluation. Recent work on so-called descriptive indexicals suggests that contrary to common assumptions, both methods are needed, for different ends. This paper aims to show (...) that there is indeed a division of labour between the two methods of analysis and to identify criteria for choosing among alternative ways to model the second, substitutional method. (shrink)

The perfect fit of syntactic derivability and logical consequence in first-order logic is one of the most celebrated facts of modern logic. In the present flurry of attention given to the semantics of natural language, surprisingly little effort has been focused on the problem of logical inference in natural language and the possibility of its completeness. Even the traditional theory of the syllogism does not give a thorough analysis of the restricted syntax it uses.My objective is to show how a (...) theory of inference may be formulated for a fragment of English that includes a good deal more than the classical syllogism. The syntax and semantics are made as formal and as explicit as is customary for artificial formal languages. The fragment chosen is not maximal but is restricted severely in order to provide a clear overview of the method without the cluttering details that seem to be an inevitable part of any grammar covering a substantial fragment of a natural language. (Some readers may feel the details given here are too onerous.). (shrink)

It is shown that a linguistically well-motivated semantical analysis of certain extensions of categorical sentences is compatible with a semantics that fulfils the so-called existential import condition, but is not compatible with a semantics that does not fulfil this condition.

Cet ouvrage est consacre a l'etude de la distinction linguistique entre noms massifs (lait, mobilier, desordre, amour...) et noms comptables (chat, equipe, combat, chose...). Les premiers sont normalement invariables, tandis que les seconds s'emploient librement au singulier et au pluriel. Apres avoir etabli qu'il s'agit bien d'une distinction morpho-syntaxique, l'ouvrage discute la possibilite de caracteriser semantiquement cette distinction. Les recherches existantes ne tiennent compte, essentiellement, que des noms s'appliquant au domaine materiel. Ce travail, au contraire, examine en detail aussi bien (...) les noms concrets qu'abstraits. Il propose de redefinir les proprietes souvent attribuees aux noms massifs (references distributive et cumulative), grace, notamment, a une nouvelle notion de partie. Concernant les noms comptables, il montre qu'aucune propriete purement semantique n'est necessaire pour qu'un nom soit de ce type. L'ouvrage se termine par l'analyse des conversions (emplois massifs des noms comptables, et vice versa), et du role qu'y jouent les facteurs pragmatiques. (shrink)

The main result in this paper is a method for obtaining derivation trees from sentences of certain formal grammars. No parsing algorithm was previously known to exist for these grammars.Applied to Montague's PTQ the method produces all parses that could correspond to different meanings. The technique directly addresses scope and reference and provides a framework for examining these phenomena. The solution for PTQ is implemented in an efficient and useful computer program.