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. ^[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' sean expresiones correferenciales.

Uso

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

• Opacidad: "María cree que Cicerón es un gran orador" da lugar a un contexto opaco; aunque Cicerón también se llamaba 'Tully', ^[2] no podemos simplemente sustituir 'Tully' por 'Cicero' en este contexto ("María cree que Tully es un gran orador") y garantizar el mismo valor de verdad, ya que María podría no saber que los nombres 'Tully' y 'Cicero' se refieren a una y 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 Tully es un gran orador, incluso si no sabe que 'Tully' y 'Cicero' se refieren mutuamente . Es el sentido que nos imponen las teorías de "referencia directa" de los nombres propios, es decir, las que sostienen que el significado de un nombre propio es simplemente su referente.

• Transparencia: "Cicerón era un orador romano" da lugar a un contexto transparente; no hay ningún problema en sustituir "Tully" por "Cicero" en este caso: "Tully era un orador romano". Ambas oraciones expresan necesariamente lo mismo si "Cicerón" y "Tully" se refieren a la misma persona. Nótese que este elemento falta en los contextos opacos, donde un cambio en el nombre puede dar lugar a una oración que exprese algo diferente del original.

Un uso similar del término se aplica a lenguajes artificiales como los lenguajes de programación y la lógica . El ejemplo de Cicero-Tully anterior se puede adaptar fácilmente. Utilice la notación como una cita que menciona un término . Defina un predicado que sea verdadero para términos de seis letras de longitud. Luego 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, y por lo tanto un operador como puede no ser referencialmente transparente también por otras razones. ${\displaystyle [t]}$ ${\displaystyle t}$ ${\displaystyle L}$ ${\displaystyle [x]}$ ${\displaystyle L([Cicero])}$ ${\displaystyle L([Tully])}$ ${\displaystyle [x]}$

Véase también

• Descodificación aberrante
• Caja negra
• Concepto difuso
• Inescrutabilidad de la referencia
• Falacia del hombre enmascarado
• Funciones puras
• Transparencia referencial
• Transitividad de la identidad

Referencias

1. "Definición de "contexto opaco" | Collins English Dictionary". www.collinsdictionary.com . Consultado el 29 de septiembre de 2015 .
2. Tully es un nombre histórico anglicanizado de Tullius, fuente: Kearns, Kate. Semántica. p. 145. ISBN 978-0-230-23229-7.