On the Dual Interpretation of Nouns as Types and Predicates in Semantic Type Theories - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

On the Dual Interpretation of Nouns as Types and Predicates in Semantic Type Theories

William Babonnaud

Abstract

In order to mediate the debate on whether common nouns are better interpreted as types or as predicates in type-theoretical semantic frameworks, the present paper shows that type theories whose models in category theory are toposes have access to a property drawing a one-to-one correspondence between first-order predicates and base types, thus enabling more flexibility for common noun interpretation. Using this flexibility and linguistic arguments based on negative predications, a subsequent proposal is made to interpret nouns as predicates with refined argument types.
Fichier principal
Vignette du fichier
typrd_final.pdf (242.36 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03468606 , version 1 (07-12-2021)

Identifiers

  • HAL Id : hal-03468606 , version 1

Cite

William Babonnaud. On the Dual Interpretation of Nouns as Types and Predicates in Semantic Type Theories. ESSLLI 2021 - 2nd Workshop on Computing Semantics with Types, Frames and Related Structures, Jul 2021, Virtual, Netherlands. ⟨hal-03468606⟩
69 View
58 Download

Share

Gmail Mastodon Facebook X LinkedIn More