Фактическая истинность, согласно Карнапу, определяется через соответствие суждения какому-либо опыту или наблюдению. Никакое формальное доказательство не установит, что трава зелена, нужна проверка. Но не всякое суждение можно проверить прямым опытом. Например, никакой непосредственный опыт не может удостоверить, что земля шарообразна. Подобного рода суждения проверяются через косвенные опыты и наблюдения. Поэтому понятие проверки, по мнению Карнапа, следует заменить понятием подтверждения, а само подтверждение может быть разной степени.

Истинность суждения — это якобы соответствие его не объективному миру, а какому-либо нашему опыту, возможность подтвердить его опытом. На объективность же суждение не может претендовать. Семантик не рекомендует говорить— «карандаш желтый», ибо это утверждение помещает желтизну в карандаш, т. е. это суждение претендует на объективность. Надо говорить так: «То, что производит на меня такое впечатление, которое приводит меня к тому, чтобы сказать «карандаш», производит на меня также такое впечатление, которое приводит меня к тому, чтобы сказать «желтый»». Иными словами, суждение — это знание не о самом предмете, а только о наших ощущениях.

Учение логического позитивизма о сущности суждения и критерии его истинности в систематической форме излагает Айер в своей книге «Язык, истина и логика». Как субъективный идеалист, Айер не признает существования объективной реальности вне и независимо от нашего ощущения. Он объявляет бессмысленными все суждения, которые выходят за пределы непосредственного чувственного опыта.

Как и все логические позитивисты, все предложения он делит на два рода: 1) логические и чисто математические, 2) предложения, относящиеся к эмпирической реальной действительности.

Первые предложения необходимы, верны потому, что являются чисто аналитическими. Они не подлежа г никакой опытной проверке, ибо ничего не утверждают об эмпирическом мире, а касаются только употребления символов. Виттгенштейн назвал их тавтологиями.