O curso é uma introdução à semântica formal. Os alunos terão contato com noções fundamentais da área e com ferramentas analíticas empregadas com sucesso por linguistas, lógicos e filósofos dedicados ao estudo do significado.
As duas primeiras aulas apresentam os fundamentos da semântica formal e as relações do significado com as noções de verdade e possibilidade. As duas aulas seguintes exemplificam como o significado de uma sentença é obtido a partir do significado de suas partes. Veremos como modelar o significado de verbos, substantivos, artigos, determinantes, alguns conectivos sentenciais e a negação.
