First Online: 03 January 2007 DOI:
Cite this article as: Hale, J. JoLLI (2007) 16: 217. doi:10.1007/s10849-006-9027-9
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. References
Ajdukiewicz K. (1935). Die syntaktische konnexität. Studia Philosophica 1, 1–27
Buszkowski W., Penn G. (1990). Categorial grammar determined from linguistic data by unification. Studia Logica 49, 431–454
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
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
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
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. Copyright information
© Springer Science+Business Media 2006