Craig’s theorem (1953).
Proof concerning the formal description of scientific theories, expounded by William Craig.
According to Craig, a formal expression of a scientific theory is divisible into ‘theoretical’ and ‘observational’ vocabularies, and (since the ‘observational’ terms are all deducible) it follows that a description can be produced that consists only of ‘observational’ terms and in which all ‘theoretical’ terms are omitted (although he did not suggest that these were in fact undesirable).
Last update 2020-03-31. Price and product availability may change.