creators_name: Zakharyaschev, Ivan creators_id: imz@altlinux.org editors_name: Korotkova, N.A. editors_name: Letuchiy, A.B. editors_name: Volk, V.S. editors_name: Testelets, Ya.G. type: confpaper datestamp: 2012-11-09 19:58:28 lastmod: 2013-02-18 15:13:35 metadata_visibility: show title: Type logic served by co-Merge, Merge and Move: an account for sluicing and questions of `common European' and Japanese types ispublished: unpub subjects: comp-sci-art-intel subjects: comp-sci-lang subjects: ling-sem subjects: ling-syntax subjects: phil-logic full_text_status: public keywords: Non-associative Lambek calculus; Symmteric Non-associative Lambek calculus; type-logical grammar; questions; sluicing; sluicing-based NPs; movement; anaphora; WH-items; WH-words; WH-extraction; pied-piping; Japanese; English; Russian note: The Russian spelling of the author's name is: Иван Захарьящев abstract: We explore the power of type-logical grammar as a linguistic theory, specifically, of a new tentative development inside the framework—a “symmetricized” Lambek Calculus, due to [Moortgat2005]. The basis for our discussion is an account we give for constructions involving questions and—in particular—involving sluicing; it seeks to solve puzzles these constructions have been setting for linguistic theory. Two things in the organization of grammar are of interest here: first, a uniform system joining structures from the surface side (syntactic) and structures from the “mind side” (discourse)—we call MERGE and co-MERGE the relations by which the former and the latter structures are arranged; second, a view on the circumstances of performing MOVE (by Syntax) from the type-logical perspective. As it is usual for type-logical grammars, the theory is conscious of semantics. We refer to examples from Japanese, on one side, and from English and Russian, on the other. date: 2007-04 date_type: completed refereed: TRUE referencetext: Barker, C. (2002). Continuations and the nature of quantification. Natural Language Semantics, 10(3):211–242. Bernardi, R. and Moortgat, M. ( in progr.). A CPS semantics for LG. http://grail.let.uu.nl/~mjm/Tarragona/CGDocs/lgterms.pdf; also see the ESSLLI 2007 course “Symmetric Categorial Grammar” https://www.cs.tcd.ie/esslli2007/content/courses/id75.html. Bylinina, L. and Testelets, Y. (2004). On sluicing-based indefinites. In Proceedings of FASL 13. Dekker, P. (2000). Grounding dynamic semantics. Manuscript. Heim, I. (1982). The semantics of definite and indefinite noun phrases. PhD thesis, University of Massachusetts, Amherst. Hiraiwa, K. and Ishihara, S. (2002). Missing links: Cleft, sluicing, and no da construction in Japanese. In Proceedings of HUMIT 2001, volume 43 of MIT Working Papers in Linguistics, pages 35–54. Jaeger, G. (2005). Anaphora and Type Logical Grammar, volume 24 of Trends in Logic. Springer. Kamp, H. (1981). A theory of truth and semantic representation. In Groenendijk, J., Janssen, T., and Stokhof, M., editors, Formal Methods in the Study of Language, Part 1, volume 135, pages 277–322. Mathematical Centre Tracts, Amsterdam. Reprinted in Jeroen Groenendijk, Theo Janssen and Martin Stokhof (eds), 1984, Truth, Interpretation, and Information; Selected Papers from the Third Amsterdam Colloquium, Foris, Dordrecht, pp. 1–41. Moortgat, M. (1997). Categorial type logics. In van Benthem, J. and ter Meulen, A., editors, Handbook of Logic and Language, chapter 2, pages 93–177. Elsevier, MIT Press, Amsterdam. Moortgat, M. (2005). Grammatical invariants. Presented at the workshop “Proof theory at the syntax-semantics interface”, LSA Institute 2005, MIT/Harvard. Slides at the workshop site on http://web.mit.edu/lsa2005/. Muskens, R. (1994). Categorial grammar and discourse representation theory. In Proceedings of the 15th conference on Computational linguistics, pages 508–514, Morristown, NJ, USA. Association for Computational Linguistics. Ross, J. R. (1969). Guess who? In Binnick, R. I., Davidson, A., Green, G. M., and Morgan, J. L., editors, Papers from the Fifth Regional Meeting of the Chicago Linguistic Society, pages 252–286. University of Chicago. Shimoyama, J. (2006). Indeterminate phrase quantification in Japanese. Natural Language Semantics, 14(2):139–173. Yanovich, I. (2005). Choice-functional series of indefinite pronouns and Hamblin semantics. Presented at SALT 15, article deposited at semanticsarchive.net. citation: Zakharyaschev, Ivan (2007) Type logic served by co-Merge, Merge and Move: an account for sluicing and questions of `common European' and Japanese types. [Conference Paper] (Unpublished) document_url: http://cogprints.org/8713/1/imz_TLG-for-sluicing-and-wh-in-situ_handout-2007-04-09.pdf document_url: http://cogprints.org/8713/2/imz_TLG-for-sluicing-and-wh-in-situ_abstract-2007-04-02.pdf document_url: http://cogprints.org/8713/3/postscriptum-2011-04-24.txt