Contexto opaco

Un contexto opaco o contexto referencialmente opaco es un contexto lingüístico en el que no siempre es posible sustituir expresiones "correferenciales" (expresiones que se refieren al mismo objeto) sin alterar la verdad de las oraciones. Las expresiones involucradas suelen ser términos gramaticalmente singulares. Por lo tanto, la sustitución de expresiones correferenciales 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" sean expresiones correferenciales.

El término se utiliza en teorías filosóficas de referencia y debe contrastarse con el contexto referencialmente transparente. En líneas generales:

• Opacity: "Mary cree que Cicerón es un gran orador" da lugar a un contexto opaco; aunque Cicerón también fue llamado 'Tully', no podemos simplemente sustituir 'Tully' por 'Cicero' en este contexto ("Mary cree que Tully es un gran orador") y garantizar el mismo valor de la verdad, porque María podría no saber que los nombres 'Tully' y 'Cicero' se refieren a una cosa y la misma. Por supuesto, si María cree que Cicerón es un gran orador, entonces hay un sentido en el que María cree que Tully es un gran orador, incluso si ella no sabe que 'Tully' y 'Cicero ' Corefer. Es el sentido que nos obliga por teorías de "referencia directa" de nombres propios, es decir, aquellos que sostienen que el significado de un nombre adecuado es sólo su referente.

• Transparencia: "Cicero era un orador romano" da lugar a un contexto transparente; no hay problema sustituyendo 'Tully' para 'Cicero' aquí: "Tully era un orador romano". Ambas frases necesariamente expresan lo mismo si 'Cicero' y 'Tully' se refieren a la misma persona. Tenga en cuenta que este elemento falta en los contextos opacos, donde un cambio en el nombre puede resultar en una frase que expresa algo diferente del original.

Uso similar del término se aplica para lenguajes artificiales como lenguajes de programación y lógicas. El ejemplo Cicerón-Tully arriba se puede adaptar fácilmente. Use la notación ${\displaystyle [t]}$ como cita que menciona un término ${\displaystyle t}$. Definir un predicado ${\displaystyle L.$ que es cierto para los términos seis letras largas. Entonces... ${\displaystyle [x]}$ induce un contexto opaco, o referentially opaque, porque ${\displaystyle L([Cicero])}$ es cierto mientras ${\displaystyle L([Tully])}$ es falso. Los lenguajes de programación a menudo tienen más semántica que la semántica de la verdad y la falsedad de las lógicas, y por lo tanto un operador como ${\displaystyle [x]}$ puede no ser referencialmente transparente por otras razones también.

• Decodificación aberrante
• Caja negra
• Fuzzy concept
• Inescrutability of reference
• falacia de hombre enmascarado
• Funciones puras
• Transparencia de referencia
• Transitividad de identidad