Skip to main content
Log in

Towards a Type-Theoretical Account of Lexical Semantics

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

Abstract

After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montague-style semantics at the lexical level in order to complete the full analysis of an utterance, we summarize the current formulations of a well-known theory of that field. We then propose and justify our own model of the Generative Lexicon Theory, based upon a variation of classical compositional semantics, and outline its formalization. Additionally, we discuss the theoretical place of informational, knowledge-related data supposed to exist within the lexicon as well as within discourse and other linguistic constructs. The formalization of the structure of natural language utterances around a surface form (phenogrammatics), a deep structure (tectogrammatics) and the meaning thereof as a logical form (semantics) has developed from the original theories of Curry and Montague to form coherent, type-driven models. Most of these new theories rely upon variations of the compositional analysis of the sentence: from pheno to tectogrammatics, and then to semantics. Our contribution to this work aims at giving such a model a means to overcome the problems posed by polysemous lexical units during the semantical analysis of the tectogrammatical form. Building upon an assumed “deep structure”, we formalize parts of Pustejovsky’s Generative Lexicon Theory, linguistically motivated in Pustejovsky (The generative lexicon, MIT Press, Cambridge, MA, 1995), in a pre-processing of the semantics of the sentence. The mechanisms of Lexical Semantics we propose are an additional layer of classical Montague compositional semantics, and, as such, integrate smoothly within such an analysis; we proceed by converting the lexical data to modifiers of the logical form. This treatment of Lexical Semantics furthermore induces us to think that some sort of non-evident background knowledge of the common use of words is necessary to perform a correct semantic analysis of an utterance. This “commonsense metaphysics” would therefore not be strictly confined to pragmatics, as is often assumed.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Asher N. (2008) A type driven theory of predication with complex types. Fundamenta Informaticae 84(2): 151–183

    Google Scholar 

  • Asher, N. (2009). A web of words: Lexical meaning in context. (forthcoming book).

  • Asher, N. & Pustejovsky, J. (2005). Word meaning and commonsense metaphysics. (revised version of the 2000 paper: The Metaphysics of Words in Context). http://semanticsarchive.net/Archive/TgxMDNkM/.

  • Blutner, R. (2002). Lexical semantics and pragmatics. In F. Hamm & T. E. Zimmermann (Eds.), Semantics (Vol. 10, pp. 27–58) (Sonderheft). Hamburg: Buske.

  • Cooper, R. (2007). Copredication, dynamic generalized quantification and lexical innovation by coercion. In Fourth International Workshop on Generative Approaches to the Lexicon. Université de Genève.

  • Girard, J.-Y. (1971). Une extension de l’interprétation de Gödel à l’analyse et son application: l’élimination des coupures dans l’analyse et la théorie des types. In J. E. Fenstad (Ed.), Proceedings of the Second Scandinavian Logic Symposium, Vol. 63 of Studies in Logic and the Foundations of Mathematics, pp. 63–92, Amsterdam, North Holland.

  • Girard, J.-Y. (1972). Interprétation fonctionnelle et élimination des coupures de l’arithmétique d’ordre supérieur. Thèse de doctorat d’état, Université Paris 7.

  • Girard, J.-Y., Taylor, P., & Lafont, Y. (1989). Proofs and types. Number 7 in Cambridge tracts in theoretical computer science. Cambridge University Press.

  • Gupta, K. M. & Aha, D. M. (2003). Nominal concept representation in sublanguage ontologies. In Second International Workshop on Generative Approaches to the Lexicon, pp. 53–62. Université de Genève.

  • Gupta, K. M. & Aha, D. W. (2005). Interpreting events using generative sublanguage ontologies. In Third International Workshop on Generative Approaches to the Lexicon, pp. 72–81. Université de Genève.

  • Jacquey E. (2006) Un cas de polysémie logique: modélisation de noms d’action en français ambigus entre processus et artefact. Traitement Automatique des Langues 47(1): 137–166

    Google Scholar 

  • Jayez J. (2008) Quel(s) rôle(s) pour les “facettes”?. Langages 172(4): 53–68

    Article  Google Scholar 

  • Marlet, R. (2007). When the generative lexicon meets computational semantics. In Fourth International Workshop on Generative Approaches to the Lexicon. Université de Genève.

  • Mery, B., Bassac, C., & Retoré, C. (2007a). A montagovian generative lexicon. In Formal Grammar. CSLI.

  • Mery, B., Bassac, C., & Retoré, C. (2007b). A Montague-based model of generative lexical semantics. In R. Muskens (Ed.), New directions in type theoretic grammars. ESSLLI, Foundation of logic, language and information.

  • Nunberg G. (1995) Transfers of meaning. Journal of semantics 12(2): 109–132

    Article  Google Scholar 

  • Pinkal, M. & Kohlhase, M. (2000). Feature logic for dotted types: A formalism for complex word meanings. In Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics (ACL ’00), October 1–8, Hong Kong: Morgan Kaufmann Publishers.

  • Pustejovsky J. (1995) The generative lexicon. MIT Press, Cambridge, MA

    Google Scholar 

  • Pustejovsky, J. (2005). A survey of dot objects. Author’s weblog.

  • Saba, W. S. (2007). Compositional semantics grounded in commonsense metaphysics. Presented at the 13 Portuguese Conference on Artificial Intelligence—EPIA 2007.

  • Searle J. (1979) Expression and meaning: Studies in the theory of speech acts. Cambridge University Press, Cambridge

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Christian Bassac.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bassac, C., Mery, B. & Retoré, C. Towards a Type-Theoretical Account of Lexical Semantics. J of Log Lang and Inf 19, 229–245 (2010). https://doi.org/10.1007/s10849-009-9113-x

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10849-009-9113-x

Keywords

Navigation