This book is an introductory course on formal semantics written in Portuguese. It presents the basics of a compositional interpretive system, using tools taken from logic and mathematics. No previous knowledge about formal approaches to meaning is presupposed. The book can be used as a one-semester course for upper-level undergraduate or by beginning graduate students. It will be of interest not only to linguists and linguistics students, but also to researchers and students from related areas, such as philosophy, cognitive sciences, and artificial intelligence. All chapters end with suggested readings and exercises, making it also suitable for self-learners. The book is divided into 7 chapters. Starting with an introductory chapter on the basics of truth-conditional semantics and formal approaches to meaning (Chapter 1), the core of the book covers semantic phenomena related to predicate saturation (Chapter 2), coordination and negation (Chapter 3), reference (Chapter 4), modification (Chapter 5), quantification (Chapter 6), and binding (Chapter 7).
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.
