Observational equivalence

(Redirected from Contextual equivalence)

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 macroeconomics, it happens when you have multiple structural models, with different interpretation, but indistinguishable empirically. "the mapping between structural parameters and the objective function may not display a unique minimum."[4]

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,[5] who called it "extensional equivalence."[6]

See also

edit

References

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. ^ Canova, Fabio; Sala, Luca (May 2009). "Back to square one: Identification issues in DSGE models". Journal of Monetary Economics. 56 (4): 431–449. doi:10.1016/j.jmoneco.2009.03.014. hdl:10230/308.
  5. ^ Ghica, Dan R.; Muroya, Koko; Ambridge, Todd Waugh (2019). "Local Reasoning for Robust Observational Equivalence". p. 2. arXiv:1907.01257 [cs.PL].
  6. ^ Morris, James (1969). Programming languages and lambda calculus (Thesis). Massachusetts Institute of Technology. pp. 49–53. hdl:1721.1/64850.