New Directions in Type-Theoretic Grammars

This paper argues for the idea that in describing language we should follow Haskell Curry in distinguishing between the structure of an expression and its appearance or manifestation. It is explained how making this distinction obviates the need for directed types in type-theoretic grammars and a simple grammatical formalism is sketched in which representations at all levels are lambda terms. The lambda term representing the abstract structure of an expression is homomorphically translated to a lambda term representing its manifestation, but also to a lambda term representing its semantics.

[1]  David R. Dowty.  To ward a Minimalist Theory of Syntactic Structure , 1992 .

[2]  Reinhard Muskens,et al.  Language, Lambdas, and Logic , 2003 .

[3]  Philippe de Groote,et al.  Towards Abstract Categorial Grammars , 2001, ACL.

[4]  Alain Lecomte.  Categorial Minimalism , 1998, LACL.

[5]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[6]  Dick Oehrle,et al.  Some 3-Dimensional Systems of Labelled Deduction , 1995, Log. J. IGPL.

[7]  David R. Dowty.  Grammatical Relations and Montague Grammar , 1982 .

[8]  Reinhard Muskens,et al.  Categorial Grammar and Lexical-Functional Grammar ⁄ , 2001 .

[9]  Geoffrey K. Pullum,et al.  The nature of syntactic representation , 1982 .

[10]  J. Zwart.  The Minimalist Program , 1998, Journal of Linguistics.

[11]  Haskell B. Curry,et al.  Some logical aspects of grammatical structure , 1961 .

[12]  R. Muskens.  Separating Syntax and Combinatorics in Categorial Grammar , 2007 .

[13]  R. Muskens.  Meaning and Partiality , 1995 .

[14]  Michael Moortgat,et al.  Categorial Type Logics , 1997, Handbook of Logic and Language.

[15]  Aarne Ranta.  Type-Theoretical Grammar , 1995 .

[16]  Aarne Ranta,et al.  Grammatical Framework , 2004, Journal of Functional Programming.

[17]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[18]  R. Montague.  Formal philosophy; selected papers of Richard Montague , 1974 .

[19]  Y. Bar-Hillel.  A Quasi-Arithmetical Notation for Syntactic Description , 1953 .

[20]  Richard T. Oehrle,et al.  Term-labeled categorial type systems , 1994 .

[21]  Johan van Benthem,et al.  Language in action , 1991, J. Philos. Log..

[22]  J. Benthem.  Essays in Logical Semantics , 1986 .

[23]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[24]  Michael Moortgat.  Categorial Type Logics , 1997, Handbook of Logic and Language.