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


Have a Say?
Submit additional information | Correct Errors