Document type
Master thesisPublication date
Publication license
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/215074
Lexical Semantics in Modern Type Theory: The challenge of selectional coercion
Journal Title
Authors
Director/Tutor
Journal ISSN
Volume Title
Related resource
Abstract
The goal of this work is to address the challenge of modelling selectional coercions in
frame of MTT semantics. We will claim that selectional coercions, but not contextual
coercions can be modelled via incorporating notions of lexical records and the Lecial
Conceptual Paradigm (LCP) from the Generative Lexicon (Pustejovsky 1996) (further:
GL) thus drawing the line between them:
Main Questions: What are the possible ways of integrating lexical semantics from
the Generative Lexicon for cases of linguistical coercion into
Modern Type Theory? To what extent can selectional coercion
be modelled in MTT enriched with GL-style lexical structure?
In order to address the main questions, we use methods and definitions which are
already present in Modern Type Theories: namely, Σ-types (e.g. Luo 2021), coercive
subtyping (Luo, Soloviev, and Xue 2013), unit-types (e.g. Luo 2011a, A) and dependent
event types (Luo and Soloviev 2017). This introduces a number of challenges. We briefly
describe these here and then break the Main Questions down into sub-questions (Q1)-
(Q3).
Description
Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: Peter R. Sutton & Joost J. Joosten
Subject (English)
Citation
Citation
KUZNETSOV, Stepan G. Lexical Semantics in Modern Type Theory: The challenge of selectional coercion. [consulted: 12 of June of 2026]. Available at: https://hdl.handle.net/2445/215074