Abstract
This paper is the first attempt to deal with aspects of the semantics of adverbs within a modern type theoretical setting. A number of issues pertaining to the semantics of different classes of adverbs like verididality and intensionality will be discussed and further shown to be captured straightforwardly within a modern type theoretical setting. In particular, I look at the issue of veridicality and show that the inferences associated with veridical adverbs can be dealt with via typing alone, i.e. without the aid of meaning postulates. In case of intensional adverbs like intentionally or allegedly, I show that these can be captured by making use of the type theoretical notion of context, i.e. without the use of possible worlds.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Chatzikyriakidis, S., Luo, Z.: An account of natural language coordination in type theory with coercive subtyping. In: Duchier, D., Parmentier, Y. (eds.) Constraint Solving and Language Processing. LNCS, vol. 8114, pp. 31–51. Springer, Heidelberg (2013)
Chatzikyriakidis, S., Luo, Z.: Adjectives in a modern type-theoretical setting. In: Morrill, G., Nederhof, M.-J. (eds.) Formal Grammar 2012 and 2013. LNCS, vol. 8036, pp. 159–174. Springer, Heidelberg (2013)
Chatzikyriakidis, S., Luo, Z.: Natural language inference in coq (2013) (submitted)
Chatzikyriakidis, S., Luo, Z.: Natural language reasoning using proof-assistant technology: Rich typing and beyond. In: Proceedings of EACL 2014 (2014)
Church, A.: A formulation of the simple theory of types. J. Symbolic Logic 5(1) (1940)
Cinque, G.: Adverbs and Functional Heads: A Cross-Linguistic Perspective. Oxford University Press (1999)
Davidson, D.: Compositionality and coercion in semantics: The semantics of adjective meaning. In: Rescher, N. (ed.) The Logical Form of Action Sentences, pp. 81–95. University of Pittsburgh Press (1967)
Ernst, T.: The Syntax of Adjuncts. Cambridge press (2002)
Ernst, T.: On the role of semantics in a theory of adverb syntax. Lingua 117(6) (2007)
Girard, J.Y.: Une extension de l’interpretation fonctionelle de gödel à l’analyse et son application à l’élimination des coupures dans et la thèorie des types’. In: Proc. 2nd Scandinavian Logic Symposium. North-Holland (1971)
Jackendoff, R.: Semantic Interpretation in Generative Grammar. MIT Press (1972)
Kamp, H.: Formal semantics of natural language. In: Keenan, E. (ed.) Two Theories About Adjectives, pp. 123–155. Cambridge University Press (1975)
Luo, Z.: Computation and Reasoning: A Type Theory for Computer Science. Oxford Univ. Press (1994)
Luo, Z.: Coercive subtyping. Journal of Logic and Computation 9(1), 105–130 (1999)
Luo, Z.: Type-theoretical semantics with coercive subtyping. Semantics and Linguistic Theory 20 (SALT20), Vancouver 84(2), 28–56 (2010)
Luo, Z.: Contextual analysis of word meanings in type-theoretical semantics. In: Pogodalla, S., Prost, J.-P. (eds.) LACL 2011. LNCS, vol. 6736, pp. 159–174. Springer, Heidelberg (2011)
Luo, Z.: Common nouns as types. In: Béchet, D., Dikovsky, A. (eds.) LACL 2012. LNCS, vol. 7351, pp. 173–185. Springer, Heidelberg (2012)
Luo, Z.: Formal semantics in modern type theories with coercive subtyping. Linguistics and Philosophy 35(6), 491–513 (2012)
Luo, Z., Soloviev, S., Xue, T.: Coercive subtyping: theory and implementation. Information and Computation 223, 18–42 (2012)
Luo, Z.: Adjectives and adverbs in type-theoretical semantics. Notes (2011)
Maienborn, C., Schafer, M.: Adverbs and adverbials. In: Maienborn, C., von Heusinger, K., Portner, P. (eds.) Semantics. An International Handbook of Natural Language Meaning, pp. 1390–1420. De Gruyter, Mouton (2011)
Martin-Löf, P.: An intuitionistic theory of types: predicative part. In: Rose, H., Shepherdson, J.C. (eds.) Logic Colloquium 1973 (1975)
Martin-Löf, P.: Intuitionistic Type Theory. Bibliopolis (1984)
Montague, R.: English as a formal language. In: Visentini, B. (ed.) Linguaggi Nella Societ e Nella. Edizioni di Comunitl, Milan (1970)
Montague, R.: Formal Philosophy. Yale University Press (1974)
Parsons, T.: Some problems concerning the logic of grammatical modifiers. In: Davidson, D., Harman, G. (eds.) Semantics of Natural Language, pp. 127–141. Reidel, Dordrecht (1972)
Ranta, A.: Type-Theoretical Grammar. Oxford University Press (1994)
Thomason, R., R.C.S.: A semantic theory of adverbs. Linguistic Inquiry 4(2), 195–220 (1973)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chatzikyriakidis, S. (2014). Adverbs in a Modern Type Theory. In: Asher, N., Soloviev, S. (eds) Logical Aspects of Computational Linguistics. LACL 2014. Lecture Notes in Computer Science, vol 8535. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-43742-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-43742-1_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-43741-4
Online ISBN: 978-3-662-43742-1
eBook Packages: Computer ScienceComputer Science (R0)