Foundations of statistics

The foundations of statistics concern the epistemological debate in statistics over how one should conduct inductive inference from data. Among the issues considered in statistical inference are the question of Bayesian inference versus frequentist inference, the distinction between Fisher's "significance testing" and Neyman–Pearson "hypothesis testing", and whether the likelihood principle should be followed. Some of these issues have been debated for up to 200 years without resolution.[1]

Bandyopadhyay & Forster[2] describe four statistical paradigms: "(i) classical statistics or error statistics, (ii) Bayesian statistics, (iii) likelihood-based statistics, and (iv) the Akaikean-Information Criterion-based statistics".

Savage's text Foundations of Statistics has been cited over 15000 times on Google Scholar.[3] It states the following.

It is unanimously agreed that statistics depends somehow on probability. But, as to what probability is and how it is connected with statistics, there has seldom been such complete disagreement and breakdown of communication since the Tower of Babel. Doubtless, much of the disagreement is merely terminological and would disappear under sufficiently sharp analysis.[4]

Fisher's "significance testing" vs. Neyman–Pearson "hypothesis testing"

In the development of classical statistics in the second quarter of the 20th century two competing models of inductive statistical testing were developed.[5][6] Their relative merits were hotly debated[7] (for over 25 years) until Fisher's death. While a hybrid of the two methods is widely taught and used, the philosophical questions raised in the debate have not been resolved.

Significance testing

Fisher popularized significance testing, primarily in two popular and highly influential books.[8][9] Fisher's writing style in these books was strong on examples and relatively weak on explanations. The books lacked proofs or derivations of significance test statistics (which placed statistical practice in advance of statistical theory). Fisher's more explanatory and philosophical writing was written much later.[10] There appear to be some differences between his earlier practices and his later opinions.

Fisher was motivated to obtain scientific experimental results without the explicit influence of prior opinion. The significance test is a probabilistic version of Modus tollens, a classic form of deductive inference. The significance test might be simplistically stated, "If the evidence is sufficiently discordant with the hypothesis, reject the hypothesis". In application, a statistic is calculated from the experimental data, a probability of exceeding that statistic is determined and the probability is compared to a threshold. The threshold (the numeric version of "sufficiently discordant") is arbitrary (usually decided by convention). A common application of the method is deciding whether a treatment has a reportable effect based on a comparative experiment. Statistical significance is a measure of probability not practical importance. It can be regarded as a requirement placed on statistical signal/noise. The method is based on the assumed existence of an imaginary infinite population corresponding to the null hypothesis.

The significance test requires only one hypothesis. The result of the test is to reject the hypothesis (or not), a simple dichotomy. The test distinguishes between truth of the hypothesis and insufficiency of evidence to disprove the hypothesis; so it is like a criminal trial in which the defendant's guilt is assessed against a null hypothesis where the defendant is assumed innocent until proven guilty.

Hypothesis testing

Neyman & Pearson collaborated on a different, but related, problem – selecting among competing hypotheses based on the experimental evidence alone. Of their joint papers, the most cited was from 1933.[11] The famous result of that paper is the Neyman–Pearson lemma. The lemma says that a ratio of probabilities is an excellent criterion for selecting a hypothesis (with the threshold for comparison being arbitrary). The paper proved an optimality of Student's t-test (one of the significance tests). Neyman expressed the opinion that hypothesis testing was a generalization of and an improvement on significance testing. The rationale for their methods is found in their joint papers.[12]

Hypothesis testing requires multiple hypotheses. A hypothesis is always selected, a multiple choice. A lack of evidence is not an immediate consideration. The method is based on the assumption of a repeated sampling of the same population (the classical frequentist assumption), although this assumption was criticized by Fisher (Rubin, 2020).[13]

Grounds of disagreement

The length of the dispute allowed the debate of a wide range of issues regarded as foundational to statistics.

An example exchange from 1955–1956
Fisher's attack[14] Neyman's rebuttal[15] Discussion
Repeated sampling of the same population Fisher's theory of fiducial inference is flawed
  • Paradoxes are common
 Fisher's attack on the basis of frequentist probability failed, but was not without result. He identified a specific case (2×2 table) where the two schools of testing reach different results. This case is one of several that are still troubling. Commentators believe that the "right" answer is context dependent.[16] Fiducial probability has not fared well, being virtually without advocates, while frequentist probability remains a mainstream interpretation.
