Elements of scientific inquiry

the long version

Eric Martin and Daniel N. Osherson take as their starting point a different set of intuitions about the variables to be retained in a model of inquiry. They present a theory of inductive logic that is built from the tools of logic and model theory. Their aim is to extend the mathematics of formal learning theory to a more general setting and to provide a more accurate image of empirical inquiry. In particular, their theory integrates recent ideas in the theory of rational belief change. The formal results of their study illuminate aspects of scientific inquiry that are not covered by the Bayesian approach.