Encompassing and Rational Expectations: How Sequential Corroboration Can Imply Refutation
Abstract
Even though pieces of empirical evidence individually may corroborate an economic theory, their joint existence may refute that same theory. We discuss examples concerning testing for omitted variables, simultaneity, and rational expectations in the context of general-to-simple versus simple-to-general modeling. The proposition in the first sentence strongly favors the building of empirical models which are consistent with all available evidence.
Board of Governors of the Federal Reserve System International Finance Discussion Papers Number 354 June 1989
ENCOMPASSING AND RATIONAL EXPECTATIONS: HOW SEQUENTIAL CORROBORATION CAN IMPLY REFUTATION
Neil R. Ericsson and David F. Hendry
NOTE: International Finance Discussion Papers are preliminary materials circulated to stimulate discussion and critical comment. References in publications to International Finance Discussion Papers (other than an acknowledgment that the writer has had access to unpublished material) should be cleared with the author or authors.
ABSTRACT
Even though pieces of empirical evidence individually may corroborate an economic theory, their joint existence may refute that same theory. We discuss examples concerning testing for omitted variables, simultaneity, and rational expectations in the context of general-to-simple versus simple-to-general modeling. The proposition in the first sentence
strongly favors the building of empirical models which are consistent with all available
evidence.
Encompassing and Rational Expectations: How Sequential Corroboration Can Imply Refutation
Neil R. Ericsson and David F. Hendry!
1. Introduction
Often an economic theory is not tested directly. Rather, empirical evidence is presented as corroborating (or being consistent with) a given theory. Sometimes a single piece of evidence is sufficient to refute a theory (or at least its empirical implementation): €.g., over-identifying restrictions are rejected or coefficient estimates are of the wrong sign. However, the implications of a set of evidence can be subtler. Several pieces of empirical evidence may be presented, each of which corroborates a theory, but the joint presence of those very pieces may refute that same theory.2 This proposition, while surprising at first sight, is more obvious upon closer examination; and it has substantive implications for econometric modeling.
Section 2 states and proves the applicable theorem; Sections 3—5 apply that theorem to three areas: omitted variables, simultaneity, and (relatedly) expectations-based models. The theorem (and so the examples) argue for the importance of accounting for a wide variety of evidence (via the encompassing principle) and of accounting for the evidence as a
whole (congruency).3 Despite their importance, issues of statistical inference from finite
The first author is a staff economist in the International Finance Division, Federal Reserve Board. The second author is Professor of Economics at Nuffield College, Oxford, England, and Visiting Research Professor at the Institute of Statistics and Decision Sciences, Duke University, Durham, North Carolina. This paper represents the views of the authors and should not be interpreted as reflecting those of the Board of Governors of the Federal Reserve System or other members of its staff. This research was supported in part by UK E.S.R.C. grant R231184. We are grateful for helpful comments from and discussions with Julia Campos, Frank Diebold, Eric Leeper, Jaime Marquez, Doug McManus, and Adrian Neale.
*We make no claim to the originality of this proposition, and in fact it appears well-known in the natural sciences; cf. footnote 5. Our interest is in its applications to applied econometrics and so in its implications for econometric methodology.
‘See Mizon and Richard (1986) on encompassing and Hendry and Richard (1982) on congruence. For detailed discussions of the role of corroboration in a progressive research stragegy, see Popper (1959, Section 82), Lakatos (1970), Boland (1982, ch. 1), and White (1988, ch. 11).
samples are ignored in order to facilitate focusing on the logical implications of evidence,
given the evidence itself.
2. A Statement of the Theorem
The theorem and proof are so simple as to hardly require formalization: the importance of the theorem lies in its interpretation rather than in the theorem itself. Even so, the formalization clarifies what assumptions are necessary for its application, and what the logical properties of the theorem are (e.g., one of existence rather than inevitability). For ease of exposition, both theories and evidence on theories are viewed as restrictions on (and hence sets in) some observation space.
Consider two theories, A and B, and n pieces of evidence, {Wi, i=1,...,n}, all interpreted as sets. The relationship between theories and evidence is of interest, so let the operator €, denote "is consistent with" or equivalently "is corroborated by". Thus, A €, W; ("theory A is corroborated by the evidence W;'") means logically that a subset of theory A lies in the evidence set Wi, or mathematically that the intersection of the sets W;
and A is not empty.
An Existence Theorem. Suppose that, for the n sets {Wi, i=1,...,n}, (a) their intersection W* = (N; Wj) is not the empty set, and further that (b) W* is a proper subset of each of the W;. Then there exist non-empty sets A and B such that:
A € Wi (i=1,...,.n) , (i)
B €& Wy (i=1,...,n) , (ii) but
A € W* (iii) and
B Ec wW* . (iv)
Proof. The proof follows straightforwardly, and by construction. First, for all W;, let B intersect the part of Wj; not included in the intersection W*. (The set A may do so as well.) This is feasible because (W; \ W*) #9 Vi (ie, for all i, there are elements in W; not in W*). Second, let A (but not B) intersect the intersection W*. This is feasible because W* is non-empty. By the definitions of the operator €¢ and of W*, A and B satisfy (i)-(iv). QED
Individually, the W,’s corroborate both theories A and B; but observing all the W,’s reduces the range of feasible theories, and that range may not include one (or conceivably either) of the theories. Thus, the joint observation of the W;’s may corroborate A and refute B.4 Figure 1 illustrates the theorem for n=2.
The two assumptions serve to exclude trivial solutions. Assumption (a) means that there are theories which are non-empty and which are consistent with all the evidence. Assumption (b) means that, for each Wi, at least one of the remaining Wj (jti) offers some additional information about what theories are acceptable or not. That is, no single piece of evidence implies all the other pieces of evidence, making them redundant. Otherwise, only that single piece of evidence need be considered; and since the theorem is about implications with at least two "distinct" pieces of evidence, the theorem would not apply.
A simple example serves to clarify the theorem.
Example 1: Evidence on a linear restriction. Suppose there are two theories A and B about the parameters a and § such that A = {(a,6) : a+(=1} and B = {(a,8) : a+f=-1}, and the pieces of evidence on a and 6 are W, = {a: a> 0} and Wg = {8: 8 > 0}. Observing either W, or Wg is corroborating evidence for the theory A, and also for theory B. However, observing both W, and Wg is inconsistent with theory B (for which at least one of a and 6 must be negative) but corroborates theory A. Figure 2 portrays the relationship between A, B, W,, and Wg; theory B does not intersect the joint evidence W* = W,NWg but theory A does. The evidence W,, and Wg in no way proves that theory A is "correct"; it simply does not refute theory A. Further evidence could refute theory A
as well (e.g., Wa, = {8: 8 > 2}).5
4Keynes (1921) inter alia attempted to build a probability theory based upon sequential corroboration, but by most accounts failed because of David Hume’s "problem of induction"; cf. Boland (1982). Our theorem illustrates why such a theory is not feasible.
’Popper (1959, Appendix *IX, §5) discusses a related (essentially inverted) example. In particle physics, Shimony (1988) considers two observations on parallel photons. Each observation is consistent both with quantum theory and with local hidden-variables models. Jointly they refute every local hidden-variables model, but corroborate quantum theory.
3a
rl SEUSSERRSESES CERESSSERSSSees SUSRESSURESSSR. CESSPEERSEEEESS
>
i |
169)
Evidence Ej Ws Tl We = {6:8>0}
Ie} w"
Theories A = {(a8):a+f=1}
B
{a:a>0}
Won Weg
{ (a,8): a+ 6=-1 }
Figure 2. The relationship between W,, We, W*, and the theories A and B (Example 1: evidence on a linear restriction).
3. An Application to Testing for Omitted Variables
Because model evaluation (in the form of diagnostic tests) assesses the validity of ignoring certain information in a given model, the problem identified in Section 2 can arise when diagnostic tests are implemented against specific alternatives (and hence specific information sets) and not also against the general alternative which imbeds the specific alternatives.6 Often, these information sets can be expressed in terms of data, so we consider the situation in which more than one variable is omitted but diagnostic tests are performed for only individual omitted variables. Cf. Hendry and Mizon (1978) for an analysis in the context of autocorrelated residuals, and Hendry (1987) for a taxonomy of test statistics according to the information sets which generate them.
Example 2: Evidence on conditional means. Suppose that the data generation process is:
y = &, + B(X54°Xq,) + Uy u NID(0,02) , (3.1) where, for simplicity, each Xt is normally and independently distributed with zero mean and finite variance and is independent of uy and the other x; ,’8. The econometrician posits the following instead of (3.1):
% = My + % % NID(0,w?) , (3.2) and tests for the significance of each of Xo and X,, in determining the conditional mean of Yt: Neither xo, nor X9, individually influence the conditional mean of yy
E(y, | [x1 4>%4l) = ax), i=2,3, (3.3) so no tests based on either Xo, OF Xo, Can provide evidence of either being important in explaining the conditional mean of yy: However, the conditional mean of Yt given all the
x,,’s is not that given in (3.3), but:
6This modus operandi is one aspect of simple-to-general modeling, a procedure whereby an empirical model is specified, "specific" diagnostic tests are run on the model, and corrections to the model are made in light of those tests. By contrast, in general-to-simple modeling, each model is a simplification of the general (maintained) model, so tests of the validity of the implied reduction are always against the common (and joint) information set defined by the general model.
BY IP ypXapXgel) = yy + AlKogX34) - (3.4) Thus, the information contained in Xo, and xy, jointly (W*) can refute the hypothesis that Yt depends upon X44 alone (theory B), whereas the information in either Xo, OF Xay alone (W, and We) cannot. Figure 1 (also used above) portrays this relationship between theory and evidence.
Davidson, Hendry, Srba, and Yeo’s (1978) empirical model of consumers’ expenditure in the UK illustrates Example 2. For their model, they show that liquidity is an insignificant determinant of expenditure, maintaining a restriction of long-run unit homogeneity on income. Separately, they show that the restriction of long-run unit homogeneity on income is not rejected when liquidity is excluded. However, Hendry and von Ungern-Sternberg (1981) find that the liquidity-toincome ratio is a determinant in a more general model, so showing the importance of examining evidence on income and
liquidity jointly rather than just separately.
4, An Application to Testing for Simultaneity
In the standard simultaneous equations framework, estimation by ordinary least- Squares is inconsistent, and the degree of inconsistency depends upon the inter-correlations of the equations’ disturbances and on the process determining the included endogenous variables. These features of simultaneous equations entail that several sorts of evidence can be helpful in determining whether simultaneity bias actually exists.
Example 3: Evidence on simultanetty. Consider the following system of equations for a single variable Yt (defining the equation of interest) and a vector of variables x,. Unless otherwise indicated, bold characters are vectors (lower case) or matrices (upper case); lower case non-bold characters are scalars.
y, = Bx + & (4.1)
x, = I + vy, (4.2) The parameter of interest is f, E(z,¥;)=0, E(z,e,)=0, and II#0. The first expectation
defines II as the matrix of reduced form coefficients for X 5 the second expectation, along
with II#0, ensures that Zi is a valid set of instruments for estimating 6. Trivially, the instrumental variables (here, 2SLS) estimator is consistent:
6 = plim By, = £B, (4.3) provided TE(z,24 )I’ is non-singular (i.e, there are enough valid non-redundant instruments). The least-squares estimator of # may or may not be consistent, depending upon the covariance between vy and ey
y = plimf,, = B + [E(x,x;)]+-E(x,e,)
= PB + [TIMI + ¥y]-Ye , (4.4) where Mzz=E(z,z1), Ywv=E(v, vi), and Ywe=E(v,e,); see Bronfenbrenner (1953). Hausman’s test statistic compares By and Bg to see whether they are equal (and hence whether Yye=0), and so whether there is any simultaneity bias with least squares. However, additional evidence may exist on whether or not simultaneity is an issue.
Equation (4.2) is a "reduced form" for x,, 80 II and 2yy may well be non-constant over time, being (potentially) complicated functions of economic, policy, and institutional parameters. ‘To the extent that II and/or Y,, change, y also will change if simultaneity bias exists. To link this to the issue of corroboration, the evidence on the constancy of various parameters is categorized as follows.
W;: is constant.
W.: 6is constant.
W3: IL and/or Yyy are non-constant.
The theories of interest are:
A: y, and x, are not simultaneously determined (Yye=0), and
B: Ye and x, are simultaneously determined (Sye#0).
For both theories, # is the parameter of interest and is assumed constant throughout.
The Wj individually corroborate both theories. For theory A, W, is a necessary condition, W2 is implied by W, and the validity of the instruments Zi and W3 is irrelevant. For theory B, We is implied by the constancy of B, W3 does not violate any assumptions of
B, and W, could occur if (e.g.) (Y,> Xt, z1) were jointly stationary. In the last instance,
6a
Evidence
W, = {vis constant.} W. = {6is constant.} W3 = {Il and/or Sy, are non-constant. }
N (W2NW3)\ Wi = (The Lucas critique is confirmed.) Z WinW2n W;3 (The Lucas critique is refuted.)
Theories A = {y, and x, are not simultaneously determined (Yye=0).} B = {y, and x, are simultaneously determined (Zye#0).}
Figure 3. The relationship between W,, We, W3, W*, and specific A and B (Example 3: evidence on simultaneity).
estimation (whether OLS or IV) would generate constant coerficients, regardless of which variables were included or excluded, because both estimators are functions of the sample data moments (which converge to respective population moments), and the population moments are constant. Thus, with (Yy> Xi z+) jointly stationary, both W, and W2 follow (but W3 cannot).
The implications of joint occurrences of the W; follow straightforwardly. Either (W, W2) or (W2 1 Ws) corroborates B. However, if (W2NM Ws) occurs, then B implies that W, cannot occur, i.e., OLS is inconsistent and its inconsistency varies as II and Yyy vary.7 Thus, Wi, Wo, and W; jointly refute B whereas individually they corroborate it. Conversely, (W;N W2N Ws) corroborates A. Thus, the constancy or otherwise of the parameters in (4.1)-(4.2) can have implications for whether or not, as a logical issue, y, and xX could have been generated simultaneously. Figure 3 illustrates Example 3 (and 4a).
A simple illustration of Example 3 helps clarify what is happening.
Example 3*: Evidence on simultaneity with an AR(1) Z, process. Suppose that x, is a univariate AR(1) process:
y% = ™m 1+ % v, ~ NI(0,ovv) , (4.2a) where 0<|7|<1. Ifz,=x,_4, (4.4) becomes:
y = B + (1-m)-(ove/avy) - (4.4a) If ove#0 and m and/or oyy change, then y changes and so W; would not be the case. Conversely, if yy remains constant in spite of 7 and/or oyy changing, then oye=0 and there
is no simultaneity.
5. Applications to Testing Feedback versus Feedforward Models
The final set of illustrations turns on Hendry’s (1988) proposal for testing feedback (conditional) versus feedforward (expectations-based) models by applying the encompassing principle to evidence on the constancy or otherwise of the conditional model and of the
marginal process for the conditioning variables. We begin by interpreting a process with
7There is a set of variations in II and Yyy such that their effects just cancel each other. We ignore this set because it is of measure zero.
expectations as being part of a simultencous cquations system, in which case the formulae in Section 4 for the inconsistency of OLS apply. Examples with the univariate AR(1) x, process motivate and clarify the more gencre! proposition.
Example 4: Evidence on expcetaiionz. The feedforward framework can be characterized in the following manner. Agents male decisiors about a variable y, in light of their expectations about future values of some strictly exogenous variables x, and about future values of Ye liself. Expectations are formed, conditional upon an information set
(dencted v4) which typically includes legged values of x, and Ye:
8
@ : — Vs vy wr BoE le) = PEG ley) (5-1) ko=1, the 4,’s and the remaining «;’s are the "deep" peremeters of the agents’ behavior (or direct functions of them), and typically E(y, ey _1)=y ,: For illustrative purposes, we have assumed linearity, but the issves raised also epply to nonlinear models involving
expectations. By repeated substitution of (5.1) into itself, the conditional expectation of Yt
can be expressed in terms of the expectations of the X 44'8 alone:
BOI) = 26h) | (5.2) where 6; depends upon {X,,«;} and 364 is finite. For completeness (and, e.g., estimation), it is necessary to specify the process for Xi, which is:
E(x,|w,_1) = Tx, (5.3) noting the strict exogeneity of x, and again assuming linearity.8 Equations (5.2) and (5.3)
can be written in "model form" as:
09) y= EK 45 ly) + & E(e,-w,_1)=0 (5.4) x = Ixy, + y E(v,-x{_,)=0. (5.5) Equation (5.5) parallels the reduced form for x, in (4.2) with Z,=x,_,- As noted above, the expectation of y, in (5.2) and its realization frequently are taken to be the same; but
8If x, depends upon several of its own lags, rather than just one, that dependence can be rewritten as (5.3) by "stacking" the lags and redefining x.
we allow possible discrepancies through non-zero Ee: For expositional convenience, we assume (€.,¥;) is independently and identically distributed, normal.
Historically, many macro-econometric equations have been estimated by ordinary least-squares and with actual values of x, rather than expectations of its current and future values, thus assuming that it is valid to condition on x, itself and that future expectations
t are unimportant. That implies a conditional model (i.e., conditional on observed x, ):
y% = YR + 4 E(v,-x,)=0 ; (5.6) where 7 is the parameter of interest. However, assuming (5.4) and (5.5), y is a derived parameter and is a complicated function of {6} and II. To express y, in (5.4) explicitly in terms of the observed x, requires two steps: repeated substitution of (5.5) into itself to
obtain E(x; 45144) = IPE(x, |w,_4) = IIi(x,—v,), and then direct solution of (5.4):
fe} w y, = (2 64M) +x, + le, — (2 6:0) -y,] ; (5.7) assuming that x, is stationary. With (5.5), this representation parallels (4.1)--(4.2), in which f’ = 356; Ii, e, = [e,—(256;M')-v,], and z, = x, ,. Thus, (4.4) is appropriate for
calculating the value to which the least-squares estimator of the coefficient on x, in (5.6)
converges.
1 = (SAW HG) + [Mex], —Byo( 3 {l/}56) (5.8)
Mo, = B(x,x/)” = (I-Tem)-5%, , 8 is the column vectoring operator, and ® is the
corresponding Kronecker product.® The coefficient y is constant if II, Yyy, %,.,
and the 6,’s are. However, as changes occur in the process generating x, (e.g., II varies over time), 7
also will change and the conditional model (5.6) will "break down". The Lucas critique
SIf (5.1) were a nonlinear rather than a linear difference equation in expectations, then (5.8) would include an approximation error due to the linearization of that difference equation by (5.2). The least-squares estimator for (5.6) still would have a probability limit similar in orm to 7 in (5.8), but with an additional term introduced by the approximation error; cf. White (1980). Likewise, the conditional expectation for x; in (5.3) might be nonlinear, in which case (5.5) with II would be the least-squares approximation to that nonlinear function. Such nonlinearities per se could not induce non-constancy in either y or II although, in finite samples, apparent non-constancy might be detected if (e.g.) x, were very slowly changing (e.g., very autoregressive). Additional data would clarify that there was constancy.
10
applies, and (5.6) fails to isolate the 6;’s (and so the underlying structural parameters); cf. Lucas (1976). Equation (5.1) (and so (5.4)) remains constant in spite of (5.5) evolving. Conversely, if y is constant in spite of changes in the process for x YY could not have been generated by (5.1) with constant "deep" parameters. In this case, the Lucas critique is "refuted". That is, because of (5.8), (5.1) is inconsistent with the observations that 7 is constant and that If and/or yy have changed.
To relate this to Sections 2 and 4, the evidence is categorized as follows.
W;: = is constant.
W2 {A,} and {xi} (and so {6,}) are constant.
Ws: II and/or Syy are non-constant.
The theories of interest are:
A: Yt is determined conditional upon x and B: Yt is determined via expectations of future Yt and of current and future X,.
Unlike Section 4, the parameters of interest for the two hypotheses generally are not the same, being for one and the deep structural parameters for the other. However, under each hypothesis, the corresponding parameters of interest generally are claimed to be invariant to changes in the distribution of x, (e.g., changes in policy tules); otherwise, the model would not be valid for two main purposes, forecasting and policy simulation, nor would the parameters have an "economic" interpretation.
Given (5.7) and with the choice of {Wi}, the discussion of corroboration and refutation for simultaneity applies to the expectations model, with one difference: in general
W; does not imply We, so (W:NWs3) need not intersect W>2.10 The following examples
For example, suppose the conditional model is correct (with constant y (W;)) and x; is univariate AR(1):
Ye = Xe + UY
Xt = WXt-1+ Vt, . but that an expectations model is estimated with the expectations of a single future x;:
Yt = O-B(xter|we-1) + € , . ; where wt-; = x¢-1. In that case, E(x¢sr| wt-1) = (xt-vt), so substitution gives:
yt = (yr*)E(xter| wees) + (V4 + ye) - Thus, 6, = yr because E([uit+ywe]|we-1) = 0, so & changes as 7 changes. Further, if 7 changes (Ws) and 6, is constant (W2), then r=0. That exception is Example 4a.
11
illustrate the implications for special cases of (5.4) and (5.5), namely, when only certain 6; are non-zero and when x, is univariate AR(1). Example 4a: Evidence on expectations with 6#0, 6;=0 Vi>0. In this case, (5.4)
simplifies to:
y= doE(x,|W,4) + & E(e,-W,_1)=0 . (5.4a) By substituting (5.5) into (5.4a), we obtain: Yy, = Ox, + (e, — 85¥,) - (5.7a)
Thus, the expectations model defined by (5.4a) and (5.5) is equivalent to the simuitaneous equations model (4.1)-(4.2), with e,=(e, — &v,), 4=x, 1, and f=6,. Frora (4.4), simultaneity bias arises in estimating 6, in (5.4a) by using realized values of x, rather than its expectation.
y = 6 + [Mxx]"!-(O,. — Byvdo) , (5.8a) which is not 6 even if v, and ¢, are uncorrelated. See Hendry (1988) for details. With o,.=0 and x, a stationary univariate AR(1) process, (5.8a) simplifies:
y = by . (5.8a’ ) (Nb. x,_, is not a valid instrument if 7 is ZeTO. )
Example 4b: Evidence on expectations with 6,40, 6;=0 Vi¢r, i,r>0. In this case, (5.4)
simplifies to:
y= SEK, LW y_y) + & E(e,-W,_)=0 (5.4b) and so:
y, = 4& Ux, + (e, — 6 Iv,) . (5.7b) This again parallels (4.1), so the coefficient defined by E(y, 1%) is:
7 = (WV), + [Max [B,¢— Bov()8) (5.8) With o,,=0 and a stationary univariate AR(1) process for x,:
y = mg. (5.8b’)
Figure 4 portrays Example 4 in general, and 4b for r>0. Table 1 summarizes the formulae
for yas a function of the (simultaneous or expectations-based) process generating the data.
Evidence
W, Wo» W3
N Z
Theories
A
B
Figure 4.
lla
= {vis constant.}
{{Ai} and {xi} (and so {6;}) are constant. } {Il and/or Evy are non-constant.}
(W2N Ws) \ Wi (The Lucas critique is confirmed.)
Win W;3 (The Lucas critique is refuted.)
= is determined conditional upon x,. Vt t
{Y, is determined via expectations of future y, and of current and future x,-}
The relationship between W,, W2, Ws, and specific A and B (Example 4: evidence on expectations).
11b
Table 1: Formulae for y (= plim Beg ) as a function of the data generation process.
The process generating x,*
t Example vector autoregressive univariate AR(1)
Simultaneity
3 p + (IIM,,.II’ + Yyy] t+ Dye B + (1-12)+(ove/ovv) Expectations
® : © . ® :
4 (2 {W’ }46;) + [Max] [Bye Bvv( % {H/F 463) 7? m8;
4a> 6) + [Mxx]-!+ (2. -Yvv by) 126
Ab° (TL’ )6, + [Mxx] 1+ [Z,. -Byv( Il’) 6] mt +26
Notes:
a. The second moment matrix for x; (denoted Mx) can be expressed as [IIM,,II’ + dy], and is equal to oyy/(1—72) when x; is univariate AR(1). For the expectations examples with x; being univariate AR(1), o,, is set to zero.
b. For Example 4a, 6)9#0 and 6;=0 Vi>0. c. For Example 4b, 6,40 and 6;=0 Vi¥r, i,r>0.
12
Hendry’s (1985) empirically constant conditional model of the demand for M; in the UK illustrates both Examples 3 and 4. Cuthbertson (1988) seeks to reinterpret Hendry’s model as a reduced form of a forward-looking process for money demand. However, Hendry (1988) establishes that the marginal expectations processes for income, prices, and the interest rate are not constant over the sample, so Cuthbertson’s interpretation is precluded. More generally, Nickell (1985) and Campbell and Shiller (1988) inter alia note a possible isomorphism between conditional error-correction models and rational expectations models. As implied by the results above, that equivalence does not hold when the marginal process changes over time: the data can resolve the interpretation of a constant conditional model. Cf. Hendry and Ericsson (1988) on the demand for money and Campos and Ericsson (1988) on consumers’ expenditure for other recent empirical applications in which expectationsbased models logically could not encompass the results obtained.
Before concluding, three remarks are in order. First, complete encompassing of conditional models by expectations models could be used instead of the "limited" encompassing proposed by Hendry (1988). For instance, given values for + and 69 in Example 4a, a prediction of y could be constructed from (5.8a’) and compared with the observed estimate of y from (5.6). Although intuitively appealing and well-founded theoretically, such complete encompassing can prove exceedingly difficult when x, is determined by a complicated (and unknown) process. Even so, fully efficient estimation of the expectations model requires properly specifying that process for X,. Conditional models only require estimation of the conditional equation for efficiency.
Second, and relatedly, one advantage of Hendry’s proposal for refuting the Lucas critique is that the full process for x, in (4.2) need not be specified: identifying a subset of the z, is sufficient. A proof appears in Hendry (1988), and the standard formula for
omitted variables bias provides the intuition. If some additional set of variables z* is
t required in (4.2) to make it complete: x = We, + Vat + vi ; (5.9)
13
then the least-squares estimator of II in (4.2) is subject to omitted variables bias. By assumption, II changes (W3). From the bias formula, it could have done so for one (or more) of three reasons: the underlying coefficient W; on z, changed; the coefficient W» on ze changed; or the correlation (®, say) between uF and 2, changed. Because 7 is a function of Il, which in turn is a function of W,, Wo, and ®, then 7 will change as any of W,, Yo, and ® change, excepting coincidental cancellation due to equivalent variations in parameters. Third, in practice, W;, We, and W3 are not known, but the corresponding coefficients can be tested for constancy, ¢.g., using Chow’s (1960) statistic in a recursive framework or Hoffman and Pagan’s (1988) and Ghysels and Hall’s (1988) statistic (generalizing upon Chow) for the GMM estimator. Thus, actual inferences about empirical models in light of evidence implicitly or explicitly will have varying degrees of uncertainty
associated with them.
6. Conclusions
Because a sequence of apparently confirming evidence can actually refute a theory, it is important to examine all available evidence on an empirical model jointly rather than simply corroborate a subset of the implications of a theory.!! Only well-tested theories that have successfully weathered tests outside the control of their proponents and can explain the gestalt of existing empirical evidence seem likely to provide a useful basis for applied economic analysis and policy. That means encompassing the evidence with a congruent empirical model. We cannot do better than cite Milton Friedman in support of this view.
It is one of our chief defects that we place all too much emphasis on the derivation of hypotheses and all too little on testing their validity. This distortion of emphasis is frequently unavoidable, resulting from the absence of widely accepted and objective criteria for testing the validity of hypotheses in the social sciences. But this is not the whole story. Because we cannot adequately test the validity of many hypotheses, we have fallen into the habit of not trying to test the validity of hypotheses even when we can do so. We examine evidence, reach a conclusion, set it forth, and rest content, neither asking ourselves what evidence might contradict our hypothesis nor seeking to find out whether it does. Friedman (1951, p. 107)
This appears closely related to why "ordinary" encompassing is not transitive but parsimonious encompassing is; cf. Hendry and Richard (1987).
14
As [ shall argue at greater length below, the only relevant test of the validity of a hypothesis is comparison of its predictions with experience. The hypothesis is rejected if its predictions are contradicted ("frequently" or more often than predictions from an alternative hypothesis); it is accepted if its predictions are not contradicted; great confidence is attached to it if it has survived many opportunities for contradiction. Factual evidence can never "prove" a hypothesis; it can only fail to disprove it, which is what we generally mean when we say, somewhat inexactly, that the hypothesis has been "confirmed" by experience. Friedman (1953, pp. 8-9) (italics in original)
To avoid potential apparent paradoxes such as those discussed in Sections 2—5, it seems crucial to conduct inference within the framework of general to simple, at least implicitly so by always testing a conjectured model against the most unrestricted model that is logically
entailed by the evidence. 12
2For a similar argument, see Pagan (1987, p. 6).
15 References
Boland, L.A. (1982) The Foundations of Economic Method, London, George Allen and Unwin.
Bronfenbrenner, J. (1953) "Sources and Size of Least-squares Bias in a Two-equation Model", Chapter 9 in Wm.C. Hood and T.C. Koopmans (eds.) Studies in Econometric Method, New Haven, Yale University Press, 221-235.
Campbell, J.Y. and R.J. Shiller (1988) "Interpreting Cointegrated Models", Journal of Economic Dynamics and Control, 12, 2/3, 505-522.
Campos, J. and N.R. Ericsson (1988) "Econometric Modeling of Consumers’ Expenditure in Venezuela", International Finance Discussion Paper No. 325, Board of Governors of the Federal Reserve System, Washington, D.C.
Chow, G.C. (1960) "Tests of Equality between Sets of Coefficients in Two Linear Regressions", Econometrica, 28, 3, 591-605.
Cuthbertson, K. (1988) "The Demand for My: A Forward Looking Buffer Stock Model", Ozford Economic Papers, 40, 1, 110-131.
Davidson, J.E.H., D.F. Hendry, F. Srba, and S. Yeo (1978) "Econometric Modelling of the Aggregate Time-series Relationship between Consumers’ Expenditure and Income in the United Kingdom", Economic Journal, 88, 352, 661-692.
Friedman, M. (1951) "Comment" in G. Haberler (ed.) Conference on Business Cycles, New York, National Bureau of Economic Research, 107-114.
Friedman, M. (1953) "The Methodology of Positive Economics" in M. Friedman issays in Positive Economics, Chicago, University of Chicago Press.
Ghysels, E. and A.D. Hall (1988) "A Test for Structural Stability of Euler Conditions Parameters Estimated via GMM Estimator", paper presented at the European Meetings of the Econometric Society, Bologna, Italy.
Hendry, D.F. (1985) "Monetary Economic Myth and Econometric Reality", Ozford Review of Economic Policy, 1, 1, 72-84.
Hendry, D.F. (1987) "Econometric Methodology: A Personal Perspective", Chapter 10 in
T.F. Bewley (ed.) Advances in Econometrics, Cambridge, Cambridge University Press, Volume 2, 29-48.
Hendry, D.F. (1988) "The Encompassing Implications of Feedback versus Feedforward Mechanisms in Econometrics", Ozford Economic Papers, 40, 1, 182-149.
Hendry, D.F. and N.R. Ericsson (1988) "An Econometric Analysis of UK Money Demand in Monetary Trends in the United States and the United Kingdom by Milton Friedman and Anna J. Schwartz", mimeo, Board of Governors of the Federal Reserve System, Washington, D.C.; forthcoming, American Economic Renew.
Hendry, D.F. and G.E. Mizon (1978) "Serial Correlation as a Convenient Simplification, Not a Nuisance: A Comment on a Study of the Demand for Money by the Bank of England", Economic Journal, 88, 351, 549-563.
16
Hendry, D.F. and J.-F. Richard (1982) "On the Formulation of Empirical Models in Dynamic Econometrics", Journal of Econometrics, 20, 1, 3-33.
Hendry, D.F. and J.-F. Richard (1987) "Recent Developments in the Theory of Encompassing", C.O.R.E. Discussion Paper No. 8722, Louvain-la-Neuve, Belgium, forthcoming in CORE Twentieth Anniversary Volume, Cambridge, MIT Press.
Hendry, D.F. and Th. von Ungern-Sternberg (1981) "Liquidity and Inflation Effects on Ccnsumers’ Expenditure", Chapter 9 in A.S. Deaton (ed.) Essays in the Theory and Measurement of Consumer Behaviour, Cambridge, Cambridge University Press, 237—260.
Hoffman, D. and A. Pagan (1988) "Post-sample Prediction Tests for Generalized Method of Moments Estimators", Working Paper No. 129, University of Rochester, Rochester, N.Y.
Keynes, J.M. (1921) A Treatise on Probability, London, Macmillan.
Lakatos, I. (1970) "Falsification and the Methodology of Scientific Research Programmes" in I. Lakatos and A. Musgrave (eds.) Criticism and the Growth of Knowledge, Cambridge, Cambridge University Press, 91-196.
Lucas, Jr., R.E. (1976) "Econometric Policy Evaluation: A Critique" in K. Brunner and A.H. Meltzer (eds.) Carnegie-Rochester Conferences on Public Policy, Volume 1, Journal of Monetary Economics, 19-46.
Mizon, G.E. and J.-F. Richard (1986) "The Encompassing Principle and Its Application to Testing Non-nested Hypotheses", Econometrica, 54, 3, 657-678.
Nickell, S. (1985) "Error Correction, Partial Adjustment and All That: An Expository Note", Ozford Bulletin of Economics and Statistics, 47, 2, 119-129.
Pagan, A. (1987) "Three Econometric Methodologies: A Critical Appraisal", Journal of Economic Surveys, 1, 1, 3-24.
Popper, K.R. (1959) The Logic of Scientific Discovery, London, Hutchinson. Shimony, A. (1988) "The Reality of the Quantum World", Scientific American, 258, 1, 46
White, H. (1980) "Using Least Squares to Approximate Unknown Regression Functions", International Economic Review, 21, 1, 149-170.
White, H. (1988) Specification Analysis in Econometrics, Cambridge, Cambridge University Press, forthcoming.
IFDP NUMBER
354
352
351
350
349
348
347
346
345
344
343
342
341
340
17
International Finance Discussion Papers
TITLES 1989
Encompassing and Rational Expectations: How Sequential Corroboration Can Imply Refutation
The United States as a Heavily Indebted Country
External Debt and Developing Country Growth
An Algorithm to Solve Dynamic Models
Implications of the U.S. Current Account Deficit
Financial Integration in the European Community
Exact and Approximate Multi-Period Mean-Square Forecast Errors for Dynamic Econometric Models
Macroeconomic Policies, Competitiveness, and U.S. External Adjustment
Exchange Rates and U.S. External Adjustment in the Short Run and the Long Run
U.S. External Adjustment: Progress and Prospects
Domestic and Cross-Border Consequences of U.S. Macroeconomic Policies
The Profitability of U.S. Intervention Approaches to Managing External Equilibria: Where We Are, Where We Might Be Headed, and How We Might
Get There
A Note on "Transfers"
A New Interpretation of the Coordination Problem and its Empirical Significance
AUTHOR (s)
Neil R. Ericsson David F. Hendry
David H. Howard
Steven B. Kamin Robert B. Kahn Ross Levine
Wilbur John Coleman II
David H. Howard
Sydney J. Key
Neil R. Ericsson Jaime R. Marquez
Peter Hooper
Peter Hooper
William L. Helkie Peter Hooper
Ralph C. Bryant John Helliwell Peter Hooper
Michael P. Leahy
Edwin M. Truman
David B. Gordon Ross Levine
Matthew B. Canzoneri Hali J. Edison
Please address requests for copies to International Finance Discussion Papers, Division of International Finance, Stop 24, Board of Governors of the
Federal Reserve System, Washington, D.C.
20551.
IFDP NUMBER
339
338
337
336
335
334
332
331
330
329
328
327
18
International Finance Discussion Papers TITLES 1988
A Long-Run View of the European Monetary System
The Forward Exchange Rate Bias: Explanation
A New
Adequacy of International Transactions and Position Data for Policy Coordination
Nominal Interest Rate Pegging Under Alternative Expectations Hypotheses
The Dynamics of Uncertainty or The Uncertainty of Dynamics: Stochastic J-Curves
Devaluation, Exchange Controls, and Black Markets for Foreign Exchange in Developing Countries
International Banking Facilities Panic, Liquidity and the Lender of Last Resort: A Strategic Analysis Real Interest Rates During the Disinflation Process in Developing
Countries
International Comparisons of Labor Costs in Manufacturing
Interactions Between Domestic and Foreign Investment
The Timing of Consumer Arrivals in Edgeworth’s Duopoly Model
Competition by Choice
AUTHOR(s)
Hali J. Edison Eric Fisher
Ross Levine Lois Stekler Joseph E. Gagnon
Dale W. Henderson
Jaime Marquez
Steven B. Kamin
Sydney J. Key Henry S. Terrell
R. Glen Donaldson
Steven B. Kamin David F. Spigelman
Peter Hooper Kathryn A. Larin
Guy V.G. Stevens Robert E. Lipsey
Marc Dudey
Marc Dudey
Cite this document
Neil R. Ericsson and David F. Hendry (1989). Encompassing and Rational Expectations: How Sequential Corroboration Can Imply Refutation (IFDP 1989-354). Board of Governors of the Federal Reserve System, International Finance Discussion Papers. https://whenthefedspeaks.com/doc/ifdp_1989-354
@techreport{wtfs_ifdp_1989_354,
author = {Neil R. Ericsson and David F. Hendry},
title = {Encompassing and Rational Expectations: How Sequential Corroboration Can Imply Refutation},
type = {International Finance Discussion Papers},
number = {1989-354},
institution = {Board of Governors of the Federal Reserve System},
year = {1989},
url = {https://whenthefedspeaks.com/doc/ifdp_1989-354},
abstract = {Even though pieces of empirical evidence individually may corroborate an economic theory, their joint existence may refute that same theory. We discuss examples concerning testing for omitted variables, simultaneity, and rational expectations in the context of general-to-simple versus simple-to-general modeling. The proposition in the first sentence strongly favors the building of empirical models which are consistent with all available evidence.},
}