La equivalencia observacional es la propiedad de que dos o más entidades subyacentes sean indistinguibles sobre la base de sus implicaciones observables . Así, por ejemplo, dos teorías científicas son observacionalmente equivalentes si todas sus predicciones empíricamente comprobables son idénticas, en cuyo caso no se puede utilizar la evidencia empírica para distinguir cuál está más cerca de ser correcta; de hecho, puede ser que en realidad sean dos perspectivas diferentes sobre una teoría subyacente.
En econometría , dos valores de parámetros (o dos estructuras, de entre una clase de modelos estadísticos) se consideran observacionalmente equivalentes si ambos dan como resultado la misma distribución de probabilidad de datos observables. [1] [2] [3] Este término surge a menudo en relación con el problema de identificación .
En macroeconomía , esto sucede cuando se tienen múltiples modelos estructurales, con diferentes interpretaciones, pero indistinguibles empíricamente. "la correlación entre los parámetros estructurales y la función objetivo puede no mostrar un mínimo único". [4]
En la semántica formal de los lenguajes de programación , dos términos M y N son observacionalmente equivalentes si y solo si, en todos los contextos C [...] donde C [ M ] es un término válido, se da el caso de que C [ N ] también es un término válido con el mismo valor. Por lo tanto, no es posible, dentro del sistema, distinguir entre los dos términos. Esta definición puede hacerse precisa solo con respecto a un cálculo particular, uno que viene con sus propias definiciones específicas de término , contexto y el valor de un término . La noción se debe a James H. Morris , [5] quien la llamó "equivalencia extensional". [6]