•  79
    Agnostic hyperintensional semantics
    Synthese 192 (3): 535-562. 2015.
    A hyperintensional semantics for natural language is proposed which is agnostic about the question of whether propositions are sets of worlds or worlds are sets of propositions. Montague’s theory of intensional senses is replaced by a weaker theory, written in standard classical higher-order logic, of fine-grained senses which are in a many-to-one correspondence with intensions; Montague’s theory can then be recovered from the proposed theory by identifying the type of propositions with the type…Read more
  •  60
    A Higher-Order Theory of Presupposition
    with Scott Martin
    Studia Logica 100 (4): 727-751. 2012.
    So-called 'dynamic' semantic theories such as Kamp's discourse representation theory and Heim's file change semantics account for such phenomena as cross-sentential anaphora, donkey anaphora, and the novelty condition on indefinites, but compare unfavorably with Montague semantics in some important respects (clarity and simplicity of mathematical foundations, compositionality, handling of quantification and coordination). Preliminary efforts have been made by Muskens and by de Groote to revise a…Read more
  •  39
    The domain of set-valued feature structures
    with M. Andrew Moshier
    Linguistics and Philosophy 17 (6): 607-631. 1994.
    It is well-known that feature structures can be fruitfully viewed as forming a Scott domain. Once a linguistically motivated notion of set value in feature structures is countenanced, however, this is no longer possible inasmuch as unification of set values in general fails to yield a unique result. In Pollard and Moshier 1990 it was shown that, while falling short of forming a Scott domain, the set of feature structures possibly containing set values satisfies the weaker condition of forming a …Read more
  • Unifying partial descriptions of sets
    with Drew Moshier
    In Philip P. Hanson (ed.), Information, Language and Cognition, University of British Columbia Press. pp. 1--285. 1990.