Type Polymorphism, Natural Language Semantics, and TIL

0562181 - FLÚ 2024 RIV NL eng J - Článek v odborném periodiku
Pezlar, Ivo
Type Polymorphism, Natural Language Semantics, and TIL.
Journal of Logic, Language, and Information. Roč. 32, č. 2 (2023), s. 275-295. ISSN 0925-8531. E-ISSN 1572-9583
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: notional attitudes * polymorphism * type theory * transparent intensional logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10849-022-09383-w

Transparent intensional logic (TIL) is a well-explored type-theoretical framework for semantics of natural language. However, its treatment of polymorphic functions, which are essential for the analysis of various natural language phenomena, is still underdeveloped. In this paper, we address this issue and propose an extension of TIL that introduces polymorphism via type variables ranging over types and generalized variables ranging over constructions and types. Furthermore, we offer an analysis of sentences involving non-specific notional attitudes of the general form ‘A considers (believes, desires, wants, seeks, ...) something’.
Trvalý link: https://hdl.handle.net/11104/0343099