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 implicadas suelen ser términos gramaticalmente singulares . Entonces, 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 un contexto referencialmente transparente . A grandes rasgos:
- Opacidad: "María cree que Cicerón es un gran orador" da lugar a un contexto opaco; aunque Cicerón también fue llamado 'Tulio', [2] no podemos simplemente sustituir 'Cicerón' por 'Tulio' en este contexto ("María cree que Tulio es un gran orador") y garantizar el mismo valor de verdad, porque María podría No sé 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' corren . Es el sentido que nos imponen las teorías de "referencia directa" de los nombres propios, es decir, aquellas que mantienen 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 aquí 'Tulio' por 'Cicerón': "Tulio era un orador romano". Ambas oraciones expresan necesariamente lo mismo si 'Cicerón' y 'Tulio' se refieren a la misma persona. Tenga en cuenta que este elemento falta en los contextos opacos, donde un cambio en el nombre puede dar como resultado una oración que expresa algo diferente del original.
Un uso similar del término se aplica a lenguajes artificiales como lenguajes de programación y lógica . El ejemplo anterior de Cicerón-Tully se puede adaptar fácilmente. Utilice la notación como 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 pero 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 puede no ser referencialmente transparente también por otras razones.
Ver también
Referencias
- ^ "Definición de" contexto opaco "| Diccionario inglés Collins". www.collinsdictionary.com . Consultado el 29 de septiembre de 2015 .
- ^ Tully es un nombre histórico en inglés de Tullius, fuente: Kearns, Kate. Semántica. pag. 145.ISBN 978-0-230-23229-7.