Loading article…
記号の使用を扱う様々な研究分野（例えば、言語学、論理学、数学、意味論、記号論、言語哲学など）において、外延的文脈（または透明文脈）とは、文中の部分表現eを、同じ外延を持つ表現に置き換えても文全体の真偽値に影響を与えない統語環境のことである。外延的文脈は、真偽値を維持する置換が不可能な不透明文脈とは対照的である。
クラーク・ケントが実はスーパーマンである場合を考えてみましょう。ロイス・レーンが窓から落ちて、スーパーマンが彼女を捕まえたとします。すると、「スーパーマンがロイス・レーンを捕まえた」という文は真となります。この文は外延的な文脈であるため、「クラーク・ケントがロイス・レーンを捕まえた」という文も真となります。スーパーマンが捕まえた人は誰でも、クラーク・ケントも捕まえたことになります。
外延的文脈とは対照的に、内包的文脈（様相演算子や様相論理を含む）では、真偽値を損なうことなく項を置き換えることはできません。例えば、ロイス・レーンがクラーク・ケントが彼女と一緒にニュース記事を調査すると信じているとします。したがって、「ロイス・レーンはクラーク・ケントが彼女と一緒にニュース記事を調査すると信じている」という文は真です。しかし、「ロイス・レーンはスーパーマンが彼女と一緒にニュース記事を調査すると信じている」という文は偽です。これは、「信じる」が通常、内包的文脈を誘導するためです。ロイス・レーンはスーパーマンがクラーク・ケントだとは信じておらず、命題的態度「信じる」が内包的文脈を誘導するため、置き換えによって元の文の意味が変わってしまいます。