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.


Type Theory Common Noun Event Argument Belief Context Manner Adverb 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    Chatzikyriakidis, S., Luo, Z.: Natural language inference in coq (2013) (submitted)Google Scholar
  4. 4.
    Chatzikyriakidis, S., Luo, Z.: Natural language reasoning using proof-assistant technology: Rich typing and beyond. In: Proceedings of EACL 2014 (2014)Google Scholar
  5. 5.
    Church, A.: A formulation of the simple theory of types. J. Symbolic Logic 5(1) (1940)Google Scholar
  6. 6.
    Cinque, G.: Adverbs and Functional Heads: A Cross-Linguistic Perspective. Oxford University Press (1999)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Ernst, T.: The Syntax of Adjuncts. Cambridge press (2002)Google Scholar
  9. 9.
    Ernst, T.: On the role of semantics in a theory of adverb syntax. Lingua 117(6) (2007)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Jackendoff, R.: Semantic Interpretation in Generative Grammar. MIT Press (1972)Google Scholar
  12. 12.
    Kamp, H.: Formal semantics of natural language. In: Keenan, E. (ed.) Two Theories About Adjectives, pp. 123–155. Cambridge University Press (1975)Google Scholar
  13. 13.
    Luo, Z.: Computation and Reasoning: A Type Theory for Computer Science. Oxford Univ. Press (1994)Google Scholar
  14. 14.
    Luo, Z.: Coercive subtyping. Journal of Logic and Computation 9(1), 105–130 (1999)Google Scholar
  15. 15.
    Luo, Z.: Type-theoretical semantics with coercive subtyping. Semantics and Linguistic Theory 20 (SALT20), Vancouver 84(2), 28–56 (2010)Google Scholar
  16. 16.
    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)CrossRefGoogle Scholar
  17. 17.
    Luo, Z.: Common nouns as types. In: Béchet, D., Dikovsky, A. (eds.) LACL 2012. LNCS, vol. 7351, pp. 173–185. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  18. 18.
    Luo, Z.: Formal semantics in modern type theories with coercive subtyping. Linguistics and Philosophy 35(6), 491–513 (2012)CrossRefGoogle Scholar
  19. 19.
    Luo, Z., Soloviev, S., Xue, T.: Coercive subtyping: theory and implementation. Information and Computation 223, 18–42 (2012)CrossRefMathSciNetGoogle Scholar
  20. 20.
    Luo, Z.: Adjectives and adverbs in type-theoretical semantics. Notes (2011)Google Scholar
  21. 21.
    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)Google Scholar
  22. 22.
    Martin-Löf, P.: An intuitionistic theory of types: predicative part. In: Rose, H., Shepherdson, J.C. (eds.) Logic Colloquium 1973 (1975)Google Scholar
  23. 23.
    Martin-Löf, P.: Intuitionistic Type Theory. Bibliopolis (1984)Google Scholar
  24. 24.
    Montague, R.: English as a formal language. In: Visentini, B. (ed.) Linguaggi Nella Societ e Nella. Edizioni di Comunitl, Milan (1970)Google Scholar
  25. 25.
    Montague, R.: Formal Philosophy. Yale University Press (1974)Google Scholar
  26. 26.
    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)CrossRefGoogle Scholar
  27. 27.
    Ranta, A.: Type-Theoretical Grammar. Oxford University Press (1994)Google Scholar
  28. 28.
    Thomason, R., R.C.S.: A semantic theory of adverbs. Linguistic Inquiry 4(2), 195–220 (1973)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Stergios Chatzikyriakidis
    • 1
  1. 1.Dept. of Computer ScienceRoyal Holloway, Univ of London Egham, Open University of CyprusSurreyU.K

Personalised recommendations