Number of the records: 1
Type Polymorphism, Natural Language Semantics, and TIL
- 1.0562181 - FLÚ 2024 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : notional attitudes * polymorphism * type theory * transparent intensional logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.7, year: 2023
Method of publishing: Limited access
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’.
Permanent Link: https://hdl.handle.net/11104/0343099
Number of the records: 1