-
161Ups and Downs in the theory of temporal referenceLinguistics 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
-
26Review: Robert P. McArthur, Tense Logic (review)Journal of Symbolic Logic 45 (1): 184-185. 1980.
-
Conditionals in dr theoryIn Jakob Hoepelman (ed.), Representation and reasoning: proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming, M. Niemeyer Verlag. 1988.
-
124Using Proper Names as Intermediaries Between Labelled Entity RepresentationsErkenntnis 80 (2): 263-312. 2015.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
-
316From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation TheoryKluwer Academic Publishers. 1993.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 ...
-
90Quantifiers Defined by Parametric ExtensionsJournal 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.
Austin, Texas, United States of America