Contexto opaco - Opaque context

Un contexto opaco o un 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. Las expresiones involucradas 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 cierto, mientras que "Lois cree que Clark Kent es un héroe" es falso, aunque "Superman" y "Clark Kent" lo son. Expresiones co-referenciales.

Uso

El término se usa en teorías filosóficas de referencia y debe contrastarse con un 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', no podemos simplemente sustituir 'Tully' por 'Cicerón' en este contexto ("Mary cree que Tully es un gran orador") y garantizar el mismo valor de verdad, ya que Mary podría no saber que los nombres 'Tully' y 'Cicerón' se refieren a una misma cosa. Por supuesto, si Mary cree que Cicerón es un gran orador, entonces, en cierto sentido, Mary cree que Tully es un gran orador, incluso si no sabe que 'Tully' y 'Cicerón' son corredores . 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 problema en sustituir 'Tully' por 'Cicerón' aquí: "Tully era un orador romano". Ambas oraciones necesariamente expresan lo mismo si 'Cicerón' 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 oración que expresa algo diferente al original.

Un uso similar del término se aplica a lenguajes artificiales como lenguajes de programación y lógicas . El ejemplo de Cicerón-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. 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, por lo que un operador como éste puede no ser referencialmente transparente también por otras razones.

Ver también

Referencias