Type II errors
  • Which result from an alternative hypothesis
 A purely probabilistic theory of tests requires an alternative hypothesis Fisher's attack on type II errors has faded with time. In the intervening years statistics has separated the exploratory from the confirmatory. In the current environment, the concept of type II errors is used in power calculations for confirmatory hypothesis test sample size determination.
Inductive behavior Fisher's attack on inductive behavior has been largely successful because of his selection of the field of battle. While operational decisions are routinely made on a variety of criteria (such as cost), scientific conclusions from experimentation are typically made on the basis of probability alone.

In this exchange, Fisher also discussed the requirements for inductive inference, with specific criticism of cost functions penalizing faulty judgements. Neyman countered that Gauss and Laplace used them. This exchange of arguments occurred 15 years after textbooks began teaching a hybrid theory of statistical testing.

Fisher and Neyman were in disagreement about the foundations of statistics (although united in vehement opposition to the Bayesian view[16]):

  • The interpretation of probability
    • The disagreement over Fisher's inductive reasoning vs. Neyman's inductive behavior contained elements of the Bayesian/Frequentist divide. Fisher was willing to alter his opinion (reaching a provisional conclusion) on the basis of a calculated probability while Neyman was more willing to change his observable behavior (making a decision) on the basis of a computed cost.
  • The proper formulation of scientific questions with special concern for modeling[7][17]
  • Whether it is reasonable to reject a hypothesis based on a low probability without knowing the probability of an alternative
  • Whether a hypothesis could ever be accepted on the basis of data
    • In mathematics, deduction proves, counter-examples disprove
    • In the Popperian philosophy of science, advancements are made when theories are disproven
  • Subjectivity: While Fisher and Neyman struggled to minimize subjectivity, both acknowledged the importance of "good judgement". Each accused the other of subjectivity.
    • Fisher subjectively chose the null hypothesis.
    • Neyman–Pearson subjectively chose the criterion for selection (which was not limited to a probability).
    • Both subjectively determined numeric thresholds.

Fisher and Neyman were separated by attitudes and perhaps language. Fisher was a scientist and an intuitive mathematician. Inductive reasoning was natural. Neyman was a rigorous mathematician. He was convinced by deductive reasoning rather by a probability calculation based on an experiment.[5] Thus there was an underlying clash between applied and theoretical, between science and mathematics.

Neyman, who had occupied the same building in England as Fisher, accepted a position on the west coast of the United States of America in 1938. His move effectively ended his collaboration with Pearson and their development of hypothesis testing.[5] Further development was continued by others.

Textbooks provided a hybrid version of significance and hypothesis testing by 1940.[18] None of the principals had any known personal involvement in the further development of the hybrid taught in introductory statistics today.[6]

Statistics later developed in different directions including decision theory (and possibly game theory), Bayesian statistics, exploratory data analysis, robust statistics and nonparametric statistics. Neyman–Pearson hypothesis testing contributed strongly to decision theory which is very heavily used (in statistical quality control for example). Hypothesis testing readily generalized to accept prior probabilities which gave it a Bayesian flavor. Neyman–Pearson hypothesis testing has become an abstract mathematical subject taught in post-graduate statistics,[19] while most of what is taught to under-graduates and used under the banner of hypothesis testing is from Fisher.

Contemporary opinion

No major battles between the two classical schools of testing have erupted for decades, but sniping continues (perhaps encouraged by partisans of other controversies). After generations of dispute, there is virtually no chance that either statistical testing theory will replace the other in the foreseeable future.

The hybrid of the two competing schools of testing can be viewed very differently – as the imperfect union of two mathematically complementary ideas[16] or as the fundamentally flawed union of philosophically incompatible ideas.[20] Fisher enjoyed some philosophical advantage, while Neyman & Pearson employed the more rigorous mathematics. Hypothesis testing is controversial among some users, but the most popular alternative (confidence intervals) is based on the same mathematics.

