Skip to main content
SpringerLink
Log in

Language, Lambdas, and Logic

  • Chapter
Resource-Sensitivity, Binding and Anaphora

Part of the book series: Studies in Linguistics and Philosophy ((SLAP,volume 80))

Abstract

In Van Benthem, 1986 it was observed that the Curry-Howard correspondence between proofs and λ-terms can be exploited to obtain a very elegant and principled match between Lambek Categorial Grammar and Montague Semantics. The correspondence associates each proof of the calculus with a λ-term and Van Benthem shows how such terms can be used as a recipe for obtaining the meaning of a complex expression in terms of the meanings of its parts. The method is easily extended to various other forms of Lambek calculi, including multimodal calculi (see Moortgat, 1997 and references therein).

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Ades, A. and Steedman, M. (1982). On the Order of Words. Linguistics and Philosophy, 4:517–558.

    Article  Google Scholar 

  • Ajdukiewicz, K. (1935). Die syntaktische Konnexität. Studia. Philosophica, 1:1–27. English translation in Storrs McCall, ed., Polish Logic, 1920–1939, Oxford, 1967, 207–231.

    Google Scholar 

  • Bach, E. (1979). Control in Montague Grammar. Linguistic Inquiry, 10.

    Google Scholar 

  • Bach, E. (1984). Some Generalizations of Categorial Grammars. In Landman, F. and Veltman, F., editors, Varieties of Formal Semantics, pages 1–23. Foris.

    Google Scholar 

  • Backofen, R., Rogers, J., and Vijay-Shankar, K. (1995). A First-Order Axiom-atization of the Theory of Finite Trees. Journal of Logic, Language and Information, 4:5–39.

    Article  Google Scholar 

  • Bar-Hillel, Y. (1953). A Quasi-arithmetical Notation for Syntactic Description. Language, 29:47–58.

    Article  Google Scholar 

  • Benthem, J. v. (1986). Essays in Logical Semantics. Reidel, Dordrecht.

    Book  Google Scholar 

  • Benthem, J. v. (1988). The Semantics of Variety in Categorial Grammar. In Buszkowski, W., Marciszewski, W., and Benthem, J. v., editors, Categorial Grammar, pages 37–55. John Benjamins, Amsterdam.

    Google Scholar 

  • Benthem, J. v. (1991). Language in Action. North-Holland, Amsterdam.

    Google Scholar 

  • Cornell, T. (1994). On Determining the Consistency of Partial Descriptions of Trees. In Proceedings of ACL-94.

    Google Scholar 

  • Curry, H. and Feys, R. (1958). Combinatory Logic, volume I. North-Holland, Amsterdam.

    Google Scholar 

  • Curry, H. B. (1961). Some Logical Aspects of Grammatical Structure. In Jakobson, R. O., editor, Structure of Language and its Mathematical Aspects, volume 12 of Symposia on Applied Mathematics, pages 56–68. American Mathematical Society, Providence.

    Google Scholar 

  • de Groote, P. (2001). Towards Abstract Categorial Grammars. In Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference, pages 148–155, Toulouse, France. ACL.

    Google Scholar 

  • de Groote, P. (2002). Tree-Adjoining Grammars as Abstract Categorial Grammars. In TAG+6, Proceedings of the Sixth International Workshop on Tree Adjoining Grammars and Related Frameworks, pages 145–150.

    Google Scholar 

  • Gabbay, D. (1996). Labelled Deductive Systems. Clarendon Press, Oxford.

    Google Scholar 

  • Gallin, D. (1975). Intensional and Higher-Order Modal Logic. North-Holland, Amsterdam.

    Google Scholar 

  • Girard, J.-Y. (1987). Linear Logic. Theoretical Computer Science, 50:1–102.

    Article  Google Scholar 

  • Hendriks, H. (1988). Type Change in Semantics: the Scope of Quantification and Coordination. In Klein, E. and van Benthem, J., editors, Categories, Polymorphism, and Unification. Centre for Cognitive Science, Edinburgh.

    Google Scholar 

  • Hendriks, H. (1993). Studied Flexibility: Categories and Types in Syntax and Semantics. PhD thesis, University of Amsterdam.

    Google Scholar 

  • Jacobson, P. (1999). Towards a Variable-free Semantics. Linguistics and Philosophy.

    Google Scholar 

  • Johnson, M. (1991). Logic and Feature Structures. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, Sydney, Australia.

    Google Scholar 

  • Kamp, H. and Reyle, U. (1993). From Discourse to Logic. Kluwer, Dordrecht.

    Google Scholar 

  • Kaplan, R. and Bresnan, J. (1982). Lexical-Functional Grammar: a Formal System for Grammatical Representation. In Bresnan, J., editor, The Mental Representation of Grammatical Relations, pages 173–281. The MIT Press, Cambridge, MA.

    Google Scholar 

  • Lambek, J. (1958). The Mathematics of Sentence Structure. American Mathematical Monthly, 65:154–170.

    Article  Google Scholar 

  • Montague, R. (1973). The Proper Treatment of Quantification in Ordinary English. In Formal Philosophy, pages 247–270. Yale University Press, New Haven.

    Google Scholar 

  • Moortgat, M. (1988). Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus. PhD thesis, University of Amsterdam.

    Google Scholar 

  • Moortgat, M. (1991a). Generalized Quantification and Discontinuous Type Constructors. In Sijtsma, W. and Horck, A. v., editors, Discontinuous Constituency. De Gruyter. To appear.

    Google Scholar 

  • Moortgat, M. (1991b). Labelled Deductive Systems for Categorial Theorem Proving. In Dekker, P. and Stokhof, M., editors, Proceedings of the Eighth Amsterdam Colloquium, pages 403–423, Amsterdam.

    Google Scholar 

  • Moortgat, M. (1995). In Situ Binding: a Modal Analysis. In Dekker, P. and Stokhof, M., editors, Proceedings of the Tenth Amsterdam Colloquium, pages 539–549, Amsterdam.

    Google Scholar 

  • Moortgat, M. (1997). Categorial Type Logics. In Benthem, J. v. and Meulen, A. t., editors, Handbook of Logic and Language, pages 93–177. Elsevier.

    Google Scholar 

  • Morrill, G. (1994). Type Logical Grammar: Categorial Logic of Signs. Kluwer, Dordrecht.

    Book  Google Scholar 

  • Muskens, R. (1994). Categorial Grammar and Discourse Representation Theory. In Proceedings of COLING 94, pages 508–514, Kyoto.

    Google Scholar 

  • Muskens, R. (1995). Meaning and Partiality. CSLI, Stanford.

    Google Scholar 

  • Muskens, R. (1996). Combining Montague Semantics and Discourse Representation. Linguistics and Philosophy, 19:143–186.

    Article  Google Scholar 

  • Muskens, R. (2001a). Categorial Grammar and Lexical-Functional Grammar. In Butt, M. and King, T. H., editors, Proceedings of the LFG01 Conference, University of Hong Kong, pages 259–279, Stanford CA. CSLI Publications. http://cslipublications.stanford.edu/LFG/6/lfg01.html.

    Google Scholar 

  • Muskens, R. (2001b). Lambda Grammars and the Syntax-Semantics Interface. In van Rooy, R. and Stokhof, M., editors, Proceedings of the Thirteenth Amsterdam Colloquium, pages 150–155, Amsterdam.

    Google Scholar 

  • Muskens, R. (2001c). Talking about Trees and Truth-conditions. Journal of Logic, Language and Information, 10(4):417–455.

    Article  Google Scholar 

  • Oehrle, R. (1988). Multi-Dimensional Compositional Functions as a Basis for Grammatical Analysis. In Oehrle, R., Bach, E., and Wheeler, D., editors, Categorial Grammars and Natural Language Structures, pages 349–389. Reidel, Dordrecht.

    Chapter  Google Scholar 

  • Oehrle, R. (1994). Term-Labeled Categorial Type Systems. Linguistics and Philosophy, 17:633–678.

    Article  Google Scholar 

  • Oehrle, R. (1995). Some 3-Dimensional Systems of Labelled Deduction. Bulletin of the IGPL, 3:429–448.

    Article  Google Scholar 

  • Oehrle, R. (1999). LFG as Labeled Deduction. In Dalrymple, M., editor, Semantics and Syntax in Lexical Functional Grammar, chapter 9, pages 319–357. MIT Press, Cambridge, MA.

    Google Scholar 

  • Partee, B. and Rooth, M. (1983). Generalized Conjunction and Type Ambiguity. In Baüerle, R., Schwarze, C., and von Stechow, A., editors, Meaning, Use and Interpretation of Language. de Gruyter, Berlin.

    Google Scholar 

  • Roorda, D. (1991). Resource Logics: Proof-theoretical Investigations. PhD thesis, University of Amsterdam.

    Google Scholar 

  • Rooth, M. and Partee, B. (1982). Conjunction, Type Ambiguity, and Wide Scope “or”. In Flickinger, D., Macken, M., and Wiegand, N., editors, Proceedings of the 1982 West Coast Conference on Formal Linguistics. Stanford Linguistics Department, Stanford.

    Google Scholar 

  • Saussure, F. d. (1916). Cours de Linguistique Générale.

    Google Scholar 

  • Steedman, M. (1996). Surface Structure and Interpretation. MIT Press.

    Google Scholar 

  • Szabolsci (1989). Bound Variables in Syntax (Are there any?). In Bartsch, R., van Benthem, J., and van Emde Boas, P., editors, Semantics and Contextual Expression. Proceedings of the Sixth Amsterdam Colloquium, pages 295–318. Foris, Dordrecht.

    Google Scholar 

  • Troelstra, A. (1992). Lectures on Linear Logic. CSLI, Stanford.

    Google Scholar 

  • Zeevat, H., Klein, E., and Calder, J. (1986). Unification Categorial Grammar. Manuscript.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Tilburg University, Netherlands

    Reinhard Muskens

Authors
  1. Reinhard Muskens
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. COLI, Saarland University, Saarbrücken, Germany

    Geert-Jan M. Kruijff  & Richard T. Oehrle  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Muskens, R. (2003). Language, Lambdas, and Logic. In: Kruijff, GJ.M., Oehrle, R.T. (eds) Resource-Sensitivity, Binding and Anaphora. Studies in Linguistics and Philosophy, vol 80. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0037-6_2

Download citation

  • DOI: https://doi.org/10.1007/978-94-010-0037-6_2

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-1-4020-1692-9

  • Online ISBN: 978-94-010-0037-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation