O sensowności danego wyrażenia orzekała metoda jego rozstrzygania - dla zdań weryfikacja, orzekanie dla nazw. Nazwy indywidualne i orzeczniki obserwacyjne (czyli nazwy własności obserwowalnych, których przysługiwanie lub nieprzysługiwanie indywidualnym makroskopowym przedmiotom da się definitywnie rozstrzygnąć przez krótki, skończony ciąg prostych obserwacji) to całkowicie zinterpretowane, a więc w pełni sensowne wyrażenia nazwowe języka empirycznego. Sensowność wszelkich innych wyrażeń nazwowych języka zależy od ich definiowalności przez nazwy całkowicie zinterpretowane.
Teorie sprawdzania logicznego empiryzmu odwołują się każdorazowo do konfrontowania twierdzeń wyprowadzanych ze sprawdzalnych hipotez ze zdaniami czysto empirycznymi. W następujących etapach przedstawić można ewolucję empirystycznego kryterium znaczenia poznawczego, inaczej to nazywając: ewolucj kryterium demarkacji na sfery: nauki i nie-nauki (sensu i non-sensu):
Pierwszą wersję owego kryterium stanowił wymóg pełnej zasadniczej weryfikowalności.