La equivalencia observacional es la propiedad de que dos o más entidades subyacentes sean indistinguibles en función 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 la evidencia empírica no puede usarse 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 al problema de identificación .
En la semántica formal de los lenguajes de programación , dos términos M y N son observacionalmente equivalentes si y sólo si, en todos los contextos C [...] donde C [ M ] es un término válido, se da el caso de que C [ N ] es también un término válido con el mismo valor. Por tanto, dentro del sistema no es posible distinguir entre los dos términos. Esta definición sólo puede precisarse con respecto a un cálculo particular, uno que viene con sus propias definiciones específicas de término , contexto y valor de un término . La noción se debe a James H. Morris , [4] quien la llamó "equivalencia extensional". [5]