Semântica - CCE - Universidade Federal de Santa Catarina

mostra r que o quantificador estabelece uma relação entre dois conjuntos. Um conjunto é
o conjunto das crianças, o outro conjunto é dado pela sentença “aberta”: ‘João ama x’.
Se pensarmos
um pouco, vemos que essa sentença aberta pode ser transformada num
conjunto: o conjunto das coisas que João gosta, {x : João gosta de x}. 19 Temos, então,
dois conjuntos: o conjunto das crianças e o conjunto das coisas que João ama, O
quantificador expressa então a relação de inclusão: o conjunto das crianças está incluído
no conjunto as coisas que João ama. João ama outras coisas, mas se algo é criança, ele
ama esse algo.
O último comentário diz respeito a variável. Lembre-se que dissemos que há
dois tipos de pronomes: o pronome livre e o pronome preso. Se você prestar atenção,
verá que em (77) a variável está presa pelo quantificador, isto é, o valor dessa variável
vai co-variar com o valor da primeira variável. Se a primeira variável se referir a João, a
segunda também vai se referir a João. Se a primeira se referir a Pedro, a segunda
também vai se referir a Pedro e assim sucessivamente. Não podemos dizer que
pronomes
presos por quantificadores são co-referencias, porque, como mostramos,
sintagmas quantificados não se referem a indivíduos em particular; eles não são
referenciais. Logo, a relação entre eles é de ligação.
Faça a derivação da sentença:
(1) A Maria ama um professor.
4.5 Escopo de operadores
Considere a sentença abaixo:
(78) Todos os alunos compraram um presente para o professor.
Essa sentença coloca uma questão
que tem ocupado as pesquisas em semântica: ela é
ambígua,
isto é, ela esboça dois tipos de situação completamente distintos, de tal forma
que dada uma interpretação ela é verdadeira
numa situação em que a outra interpretação
é falsa. Vejamos as leituras possíveis:
19 Essa é a intuição básica do cálculo lambda, um instrumento necessário para a semântica
contemporânea, mas cuja apresentação extrapola os limites desse manual. O leitor pode consultar Partee
et all () para uma apresentação do tema.
70