Cobre verificacionismo, análise lógica, enunciados protocolares e o projeto de unidade da ciência. Também avalia as dificuldades de reduzir significado a métodos de verificação.
