Dados Bibliográficos

Resumo

This chapter explores the interaction of Curry typing, polymorphism, and fine-grained intensionality in the context of natural language semantics. It argues that a Curry-typed system, where syntactic types are systematically related to semantic types, offers a more perspicuous and explanatory account of intensional phenomena than standardly typed systems. The chapter demonstrates how polymorphism, coupled with a fine-grained notion of intensionality, allows for a flexible and nuanced treatment of the semantic properties of natural language expressions, particularly in cases involving quantifiers, modals, and propositional attitudes. It shows how this approach can capture the complex interplay between intensional operators and their arguments, providing a more accurate representation of the meaning of natural language sentences.