Contexte opaque - Opaque context

Un contexte opaque ou référentielment opaque est un contexte linguistique dans lequel il n'est pas toujours possible de substituer des expressions « coréférentielles » (expressions se référant au même objet) sans altérer la vérité des phrases. Les expressions impliquées sont généralement des termes grammaticalement singuliers . Ainsi, la substitution d'expressions co-référentielles dans un contexte opaque ne préserve pas toujours la vérité. Par exemple, "Lois croit que x est un héros" est un contexte opaque parce que "Lois croit que Superman est un héros" est vrai tandis que "Lois croit que Clark Kent est un héros" est faux, même si "Superman" et "Clark Kent" sont expressions co-référentielles.

Usage

Le terme est utilisé dans les théories philosophiques de la référence , et doit être mis en contraste avec le contexte référentiellement transparent . En gros plan :

  • Opacité : « Marie croit que Cicéron est un grand orateur » donne lieu à un contexte opaque ; bien que Cicéron s'appelait aussi « Tully », nous ne pouvons pas simplement substituer « Tully » à « Cicéron » dans ce contexte (« Marie croit que Tully est un grand orateur ») et garantir la même valeur de vérité, car Marie pourrait ne pas savoir que les noms 'Tully' et 'Cicéron' font référence à une seule et même chose. Bien sûr, si Marie croit que Cicéron est un grand orateur, alors il y a un sens dans lequel Marie croit que Tully est un grand orateur, même si elle ne sait pas que « Tully » et « Cicéron » se réfèrent . C'est le sens que nous imposent les théories de la « référence directe » des noms propres, c'est-à-dire celles qui soutiennent que le sens d'un nom propre n'est que son référent.
  • Transparence : « Cicéron était un orateur romain » donne lieu à un contexte transparent ; il n'y a aucun problème à substituer ici « Tully » à « Cicéron » : « Tully était un orateur romain ». Les deux phrases expriment nécessairement la même chose si « Cicéron » et « Tully » se réfèrent à la même personne. Notez que cet élément est manquant dans les contextes opaques, où un changement de nom peut entraîner une phrase qui exprime quelque chose de différent de l'original.

Une utilisation similaire du terme s'applique aux langages artificiels tels que les langages de programmation et les logiques . L'exemple de Cicéron-Tully ci-dessus peut être facilement adapté. Utilisez la notation comme une citation qui mentionne un terme . Définissez un prédicat qui est vrai pour les termes de six lettres. Ensuite , induit un contexte opaque, ou est référentielle opaque , parce est vrai tout est faux. Les langages de programmation ont souvent une sémantique plus riche que la sémantique de la vérité et de la fausseté de la logique, et donc un opérateur tel que peut échouer à être référentiellement transparent pour d'autres raisons également.

Voir également

Les références