Abstract
The literature on categorial type logic includes proposals for semantically inactive additives, quantifiers, and modalities (Morrill 1994[17]; Hepple 1990[2]; Moortgat 1997[9]), but to our knowledge there has been no proposal for semantically inactive multiplicatives. In this paper we formulate such a proposal (thus filling a gap in the typology of categorial connectives) in the context of the displacement calculus Morrill et al. (2011[16]), and we give a formulation of words as types whereby for every expression w there is a corresponding type W(w). We show how this machinary can treat the syntax and semantics of collocations involving apparently contentless words such as expletives, particle verbs, and (discontinuous) idioms. In addition, we give an account in these terms of the only known examples treated by Hybrid Type Logical Grammar (HTLG henceforth; Kubota and Levine 2012[4]) beyond the scope of unaugmented displacement calculus: gapping of particle verbs and discontinuous idioms.
Research partially supported by an ICREA Acadèmia 2012 to the alphabetically first author, and by BASMATI MICINN project (TIN2011-27479-C04-03) and SGR2009-1428 (LARCA). Many thanks to three anonymous LACL referees for valuable comments and suggestions.
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
de Groote, P.: Towards Abstract Categorial Grammars. In: Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics (ACL), Toulouse (2001)
Hepple, M.: The Grammar and Processing of Order and Dependency. PhD thesis, University of Edinburgh (1990)
Jäger, G.: Anaphora and Type Logical Grammar. Trends in Logic – Studia Logica Library, vol. 24. Springer, Heidelberg (2005)
Kubota, Y., Levine, R.: Gapping as like-category coordination. In: Béchet, D., Dikovsky, A. (eds.) LACL 2012. LNCS, vol. 7351, pp. 135–150. Springer, Heidelberg (2012)
Lambek, J.: On the Calculus of Syntactic Types. In: Jakobson, R. (ed.) Structure of Language and its Mathematical Aspects, Proceedings of the Symposia in Applied Mathematics XII, pp. 166–178. American Mathematical Society, Providence (1961)
Lambek, J.: Categorial and Categorical Grammars. In: Oehrle, R.T., Bach, E., Wheeler, D. (eds.) Categorial Grammars and Natural Language Structures. Studies in Linguistics and Philosophy, vol. 32, pp. 297–317. D. Reidel, Dordrecht (1988)
Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly 65, 153–172 (1958), Reprinted in Buszkowski, W., Marciszewski, W., van Benthem, J. (eds.): Categorial Grammar. Linguistic & Literary Studies in Eastern Europe, vol. 25, pp. 153–172. John Benjamins, Amsterdam (1958)
Moortgat, M.: Multimodal linguistic inference. Journal of Logic, Language and Information 5(3,4), 349–385 (1996); Also in Bulletin of the IGPL 3(2,3), 371–401 (1995)
Moortgat, M.: Categorial Type Logics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 93–177. Elsevier Science B.V. and the MIT Press, Amsterdam and Cambridge (1997)
Morrill, G.: Grammar and Logical Types. In: Stockhof, M., Torenvliet, L. (eds.) Proceedings of the Seventh Amsterdam Colloquium, pp. 429–450 (1990). Also in Barry, G., Morrill, G. (eds.): Studies in Categorial Grammar, Edinburgh Working Papers in Cognitive Science, vol. 5, pp. 127–148 (1990). Revised version published as Grammar and Logic. Theoria, LXII 3, 260–293 (1996)
Morrill, G.: Intensionality and Boundedness. Linguistics and Philosophy 13(6), 699–726 (1990)
Morrill, G.: Categorial Formalisation of Relativisation: Pied Piping, Islands, and Extraction Sites. Technical Report LSI-92-23-R, Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya (1992)
Morrill, G.: CatLog: A Categorial Parser/Theorem-Prover. In: LACL 2012 System Demonstrations, Logical Aspects of Computational Linguistics 2012, pp. 13–16, Nantes (2012)
Morrill, G., Merenciano, J.-M.: Generalising discontinuity. Traitement Automatique des Langues 37(2), 119–143 (1996)
Morrill, G., Valentín, O., Fadda, M.: Dutch Grammar and Processing: A Case Study in TLG. In: Bosch, P., Gabelaia, D., Lang, J. (eds.) TbiLLC 2007. LNCS, vol. 5422, pp. 272–286. Springer, Heidelberg (2009)
Morrill, G., Valentín, O., Fadda, M.: The Displacement Calculus. Journal of Logic, Language and Information 20(1), 1–48 (2011), doi:10.1007/s10849-010-9129-2
Morrill, G.V.: Type Logical Grammar: Categorial Logic of Signs. Kluwer Academic Publishers, Dordrecht (1994)
Muskens, R.: Language, lambdas, and logic. In: Kruijff, G.-J., Oehrle, R. (eds.) Resource-Sensitivity, Binding and Anaphora. Studies in Linguistics and Philosophy, vol. 80, pp. 23–54. Springer, Netherlands (2003)
Richard, T.: Oehrle. Term-labeled categorial type systems. Linguistics and Philosophy 17(6), 633–678 (1994)
Wasow, T., Sag, I.A., Nunberg, G.: Idioms: an interim report. In: Hattori, S., Inove, K. (eds.) Proceedings of the XIIIth International Congress of Linguists, Tokyo, pp. 102–115. CIPL (1983)
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
Morrill, G., Valentín, O. (2014). Semantically Inactive Multiplicatives and Words as Types. 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_12
Download citation
DOI: https://doi.org/10.1007/978-3-662-43742-1_12
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)