Dicionário de Termos Linguísticos

Relação binária resultante de uma operação pela qual um termo x é localizado em relação a um termo y, que é o termo localizador. Uma relação de localização é representada metalinguisticamente pela fórmula x ∈ y, em que ∈ (epsilon) simboliza o operador abstracto de localização. Os termos de uma relação podem ser de qualquer categoria linguística. Por exemplo, a construção relativa é uma relação de localização em que o termo localizado é um nome e o termo localizador é de natureza proposicional. Um objecto pode ser localizado em relação a si próprio. Por exemplo, em "um gato é um gato", uma ocorrência abstracta representada pela primeira ocorrência linguística de "um gato" é localizada em relação à propriedade "(ser) um gato".