Chapter

Logical Aspects of Computational Linguistics

Volume 6736 of the series Lecture Notes in Computer Science pp 159-174

Contextual Analysis of Word Meanings in Type-Theoretical Semantics

  • Zhaohui LuoAffiliated withDept of Computer Science, Royal Holloway, Univ of London

Abstract

Word meanings are context sensitive and may change in different situations. In this paper, we consider how contexts and the associated contextual meanings of words may be represented in type-theoretical semantics, the formal semantics based on modern type theories. It is shown, in particular, that the framework of coercive subtyping provides various useful tools in the representation.