Impressões lingüísticas sobre duas axiomatizações para a Gramática Categorial

• Luiz Arthur Pagani UFPR

Resumo

No presente texto, compara-se de uma perspectiva exclusivamente lingüística duas axiomatizações diferentes, mas logicamente equivalentes, da Gramática Categorial: 1) a versão das chamadas regras de redução e 2) a do cálculo de Lambek. Para isso, depois de uma primeira seção de introdução, cada uma dessas axiomatizações é apresentada separadamente numa segunda seção. Na terceira seção, as duas versões são comentadas em relação ao tipo de representação do conhecimento lingüístico em cada uma delas. Por fim, na quarta seção, apresenta-se como conclusão a preferência pela axiomatização das regras de redução. E ainda que as observações sejam lingüisticamente motivadas, suas conclusões afetam a natureza do conhecimento lingüístico (especialmente o lexical) que precisa ser representado em analisadores para Gramáticas Categoriais.

Referências

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

Bar-Hillel, Y. (1953). A quasi-arithmetical notation for syntactic description. Language, 29:47–58.

Carpenter, B. (1997). Type-Logical Semantics. The MIT Press, Cambridge, Massachusetts.

Cohen, J. M. (1967). The equivalence of two concepts of categorial grammar. Information and Control, 10:475–484.

Moortgat, M. (1988). Categorial Investigations — Logical and Linguistic Aspects of the Lambek Calculus. Foris, Dordrecht.

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

Neto, J. B. (1999). Introdução à gramática categorial. UFPR, Curitiba.

Steedman, M. (1988). Combinators and grammars. In Oehrle, R., Bach, E., and Wheeler, D., editors, Categorial Grammars and Natural Language Structures, pages 417–442. Reidel, Dordrecht.

Wood, M. M. (1993). Categorial Grammars. Routledge, London.