Advances in the Logical Representation of Lexical Semantics

TL;DR

This paper discusses recent advances in the logical formalism for lexical semantics, emphasizing a multi-faceted lexical system with rich typing to better integrate semantics and pragmatics.

Contribution

It introduces an expanded framework mbdaTYn for lexical semantics and explores recent formal developments including constraints and polymorphic quantifiers.

Findings

Enhanced formalism for lexical semantics with rich typing

Constraints on lexical transformations and polymorphic quantifiers

Ongoing research on type system granularity and transitivity limits

Abstract

The integration of lexical semantics and pragmatics in the analysis of the meaning of natural lan- guage has prompted changes to the global framework derived from Montague. In those works, the original lexicon, in which words were assigned an atomic type of a single-sorted logic, has been re- placed by a set of many-facetted lexical items that can compose their meaning with salient contextual properties using a rich typing system as a guide. Having related our proposal for such an expanded framework \LambdaTYn, we present some recent advances in the logical formalisms associated, including constraints on lexical transformations and polymorphic quantifiers, and ongoing discussions and research on the granularity of the type system and the limits of transitivity.