The history of the development left testing without a single citable authoritative source for the hybrid theory that reflects common statistical practice. The merged terminology is also somewhat inconsistent. There is strong empirical evidence that the graduates (and instructors) of an introductory statistics class have a weak understanding of the meaning of hypothesis testing.[21]

Summary
  • The interpretation of probability has not been resolved (but fiducial probability is an orphan).
  • Neither test method has been rejected. Both are heavily used for different purposes.
  • Texts have merged the two test methods under the term hypothesis testing.
    • Mathematicians claim (with some exceptions) that significance tests are a special case of hypothesis tests.
    • Others treat the problems and methods as distinct (or incompatible).
  • The dispute has adversely affected statistical education.

Bayesian inference versus frequentist inference

Two different interpretations of probability (based on objective evidence and subjective degrees of belief) have long existed. Gauss and Laplace could have debated alternatives more than 200 years ago. Two competing schools of statistics have developed as a consequence. Classical inferential statistics was largely developed in the second quarter of the 20th century,[6] much of it in reaction to the (Bayesian) probability of the time which utilized the controversial principle of indifference to establish prior probabilities. The rehabilitation of Bayesian inference was a reaction to the limitations of frequentist probability. More reactions followed. While the philosophical interpretations are old, the statistical terminology is not. The current statistical terms "Bayesian" and "frequentist" stabilized in the second half of the 20th century.[22] The (philosophical, mathematical, scientific, statistical) terminology is confusing: the "classical" interpretation of probability is Bayesian while "classical" statistics is frequentist. "Frequentist" also has varying interpretations—different in philosophy than in physics.

The nuances of philosophical probability interpretations are discussed elsewhere. In statistics the alternative interpretations enable the analysis of different data using different methods based on different models to achieve slightly different goals. Any statistical comparison of the competing schools considers pragmatic criteria beyond the philosophical.

Major contributors
Main article: History of statistics

Two major contributors to frequentist (classical) methods were Fisher and Neyman.[5] Fisher's interpretation of probability was idiosyncratic (but strongly non-Bayesian). Neyman's views were rigorously frequentist. Three major contributors to 20th century Bayesian statistical philosophy, mathematics and methods were de Finetti,[23] Jeffreys[24] and Savage.[25] Savage popularized de Finetti's ideas in the English-speaking world and made Bayesian mathematics rigorous. In 1965, Dennis Lindley's 2 volume work "Introduction to Probability and Statistics from a Bayesian Viewpoint" brought Bayesian methods to a wide audience. Statistics has advanced over the past three generations; The "authoritative" views of the early contributors are not all current.

Frequentist inference
Main article: Frequentist inference

