観察的等価性（かんさつてきとうかせい、英: Observational equivalenc）は、2つかそれ以上の背後にある対象が、それらから生じる観察可能な含意に基づいては互いに区別することができないという性質のことである。したがって、例えば、2つの科学理論が観察的に等価であるのは、その経験的にテスト可能な予測がすべて同一であるときである。その場合、経験的証拠を用いて、どちらがより正しいかを判別することができない。さらに言えば、それらは実際には、1つの基礎となる理論に対する2つの異なる視点である可能性もある。

計量経済学においては、2つのパラメータ値（あるいは、統計的モデルのあるクラスの中から取られた2つの構造）は、両者が 観察可能なデータの同じ確率分布を帰結するとき、観察的に等価と見なされる。 この語は、しばしばパラメータの同定問題に関連して用いられる。

マクロ経済学においては、異なる解釈を伴いながら、しかし経験的には区別できない複数の構造モデルがあるとき、観察的等価性が生じる。 「構造パラメータから目的関数への写像が、一意な最小点をもたないことがある」。

プログラミング言語の形式意味論においては、2つの項MとNが観察的に等価であるのは、C[M]が適格な項となるすべての文脈C[...]において、C[N] が適格であり、かつ、C[M]と同じ値を取るとき、かつそのときにかぎる。したがって体系内では、その2つの項は区別することができない。この定義は、「項」、「文脈」、そして「項の値」についてそれぞれ固有の定義を備える特定の計算体系に関してのみ、厳密にすることができる。この概念はJames H. Morrisに由来し、Morrisはこれを外延的等価性（extensional equivalence）と呼んだ。

関連項目

決定不全

脚注