Observational equivalence

From Wikipedia, the free encyclopedia

Observational equivalence is the property of two or more underlying entities being indistinguishable on the basis of their observable implications. Thus, for example, two scientific theories are observationally equivalent if all of their empirically testable predictions are identical, in which case empirical evidence cannot be used to distinguish which is closer to being correct; indeed, it may be that they are actually two different perspectives on one underlying theory.

In econometrics, two parameter values (or two structures, from among a class of statistical models) are considered observationally equivalent if they both result in the same probability distribution of observable data.[1][2][3] This term often arises in relation to the identification problem.

In the formal semantics of programming languages, two terms M and N are observationally equivalent if and only if, in all contexts C[...] where C[M] is a valid term, it is the case that C[N] is also a valid term with the same value. Thus it is not possible, within the system, to distinguish between the two terms. This definition can be made precise only with respect to a particular calculus, one that comes with its own specific definitions of term, context, and the value of a term. The notion is due to James H. Morris,[4] who called it "extensional equivalence."[5]

See also[edit]


  1. ^ Dufour, Jean-Marie; Hsiao, Cheng (2008). "Identification". In Durlauf, Steven N.; Blume, Lawrence E. (eds.). The New Palgrave Dictionary of Economics (Second ed.).
  2. ^ Stock, James H. (July 14, 2008). "Weak Instruments, Weak Identification, and Many Instruments, Part I" (PDF). National Bureau of Economic Research.
  3. ^ Koopmans, Tjalling C. (1949). "Identification problems in economic model construction". Econometrica. 17 (2): 125–144. doi:10.2307/1905689. JSTOR 1905689.
  4. ^ Ghica, Dan R.; Muroya, Koko; Ambridge, Todd Waugh (2019). "Local Reasoning for Robust Observational Equivalence". p. 2. arXiv:1907.01257 [cs.PL].
  5. ^ Morris, James (1969). Programming languages and lambda calculus (Thesis). Massachusetts Institute of Technology. pp. 49–53. hdl:1721.1/64850.