English

The Combinatorics of Falsification and Hypothesis Testing

Logic 2022-09-27 v1

Abstract

The present paper is concerned with the question of how falsifiable a single proposition is in the short and long run. Formal Learning theorists such as Schulte and Juhl have argued that long-run falsifiability is characterized by the topological notion of nowhere density in a suitable topological space. I argue that the short-run falsifiability of a hypothesis is in turn characterized by the VC finiteness of the hypothesis. Crucially, VC finite hypotheses correspond precisely to definable sets in NIP structures. I end the chapter by giving rigorous foundations for Mayo's conception of severe testing by way of a combinatorial, non-probabilistic notion of surprise. VC finite hypotheses again appear as the hypotheses with guaranteed short-run surprise bounds. Therefore, NIP theories and VC finite hypotheses capture the notion of short-run falsifiability.

Keywords

Cite

@article{arxiv.2209.12066,
  title  = {The Combinatorics of Falsification and Hypothesis Testing},
  author = {Reid Dale},
  journal= {arXiv preprint arXiv:2209.12066},
  year   = {2022}
}
R2 v1 2026-06-28T02:01:41.133Z