•  161
    Ups and Downs in the theory of temporal reference
    with Uwe Reyle and Antje Rossdeutscher
    Linguistics and Philosophy 30 (5): 565-635. 2007.
    This paper proposes a method for computing the temporal aspects of the interpretations of a variety of Germa sentences. The method is strictly modular in the sense that it allows each meaning-bearing sentence constituent to make its own, separate, contribution to the semantic representation of any sentence containing it. The semantic representation of a sentence is reached in several stages. First, an ‘initial semantic representation’ is constructed, using a syntactic analysis of the sentence as…Read more
  •  26
    Review: Robert P. McArthur, Tense Logic (review)
    Journal of Symbolic Logic 45 (1): 184-185. 1980.
  •  124
    This paper studies the uses of proper names within a communication-theoretic setting, looking at both the conditions that govern the use of a name by a speaker and those involved in the correct interpretation of the name by her audience. The setting in which these conditions are investigated is provided by an extension of Discourse Representation Theory, MSDRT, in which mental states are represented as combinations of propositional attitudes and entity representations . The first half of the pap…Read more
  •  316
    Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than ...
  •  90
    Quantifiers Defined by Parametric Extensions
    Journal of Philosophical Logic 46 (2): 169-213. 2017.
    This paper develops a metaphysically flexible theory of quantification broad enough to incorporate many distinct theories of objects. Quite different, mutually incompatible conceptions of the nature of objects and of reference find representation within it. Some conceptions yield classical first-order logic; some yield weaker logics. Yet others yield notions of validity that are proper extensions of classical logic.