Observationsekvivalens
Observationsekvivalens är egenskapen hos två eller flera underliggande enheter som inte kan särskiljas på grundval av deras observerbara implikationer. Således är till exempel två vetenskapliga teorier observationsmässigt ekvivalenta om alla deras empiriskt testbara förutsägelser är identiska, i vilket fall empiriska bevis inte kan användas för att urskilja vilken som är närmare att vara korrekt; faktiskt, det kan vara så att de faktiskt är två olika perspektiv på en underliggande teori.
Inom ekonometri anses två parametervärden (eller två strukturer, bland en klass av statistiska modeller) observationsmässigt likvärdiga om de båda resulterar i samma sannolikhetsfördelning av observerbara data. Denna term uppstår ofta i samband med identifieringsproblemet .
I programmeringsspråkens formella semantik är två termer M och N observationsmässigt ekvivalenta om och endast om, i alla sammanhang C [...] där C [ M ] är en giltig term, är det så att C [ N ] är också en giltig term med samma värde. Det är alltså inte möjligt, inom systemet, att skilja mellan de två termerna. Denna definition kan endast göras exakt med avseende på en viss kalkyl, en som kommer med sina egna specifika definitioner av term , sammanhang och värdet av en term . Begreppet beror på James H. Morris , som kallade det "extensionslikvärdighet".
Se även