O verificacionismo é uma doutrina central do positivismo lógico que sustenta que, a menos que uma sentença possa ser verificada empiricamente, isto é, estabelecida como verdadeira em princípio, tendo por base a experiência empírica, ela é destituída de sentido (isso não aplica a verdades e falsidades necessárias).

O problema é que existem todas as espécies de afirmações que não podem ser verificadas e ainda assim fazem sentido - por exemplo, "uma cidade nunca será construída neste local x".

Além disso, há a impossibilidade da verificação do próprio princípio da verificação, de forma que o principal erro produzido pelo princípio é que, enquanto deve ser possível especificar que estado de coisas, caso tenha ocorrido, faria com que uma sentença fosse verdadeira para que ela seja dotada de sentido, é uma questão totalmente diferente ser realmente capaz de descobrir, mesmo em princípio, se aquele estado de coisas ocorre.

Podem existir muitos tipos de afirmações, cuja verdade não podemos descobrir.