Gramáticas Categoriais
Num breve apanhado histórico, é possível ver que a lógica e a gramática mantêm um relacionamento estreito, desde suas origens na Antiguidade até, ao menos, os inícios do século XIX. As tentativas oitocentistas de tratar logicamente os raciocínios matemáticos, que não podiam ser adequadamente tratados pela lógica de base aristotélica, levaram ao desenvolvimento de sistemas lógicos algébricos (Álgebra de Boole, por exemplo) que foram ignorados pelos estudos gramaticais. Apenas em meados do século XX, encontramos propostas, com alguma consistência, de aplicação de sistemas algébricos aos fenômenos das línguas naturais. Uma dessas propostas é o que se conhece como Gramática Categorial, que é essencialmente uma forma de tratamento das estruturas das línguas naturais por meio de cálculos lógicos (cálculo de predicados, teoria dos conjuntos etc.).