Skip to main content
SpringerLink
Log in

Book Review

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

This is a good book. Its main message is that a particular approach to natural language called type-logical grammar can, in-principle, be equipped with a learning theory. In this review, I first identify what type-logical grammar is, then outline what the learning theory is. Then I try to articulate why this message is important for the logical, linguistic and information-theoretic parts of cognitive science. Overall, I think the book’s main message is significant enough to warrant patience with its scientific limitations.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

References

  • Ajdukiewicz K. (1935). Die syntaktische konnexität. Studia Philosophica 1, 1–27

    Google Scholar 

  • Buszkowski W., Penn G. (1990). Categorial grammar determined from linguistic data by unification. Studia Logica 49, 431–454

    Article  Google Scholar 

  • Carpenter, B. (1996). Type-Logical Semantics. MIT Press.

  • Church A. (1940). A formulation of the simple theory of types. Journal of Symbolic Logic 5(2):56–68

    Article  Google Scholar 

  • Curry, H. B., & Feys, R. (1958). Combinatory logic. North-Holland.

  • Foret, A., & Nir, Y. L. (2002). Lambek rigid grammars are not learnable from strings. In Proceedings of the 19th International Conference on Computational Linguistics (COLING 2002).

  • Kanazawa, M. (1998). Learnable Classes of Categorial Grammars. CSLI Publications.

  • Lambek J. (1958). The mathematics of sentence structure. American Mathematical Monthly 65, 154–170

    Article  Google Scholar 

  • Lambek, J. (1961). On the calculus of syntactic types. In R. Jakobson (Ed.), Structure of Language and its Mathematical Aspects. American Mathematical Society (pp. 166–178).

  • Moortgat, M. (1988). Categorial Investigations: Logical & Linguistic Aspects of the Lambek Calculus. Foris.

  • Morrill, G. V. (1994). Type Logical Grammar: categorial logic of signs. Kluwer.

  • Pinker, S. (1984). Language Learnability and Language Development. Harvard University Press.

  • Restall, G. (2000). An introduction to substructural logics. Routledge.

  • Russell B. (1908). Mathematical logic as based on the theory of types. American Journal of Mathematics 30, 222–262

    Article  Google Scholar 

  • Tellier, I. (1998). Meaning helps learning syntax. In Proceedings of the 4th International Colloquium on Grammatical Inference pp 25–36.

  • Tesar, B., & Smolensky, P. (2000). Learnability in Optimality Theory. MIT Press.

  • Troelstra, A. S., & Schwichtenberg, H. (1996). Basic proof theory. Cambridge University Press.

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

Download references

Author information

Authors and Affiliations

  1. Department of Linguistics and Germanic, Slavic, Asian and African Languages, Michigan State University, A–614 Wells Hall, East Lansing, MI, 48824–1027, USA

    John Hale

  2. Department of Computer Science and Engineering, Michigan State University, A-614 Wells Hall, East Lansing, MI, 48824–1027, USA

    John Hale

Authors
  1. John Hale
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to John Hale.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hale, J. Book Review. JoLLI 16, 217–220 (2007). https://doi.org/10.1007/s10849-006-9027-9

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10849-006-9027-9

Search

Navigation