Semântica - CCE - Universidade Federal de Santa Catarina

‘estuda’ refere-se a um conjunto de indivíduos:
[[estudar]] = {}
S
SN SV
N V
João estuda
Precisamos, agora, de uma regra semântica que permite compor o SN com o SV. Essa
regra se chama Aplicação Funcional e vamos apresentá-la informalmente, porque uma
definição formal requer conceitos que não dominamos. No exemplo acima (e este será
sempre o caso quando estivermos no nó S), a aplicação funcional aplica a função
‘estuda’ ao argumento ‘João’.
Há duas maneiras de representarmos um conjunto: apresentamos os elementos
que compõem o conjunto ou explicitamos a propriedade que os elementos têm. No
exemplo acima, explicitamos os elementos do conjunto. Eis mais um exemplo. Suponha
que queremos explicitar o conjunto dos números naturais maiores que 1 e menores que
4. Podemos enumerar os elementos desse conjunto: {2, 3}. Mas podemos também dar a
definição do conjunto: { x / x é maior que 1 e menor que 4}. No primeiro caso, demos a
referência; no segundo, demos o sentido. Podemos fazer o mesmo com ‘estuda’.
[[estuda]] = { x / x estuda}
Em linguagem mais natural: o conjunto dos x tal que x estuda. A idéia da aplicação
funcional é a seguinte: na extensão do SV temos o conjunto {x / x estuda}. Na extensão
do SN temos João. A aplicação funcional permite substituir a variável por João,
obtendo: a sentença ‘João estuda’ é verdadeira se e somente se João estuda. Essa é uma
instância da sentença-T. Mas note que ela é o resultado de um cálculo, da soma das
extensões (um outro nome para referência) de ‘João’ e ‘estuda’. Note ainda que
chegamos às condições de verdade da sentença e não a um resultado, ao o verdadeiro ou
ao falso. O resultado depende de como o mundo é: se João tem mesmo a propriedade de
30