Curso de Semântica Formal

Contents......Page 5
Prefácio......Page 9
Agradecimentos......Page 13
1.1 Significado, verdade e mundo......Page 15
1.2 Relações semânticas entre sentenças......Page 18
1.3 Composicionalidade......Page 20
1.4 Linguagem objeto e metalinguagem......Page 23
1.5 Extensões......Page 24
1.6 Além de extensões e condições de verdade......Page 34
Sugestões de leitura......Page 37
Exercícios......Page 38
2.1 Funções e a notação lambda......Page 41
2.2 Verbos intransitivos e aplicação funcional......Page 46
2.3 Verbos transitivos......Page 49
2.4 Tipos e domínios semânticos......Page 52
2.5 Verbos bitransitivos......Page 54
2.6 Predicados não verbais......Page 56
2.7 Relações, funções e currying......Page 60
Apêndice: mais sobre conversões lambda e alfa......Page 62
Sugestões de leitura......Page 66
Exercícios......Page 67
3.1 Coordenação......Page 71
3.2 A flexibilidade da coordenação......Page 75
3.3 Negação......Page 83
Exercícios......Page 88
4.1 Descrições definidas......Page 91
4.1.1 Unicidade......Page 93
4.2 Nomes próprios......Page 96
4.2.1 Nomes próprios como predicados......Page 99
4.3 Pronomes......Page 102
Sugestões de leitura......Page 109
Exercícios......Page 110
5.1 Modificadores nominais......Page 113
5.2 Modificação adjetival......Page 114
5.3 Mudança de tipos......Page 117
5.4 Conjunção funcional......Page 119
5.5 Modificação e classes de comparação......Page 121
5.6 Orações relativas......Page 123
5.6.1 Vestígios e movimento sintático......Page 129
Sugestões de leitura......Page 133
Exercícios......Page 134
6.1 Expressões quantificadoras e indivíduos......Page 135
6.2 Quantificadores generalizados......Page 138
6.3 Determinantes quantificadores......Page 140
6.4 Nomes próprios e descrições definidas como quantificadores generalizados......Page 144
6.5 Outros DPs quantificadores......Page 146
6.6 Coordenação de DPs......Page 150
6.7 Conservatividade: um universal semântico......Page 154
6.8.1 DPs quantificadores em posição de objeto......Page 161
6.8.2 Interação de escopo entre DPs......Page 162
6.8.3 Negação e escopo......Page 163
6.9 Quantificação e movimento......Page 164
6.9.1 Movimento e escopo......Page 166
6.9.2 Negação e alçamento de quantificadores......Page 172
6.10 Quantificação e mudança de tipos......Page 177
6.10.1 Mudança de tipos e escopo......Page 180
6.10.2 Mudança de tipos, negação e escopo......Page 183
Exercícios......Page 185
7.1 Pronomes livres e ligados......Page 189
7.2 Correferência vs. ligação......Page 190
7.3 Ligação sem índices nem atribuições......Page 193
7.3.1 Limitando composição e ligação funcional......Page 199
7.3.2 Pronomes livres novamente......Page 200
Exercícios......Page 202
Referências Bibliográficas......Page 205