Contexto opaco - Opaque context

Um contexto opaco ou contexto referencialmente opaco é um contexto linguístico em que nem sempre é possível substituir expressões "co-referenciais" (expressões que se referem ao mesmo objeto) sem alterar a verdade das frases. As expressões envolvidas são geralmente termos gramaticalmente singulares . Portanto, a substituição de expressões corrreferenciais em um contexto opaco nem sempre preserva a verdade. Por exemplo, "Lois acredita que x é um herói" é um contexto opaco porque "Lois acredita que Superman é um herói" é verdadeiro, enquanto "Lois acredita que Clark Kent é um herói" é falso, embora 'Superman' e 'Clark Kent' sejam expressões co-referenciais.

Uso

O termo é usado em teorias filosóficas de referência e deve ser contrastado com o contexto referencialmente transparente . Em linhas gerais:

  • Opacidade: "Maria acredita que Cícero é um grande orador" dá origem a um contexto opaco; embora Cícero também fosse chamado de 'Tully', não podemos simplesmente substituir 'Tully' por 'Cícero' neste contexto ("Maria acredita que Tully é um grande orador") e garantir o mesmo valor de verdade, pois Maria pode não saber que os nomes 'Tully' e 'Cícero' referem-se a uma única e mesma coisa. Claro, se Maria acredita que Cícero é um grande orador, então há um sentido em que Maria acredita que Tully é um grande orador, mesmo que ela não conheça aquele corefer 'Tully' e 'Cícero' . É o sentido que nos é imposto pelas teorias de "referência direta" dos nomes próprios, ou seja, aquelas que afirmam que o significado de um nome próprio é apenas seu referente.
  • Transparência: "Cícero era um orador romano" dá origem a um contexto transparente; não há problema em substituir 'Tully' por 'Cícero' aqui: "Tully era um orador romano". Ambas as frases expressam necessariamente a mesma coisa se 'Cícero' e 'Tully' se referem à mesma pessoa. Observe que esse elemento está ausente nos contextos opacos, onde uma mudança no nome pode resultar em uma frase que expressa algo diferente do original.

O uso semelhante do termo se aplica a linguagens artificiais , como linguagens de programação e lógicas . O exemplo de Cicero-Tully acima pode ser facilmente adaptado. Use a notação como uma citação que menciona um termo . Defina um predicado que seja verdadeiro para termos de seis letras. Então induz um contexto opaco, ou é referencialmente opaco , porque é verdadeiro enquanto é falso. As linguagens de programação geralmente têm uma semântica mais rica do que a semântica da lógica da verdade e da falsidade e, portanto, um operador como esse pode deixar de ser referencialmente transparente por outras razões também.

Veja também

Referências