Dicionário de Termos Linguísticos

Em teoria formal enunciativa, conjunto de operações de localização abstracta que, incidindo sobre um termo, o determinam, através do estabelecimento de uma relação binária de localização com um segundo termo, que é o localizador: o termo x é localizado em relação ao termo y (x ∈ y), em que ∈ simboliza o operador metalinguístico de localização. O enunciado, por exemplo, resulta da localização de uma relação predicativa p em relação ao sistema referencial: p ∈ Sit.