Opaker Kontext

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.