Contexto opaco

Un contexto opaco o contexto referencialmente opaco es un contexto lingüístico en el que no siempre es posible sustituir expresiones "co-referenciales" (expresiones que se refieren al mismo objeto) sin alterar la verdad de las oraciones. [1] Las expresiones implicadas suelen ser términos gramaticalmente singulares . Entonces, la sustitución de expresiones co-referenciales en un contexto opaco no siempre preserva la verdad. Por ejemplo, "Lois cree que x es un héroe" es un contexto opaco porque "Lois cree que Superman es un héroe" es verdadero, mientras que "Lois cree que Clark Kent es un héroe" es falso, aunque 'Superman' y 'Clark Kent' son expresiones co-referenciales.

El término se utiliza en las teorías filosóficas de la referencia y debe contrastarse con el contexto referencialmente transparente . A grandes rasgos:

Un uso similar del término se aplica a los lenguajes artificiales , como los lenguajes de programación y la lógica . El ejemplo anterior de Cicero-Tully se puede adaptar fácilmente. Use la notación como una cita que menciona un término . Defina un predicado que sea verdadero para términos de seis letras. Entonces induce un contexto opaco, o es referencialmente opaco , porque es verdadero mientras que es falso. Los lenguajes de programación a menudo tienen una semántica más rica que la semántica de verdad y falsedad de la lógica, por lo que un operador como este puede fallar en ser referencialmente transparente también por otras razones.