Als
intensionaler oder (referentiell)
opaker Kontext (lat.
opacus „beschattet, lichtundurchlässig“) wird in der
Sprachphilosophie, der
Logik und der
Semantik ein
sprachlicher Kontext bezeichnet, in dem sich durch Ersetzung von Teilausdrücken mit gleichem
Bedeutungsumfang der
Wahrheitswert der ausgedrückten
Aussage möglicherweise ändert. In gewöhnlichen nicht-opaken Kontexten ist die Ersetzung extensionsgleicher Ausdrücke immer wahrheitserhaltend, also
salva veritate möglich.