A representação do significado por meio de estruturas formais e categorias lógicas constitui o eixo central desta discussão, que articula ferramentas da lógica, da linguística e da filosofia da linguagem. O texto examina como sistemas categoriais podem capturar relações semânticas em diferentes níveis de análise.

Conceitos de gramática categorial, teoria dos tipos e semântica formal são explorados para construir um arcabouço analítico aplicável a problemas de significado em linguagem natural. A discussão situa-se na tradição da filosofia analítica e da lógica matemática aplicada à linguística.

Pesquisadores e estudantes de pós-graduação em linguística, filosofia da linguagem e lógica encontram aqui uma abordagem acessível aos fundamentos teóricos da semântica formal. O conteúdo também interessa a especialistas em ciência cognitiva e processamento de linguagem natural.