Craigův teorém

Craigův teorém [krej-], log . teorém, podle něhož jsou v rámci deduktivní systematizace nějaké vědní disciplíny teoretické pojmy pro odvozování observačních důsledků zbytečné, a proto eliminovatelné: je-li axiomatická teorie T vyjádřena v jazyku J s observačním jazykem J0, pak lze v jazyku J0 konstruovat axiomatickou teorii T,, jež je s T empiricky ekvivalentní, přičemž T' neobsahuje žádné teoretické termíny. Aplikace tohoto teorému je značně sporná, protože předpoklad ryze observačního jazyka je neopodstatněná idealizace novopozitivistů.