Ferreira M. Curso de semântica formal

Berlin: Language Science Press, 2019. — x, 186 p. — (Textbooks in Language Sciences 6). — ISBN 978-3-96110-153-5.Este livro é um curso introdutório em semântica formal e tem o intuito de apresentar um sistema interpretativo composicional, formalizado através de algumas ferramentas lógico-matemáticas. Não se pressupõe experiência prévia com abordagens formais para o significado. Em sala de aula, poderá ser usado tanto em cursos mais avançados na graduação quanto em cursos de pós-graduação. Fora dela, poderá satisfazer estudantes autodidatas, professores e pesquisadores não apenas de linguística, mas também de áreas afins com interesse na análise e formalização do significado no âmbito das línguas naturais, como filosofia, ciências cognitivas e inteligência artificial. O livro está dividido em 7 capítulos. Após um capítulo introdutório sobre os fundamentos de uma semântica formal baseada em condições de verdade (capítulo 1), o restante do livro cobre fenômenos relacionados à saturação de predicados (capítulo 2), coordenação e negação (capítulo 3), referência (capítulo 4), modificação (capítulo 5), quantificação (capítulo 6) e ligação (capítulo 7). Ao final de cada capítulo, há sugestões de leitura para os que quiserem aprofundar-se nos temas abordados no texto, além de exercícios para a fixação do conteúdo.