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).

### Related:

Last update 2020-05-25. Price and product availability may change.