In this paper we present a study of adjectival/adverbial modification using modern type theories, i.e. type theories within the tradition of Martin-Löf. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented given their proof-theoretic nature. In MTT-semantics, common nouns are interpreted as types rather than predicates. Therefore, in order to capture the semantics of adjectives adequately, one needs to meet the challenge of modeling CNs modified by adjectives as types. To explicate that this can be done successfully, we first look at the mainstream classification of adjectives, i.e. intersective, subsective and non-subsective adjectives. There, we show that the rich type structure available in MTTs, along with a suitable subtyping framework, offers an adequate mechanism to model these cases. In particular, this modelling naturally takes care of the characterising inferences associated with each class of adjectives. Then, more advanced issues on adjectival modification are discussed: degree adjectives, comparatives and multidimensional adjectives. There, it is shown that the use of indexed types can be usefully applied in order to deal with these cases. In the same vein, the issue of adverbial modification is discussed. We study two general typings for sentence and VP adverbs respectively. It is shown that the rich type structure in MTTs further provides useful organisational mechanisms in giving formal semantics for adverbs. In particular, we discuss the use of \-types to capture the veridicality/non-veridicality distinction and further discuss cases of intensional adverbs using the type theoretic notion of context. We also look at manner, subject and speech act adverbials and propose solutions using MTTs. Finally, we show that the current proof technology can help mechanically check the associated inferences. A number of our proposals concerning adjectival and adverbial modification have been formalised in the proof assistant Coq and many of the associated inference patterns are checked to be correctly captured.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10849-017-9246-2
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,992
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

General Semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.
Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.

View all 32 references / Add more references

Citations of this work BETA

Translating a Fragment of Natural Deduction System for Natural Language Into Modern Type Theory.Ivo Pezlar - 2019 - In Rainer Osswald, Christian Retoré & Peter Sutton (eds.), Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures. Stroudsburg, PA: Association for Computational Linguistics. pp. 10-18.

Add more citations

Similar books and articles

A Proof-Theoretic Semantics for Adjectival Modification.Nissim Francez - 2017 - Journal of Logic, Language and Information 26 (1):21-43.
Natural Language Inference in Coq.Stergios Chatzikyriakidis & Zhaohui Luo - 2014 - Journal of Logic, Language and Information 23 (4):441-480.
On the Logic of Adverbs.Ingmar Pörn - 1983 - Studia Logica 42 (2-3):293 - 298.
Formal Semantics in Modern Type Theories with Coercive Subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
Polar Opposition and the Ontology of 'Degrees'.Christopher Kennedy - 2001 - Linguistics and Philosophy 24 (1):33-70.
Syntactic Conditions on Saturation.Deborah Mandelbaum - 1994 - Dissertation, City University of New York
Adjectives, Stereotypicality, and Comparison.Eric McCready & Norry Ogata - 2007 - Natural Language Semantics 15 (1):35-63.
The Interpretation of Frequency Adjectives.Gregory T. Stump - 1980 - Linguistics and Philosophy 4 (2):221 - 257.


Added to PP index

Total views
17 ( #604,079 of 2,439,431 )

Recent downloads (6 months)
1 ( #433,565 of 2,439,431 )

How can I increase my downloads?


My notes