Contexto opaco

Un contexto opaco o 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. ^{[ 1 ]} 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" son expresiones correferenciales.

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

En el caso opaco, «María cree que Cicerón es un gran orador» da lugar a un contexto opaco; aunque a Cicerón también se le llamaba «Tulio», ^{[ 2 ]} no podemos simplemente sustituir «Tulio» por «Cicerón» en este contexto («María cree que Tulio es un gran orador») y garantizar el mismo valor de verdad, ya que María podría no saber que los nombres «Tulio» y «Cicerón» se refieren a la misma cosa. Por supuesto, si María cree que Cicerón es un gran orador, entonces hay un sentido en el que María cree que Tulio es un gran orador, incluso si no sabe que «Tulio» y «Cicerón» se refieren a la misma cosa . Es el sentido que nos imponen las teorías de «referencia directa» de los nombres propios, es decir, aquellas que sostienen que el significado de un nombre propio es simplemente su referente.

En el caso transparente, «Cicerón fue un orador romano» genera un contexto transparente; no hay problema en sustituir «Tulio» por «Cicerón»: «Tulio fue un orador romano». Ambas oraciones expresan necesariamente lo mismo si «Cicerón» y «Tulio» se refieren a la misma persona. Cabe destacar que este elemento falta en los contextos opacos, donde un cambio en el nombre puede dar lugar a una oración que expresa algo diferente de la original.

El uso similar del término se aplica a lenguajes artificiales como lenguajes de programación y lógica . El ejemplo de Cicerón-Tully anterior se puede adaptar fácilmente. Utilice la notación${\displaystyle [t]}$como una cita que menciona un término${\displaystyle t}$Definir un predicado${\displaystyle L}$lo cual es cierto para términos de seis letras de longitud. Entonces${\displaystyle [x]}$induce un contexto opaco, o es referencialmente opaco , porque${\displaystyle L([Cicerón])}$es cierto mientras${\displaystyle L([Tully])}$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, y por lo tanto un operador como${\displaystyle [x]}$También puede que no sea referencialmente transparente por otras razones.

• Decodificación anómala
• Caja negra
• Concepto difuso
• Inescrutabilidad de la referencia
• La falacia del hombre enmascarado
• funciones puras
• Transparencia referencial
• Transitividad de la identidad