不透明文脈（ふとうめいぶんみゃく、）または指示的不透明文脈（referentially opaque context）とは、「同一指示的（co-referential）」な表現（同一の対象を指示する表現）を、文の真理性を変えることなくいつでも代入できるとは限らないような言語的文脈のことである。関与する表現は通常、文法上の単称名辞である。したがって、不透明文脈への同一指示的表現の代入は、必ずしも真理を保存しない。たとえば、「ロイスは x がヒーローだと信じている」は不透明文脈である。なぜなら、「ロイスはスーパーマンがヒーローだと信じている」は真であるのに対して、「ロイスはクラーク・ケントがヒーローだと信じている」は偽だからである。「スーパーマン」と「クラーク・ケント」は同一指示的な表現であるにもかかわらず、である。
用法 この用語は指示の哲学的理論で用いられ、指示的透明文脈（referentially transparent context）と対比される。
不透明な場合の例として、「メアリーはキケロが偉大な演説家だと信じている」は不透明文脈を生じさせる。キケロは「タリー（Tully）」とも呼ばれていたにもかかわらずTullyは Tullius に由来する歴史的な英語化名。出典: 、この文脈で「キケロ」を「タリー」に単純に置き換えて（「メアリーはタリーが偉大な演説家だと信じている」）、同じ真理値が保証されるとは限らない。というのも、メアリーは「タリー」と「キケロ」が同一の対象を指すことを知らないかもしれないからである。もちろん、メアリーがキケロを偉大な演説家だと信じているのであれば、「タリー」と「キケロ」が同一指示的であることを知らなくても、ある意味においてはメアリーはタリーが偉大な演説家だと信じている、と言える。これは、固有名詞についての「直接指示」理論、すなわち固有名詞の意味はその指示対象そのものだと主張する諸理論から強いられる意味である。
透明な場合の例として、「キケロはローマの演説家であった」は透明文脈を生じさせる。ここで「キケロ」を「タリー」に置き換えても問題はない。すなわち「タリーはローマの演説家であった」となる。「キケロ」と「タリー」が同一人物を指すのであれば、両文は必然的に同じことを表す。この要素が不透明文脈には欠けていることに注意されたい。不透明文脈では、名前の入れ替えによって、元の文と異なることを表す文が生じうる。
同様の用法は、プログラミング言語や論理学のような人工言語にも当てはまる。上のキケロ／タリーの例は容易に応用できる。項 に言及する引用を表す記法として を用いるとする。次に、6文字の長さの項について真となる述語 を定義する。すると、 は真であるが は偽であるため、 は不透明文脈を生じさせる、すなわち指示的に不透明である。プログラミング言語は真偽という論理学の意味論よりも豊かな意味論を持つことが多いため、 のような演算子は、他の理由でも参照透過性を欠くことがある。
関連項目
ブラックボックス
指示の不可測性
純粋関数 参照透過性 同一性の推移性
脚注