Curso de semântica formal

Marcelo Ferreira

Synopsis

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.

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).

Statistics

Author Biography

Marcelo Ferreira, University of São Paulo

Marcelo Ferreira is Associate Professor at the Department of Linguistics at University of São Paulo, Brazil. He holds a Ph.D. in Linguistics from the Massachusetts Institute of Technology (MIT). His main area of research is formal semantics and its interfaces with syntax and pragmatics, with a particular interest in the interaction between tense, aspect, and modality.

Marcelo Ferreira é Professor Associado no Departamento de Linguística da Universidade de São Paulo, Brasil. Obteve o título de Ph.D. em Linguística pelo Massachussets Institute of Technology (MIT). Sua principal área de pesquisa é a semântica formal e suas interfaces com a sintaxe e a pragmática, com especial interesse na interação entre tempo, aspecto e modalidade.

Published

March 26, 2019
LaTeX source on GitHub

Print ISSN

2364-6209
Cite as
Ferreira, Marcelo. 2019. Curso de semântica formal. (Textbooks in Language Sciences 6). Berlin: Language Science Press. DOI: 10.5281/zenodo.2600163

License

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Details about the available publication format: PDF

PDF

ISBN-13 (15)

978-3-96110-153-5

Publication date (01)

2017-03-26

doi

10.5281/zenodo.2600163

Details about the available publication format: Hardcover

Hardcover

ISBN-13 (15)

978-3-96110-154-2