Databac

OPACITE

OPACITE Propriété, dans un énoncé, du contexte dans lequel on ne peut substituer les identiques (ou les synomymes) sans changer la valeur de vérité. Par exemple, une attitude propositionnelle est un contexte opaque : en supposant que « Pierre » désigne la même personne que le « frère de Marie », je ne puis substituer la seconde expression à la première dans « Je sais que Pierre viendra » (il se peut que, en effet, que je ne sache pas que Pierre est le frère de Marie).