Frequentist inference is partially and tersely described above in (Fisher's "significance testing" vs. Neyman–Pearson "hypothesis testing"). Frequentist inference combines several different views. The result is capable of supporting scientific conclusions, making operational decisions and estimating parameters with or without confidence intervals. Frequentist inference is based solely on the (one set of) evidence.

Bayesian inference
Main article: Bayesian inference

A classical frequency distribution describes the probability of the data. The use of Bayes' theorem allows a more abstract concept – the probability of a hypothesis (corresponding to a theory) given the data. The concept was once known as "inverse probability". Bayesian inference updates the probability estimate for a hypothesis as additional evidence is acquired. Bayesian inference is explicitly based on the evidence and prior opinion, which allows it to be based on multiple sets of evidence.

Comparisons of characteristics

Frequentists and Bayesians use different models of probability. Frequentists often consider parameters to be fixed but unknown while Bayesians assign probability distributions to similar parameters. Consequently, Bayesians speak of probabilities that don't exist for frequentists; A Bayesian speaks of the probability of a theory while a true frequentist can speak only of the consistency of the evidence with the theory. Example: A frequentist does not say that there is a 95% probability that the true value of a parameter lies within a confidence interval, saying instead that 95% of confidence intervals contain the true value.

Efron's[26] comparative adjectives
Bayes Frequentist
  • Basis
  • Resulting Characteristic
  • _
  • Ideal Application
  • Target Audience
  • Modeling Characteristic
  • Belief (prior)
  • Principled Philosophy
  • One distribution
  • Dynamic (repeated sampling)
  • Individual (subjective)
  • Aggressive
  • Behavior (method)
  • Opportunistic Methods
  • Many distributions (bootstrap?)
  • Static (one sample)
  • Community (objective)
  • Defensive
Alternative comparison[27][28]
Bayesian Frequentist
Strengths
  • Complete
  • Coherent
  • Prescriptive
  • _
  • _
  • _
  • _
  • _
  • Strong inference from model
  • Inferences well calibrated
  • No need to specify prior distributions
  • Flexible range of procedures
    • Unbiasness, sufficiency, ancillarity...
    • Widely applicable and dependable
    • Asymptotic theory
    • Easy to interpret
    • Can be calculated by hand
  • Strong model formulation & assessment
Weaknesses
  • Too subjective for scientific inference
  • Denies the role of randomization for design
  • Requires and relies on full specification of a model (likelihood and prior)
  • _
  • _
  • _
  • Weak model formulation & assessment
  • Incomplete
  • Ambiguous
  • Incoherent
  • Not prescriptive
  • No unified theory
  • (Over?)emphasis on asymptotic properties
  • Weak inference from model

Mathematical results

Neither school is immune from mathematical criticism and neither accepts it without a struggle. Stein's paradox (for example) illustrated that finding a "flat" or "uninformative" prior probability distribution in high dimensions is subtle.[1] Bayesians regard that as peripheral to the core of their philosophy while finding frequentism to be riddled with inconsistencies, paradoxes and bad mathematical behavior. Frequentists can explain most. Some of the "bad" examples are extreme situations - such as estimating the weight of a herd of elephants from measuring the weight of one ("Basu's elephants"), which allows no statistical estimate of the variability of weights. The likelihood principle has been a battleground.

Statistical results

Both schools have achieved impressive results in solving real-world problems. Classical statistics effectively has the longer record because numerous results were obtained with mechanical calculators and printed tables of special statistical functions. Bayesian methods have been highly successful in the analysis of information that is naturally sequentially sampled (radar and sonar). Many Bayesian methods and some recent frequentist methods (such as the bootstrap) require the computational power widely available only in the last several decades. There is active discussion about combining Bayesian and frequentist methods,[29][27] but reservations are expressed about the meaning of the results and reducing the diversity of approaches.

Philosophical results

Bayesians are united in opposition to the limitations of frequentism, but are philosophically divided into numerous camps (empirical, hierarchical, objective, personal, subjective), each with a different emphasis. One (frequentist) philosopher of statistics has noted a retreat from the statistical field to philosophical probability interpretations over the last two generations.[30] There is a perception that successes in Bayesian applications do not justify the supporting philosophy.[31] Bayesian methods often create useful models that are not used for traditional inference and which owe little to philosophy.[32] None of the philosophical interpretations of probability (frequentist or Bayesian) appears robust. The frequentist view is too rigid and limiting while the Bayesian view can be simultaneously objective and subjective, etc.

Illustrative quotations
  • "carefully used, the frequentist approach yields broadly applicable if sometimes clumsy answers"[33]
  • "To insist on unbiased [frequentist] techniques may lead to negative (but unbiased) estimates of a variance; the use of p-values in multiple tests may lead to blatant contradictions; conventional 0.95 confidence regions may actually consist of the whole real line. No wonder that mathematicians find it often difficult to believe that conventional statistical methods are a branch of mathematics."[34]
  • "Bayesianism is a neat and fully principled philosophy, while frequentism is a grab-bag of opportunistic, individually optimal, methods."[26]
  • "in multiparameter problems flat priors can yield very bad answers"[33]
  • "[Bayes' rule] says there is a simple, elegant way to combine current information with prior experience in order to state how much is known. It implies that sufficiently good data will bring previously disparate observers to agreement. It makes full use of available information, and it produces decisions having the least possible error rate."[35]
  • "Bayesian statistics is about making probability statements, frequentist statistics is about evaluating probability statements."[36]
  • "[S]tatisticians are often put in a setting reminiscent of Arrow’s paradox, where we are asked to provide estimates that are informative and unbiased and confidence statements that are correct conditional on the data and also on the underlying true parameter."[36] (These are conflicting requirements.)
  • "formal inferential aspects are often a relatively small part of statistical analysis"[33]
  • "The two philosophies, Bayesian and frequentist, are more orthogonal than antithetical."[26]
  • "An hypothesis that may be true is rejected because it has failed to predict observable results that have not occurred. This seems a remarkable procedure."[24]

Summary
  • Bayesian theory has a mathematical advantage
    • Frequentist probability has existence and consistency problems
    • But, finding good priors to apply Bayesian theory remains (very?) difficult
  • Both theories have impressive records of successful application
  • Neither supporting philosophical interpretation of probability is robust
  • There is increasing skepticism of the connection between application and philosophy
  • Some statisticians are recommending active collaboration (beyond a cease fire)

The likelihood principle
Main article: Likelihood principle

Likelihood is a synonym for probability in common usage. In statistics that is not true. A probability refers to variable data for a fixed hypothesis while a likelihood refers to variable hypotheses for a fixed set of data. Repeated measurements of a fixed length with a ruler generate a set of observations. Each fixed set of observational conditions is associated with a probability distribution and each set of observations can be interpreted as a sample from that distribution – the frequentist view of probability. Alternatively a set of observations may result from sampling any of a number of distributions (each resulting from a set of observational conditions). The probabilistic relationship between a fixed sample and a variable distribution (resulting from a variable hypothesis) is termed likelihood – a Bayesian view of probability. A set of length measurements may imply readings taken by careful, sober, rested, motivated observers in good lighting.

A likelihood is a probability (or not) by another name which exists because of the limited frequentist definition of probability. Likelihood is a concept introduced and advanced by Fisher for more than 40 years (although prior references to the concept exist and Fisher's support was half-hearted).[37] The concept was accepted and substantially changed by Jeffreys.[38] In 1962 Birnbaum "proved" the likelihood principle from premises acceptable to most statisticians.[39] The "proof" has been disputed by statisticians and philosophers. The principle says that all of the information in a sample is contained in the likelihood function, which is accepted as a valid probability distribution by Bayesians (but not by frequentists).

Some (frequentist) significance tests are not consistent with the likelihood principle. Bayesians accept the principle which is consistent with their philosophy (perhaps encouraged by the discomfiture of frequentists). "[T]he likelihood approach is compatible with Bayesian statistical inference in the sense that the posterior Bayes distribution for a parameter is, by Bayes's Theorem, found by multiplying the prior distribution by the likelihood function."[37] Frequentists interpret the principle adversely to Bayesians as implying no concern about the reliability of evidence. "The likelihood principle of Bayesian statistics implies that information about the experimental design from which evidence is collected does not enter into the statistical analysis of the data."[40] Many Bayesians (Savage for example)[41] recognize that implication as a vulnerability.

The likelihood principle has become an embarrassment to both major philosophical schools of statistics; It has weakened both rather than favoring either. Its strongest supporters claim that it offers a better foundation for statistics than either of the two schools. "[L]ikelihood looks very good indeed when it is compared with these [Bayesian and frequentist] alternatives."[42] These supporters include statisticians and philosophers of science.[43] While Bayesians acknowledge the importance of likelihood for calculation, they believe that the posterior probability distribution is the proper basis for inference.[44]

Modeling
Main articles: Model selection and Structural equation modeling

Inferential statistics is based on statistical models. Much of classical hypothesis testing, for example, was based on the assumed normality of the data. Robust and nonparametric statistics were developed to reduce the dependence on that assumption. Bayesian statistics interprets new observations from the perspective of prior knowledge – assuming a modeled continuity between past and present. The design of experiments assumes some knowledge of those factors to be controlled, varied, randomized and observed. Statisticians are well aware of the difficulties in proving causation (more of a modeling limitation than a mathematical one), saying "correlation does not imply causation".

More complex statistics utilizes more complex models, often with the intent of finding a latent structure underlying a set of variables. As models and data sets have grown in complexity,[lower-alpha 1][lower-alpha 2] foundational questions have been raised about the justification of the models and the validity of inferences drawn from them. The range of conflicting opinion expressed about modeling is large.

  • Models can be based on scientific theory or on ad-hoc data analysis. The approaches use different methods. There are advocates of each.[46]
  • Model complexity is a compromise. The Akaikean information criterion and Bayesian information criterion are two less subjective approaches to achieving that compromise.[47]
  • Fundamental reservations have been expressed about even simple regression models used in the social sciences. A long list of assumptions inherent to the validity of a model is typically neither mentioned nor checked. A favorable comparison between observations and model is often considered sufficient.[48]
  • Bayesian statistics focuses so tightly on the posterior probability that it ignores the fundamental comparison of observations and model.[32]
  • Traditional observation-based models are inadequate to solve many important problems. A much wider range of models, including algorithmic models, must be utilized. "If the model is a poor emulation of nature, the conclusions may be wrong."[49]
  • Modeling is often poorly done (the wrong methods are used) and poorly reported.[50]

In the absence of a strong philosophical consensus review of statistical modeling, many statisticians accept the cautionary words of statistician George Box: "All models are wrong, but some are useful."

Other reading

For a short introduction to the foundations of statistics, see Stuart, A.; Ord, J.K. (1994). "Ch. 8 – Probability and statistical inference". Kendall's Advanced Theory of Statistics. Vol. I: Distribution Theory (6th ed.). Edward Arnold.

In his book Statistics as Principled Argument, Robert P. Abelson articulates the position that statistics serves as a standardized means of settling disputes between scientists who could otherwise each argue the merits of their own positions ad infinitum. From this point of view, statistics is a form of rhetoric; as with any means of settling disputes, statistical methods can succeed only as long as all parties agree on the approach used.[51]

See also

Footnotes
  1. Some large models attempt to predict the behavior of voters in the United States of America. The population is around 300 million. Each voter may be influenced by many factors. For some of the complications of voter behavior (most easily understood by the natives) see: Gelman[45]
  2. Efron (2013) mentions millions of data points and thousands of parameters from scientific studies.[26]

Citations
  1. Efron 1978.
  2. Bandyopadhyay & Forster 2011.
  3. "citations of Savage (1972)". Google Scholar.
  4. Savage 1972.
  5. Lehmann 2011.
  6. Gigerenzer et al. 1989.
  7. Louçã 1993.
  8. Fisher 1925.
  9. Fisher 1935.
  10. Fisher 1956.
  11. Neyman & Pearson 1933.
  12. Neyman & Pearson 1967.
  13. Rubin, M (2020). ""Repeated sampling from the same population?" A critique of Neyman and Pearson's responses to Fisher". European Journal for Philosophy of Science. 10 (42): 1–15. doi:10.1007/s13194-020-00309-6.
  14. Fisher 1955.
  15. Neyman 1956.
  16. Lehmann 1993.
  17. Lenhard 2006.
  18. Halpin & Stam 2006.
  19. Lehmann & Romano 2005.
  20. Hubbard & Bayarri c. 2003.
  21. Sotos et al. 2007.
  22. Fienberg 2006.
  23. de Finetti 1964.
  24. Jeffreys 1939.
  25. Savage 1954.
  26. Efron 2013.
  27. Little 2005.
  28. Yu 2009.
  29. Berger 2003.
  30. Mayo 2013.
  31. Senn 2011.
  32. Gelman & Shalizi 2012.
  33. Cox 2005.
  34. Bernardo 2008.
  35. Kass c. 2012.
  36. Gelman 2008.
  37. Edwards 1999.
  38. Aldrich 2002.
  39. Birnbaum 1962.
  40. Backe 1999.
  41. Savage 1960, p. 585.
  42. Forster & Sober 2001.
  43. Royall 1997.
  44. Lindley 2000.
  45. Gelman. "Red-blue talk UBC" (PDF). Statistics. Columbia U.
  46. Tabachnick & Fidell 1996.
  47. Forster & Sober 1994.
  48. Freedman 1995.
  49. Breiman 2001.
  50. Chin n.d.
  51. Abelson, Robert P. (1995). Statistics as Principled Argument. Lawrence Erlbaum Associates. ISBN 978-0-8058-0528-4. ... the purpose of statistics is to organize a useful argument from quantitative evidence, using a form of principled rhetoric.

References

Further reading
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.