Teoria semântica segundo a qual uma frase indicativa tem significado se, e somente se, a ela está associado um método de verificação. teoria da epistemologia da ciência segundo a qual a pretensão de verdade de uma hipótese é sustentada pela verificação.