Al igual que otras definiciones de teorías, incluyendo la de Popper, Kitcher deja en claro que una teoría debe incluir declaraciones que tengan consecuencias observacionales.