Среди эмпирических суждений Айер выделяет чисто чувственное, под которым разумеется суждение, относящееся только к чувственно данному в любой отдельный момент, т. е. описывающее данный чувственный опыт. Истинность таких суждений, названных Айером основными, поскольку они распространяются на те ситуации, к которым они непосредственно относятся, может быть установлена путем простого наблюдения.

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

«Сейчас,— пишет Айер,— должно быть ясно, что не существует никаких совершенно верных эмпирических предложений. Только тавтологии являются верными. Все эмпирические предложения вместе и каждое в отдельности суть гипотезы, которые можно подтвердить или подвергнуть сомнению в действительном чувственном опыте. А предложения, в которых мы регистрируем наблюдения, проверяющие эти гипотезы, суть сами по себе гипотезы, которые подлежат проверке при помощи дальнейшего чувственного опыта» (СНОСКА: Л. /. Ayer, Language, Truth and Logic, London 1936, p. 131—132. 295).

А так как такой проверке нет конца, то Айер и упирается в тупик юмовского скептицизма.

В математике нередко термины «истина» и «утверждение», «ложно» и «отрицание» употребляются в одном и том же смысле, отрицание суждения рассматривается как отрицание того, что было принято за истину. На этом основании Айер, как и другие семантики, считает, что вообще в предложениях формы истинно» слово «истинно» является излишним. Он предлагает понятия истины или лжи заменить понятиями утверждения или отрицания. Когда говорят, рассуждает он, «Королева Анна умерла» — истинно, то это значит, что она умерла, а когда говорят, что «Оксфорд — столица Англии» — ложно, то это значит «Оксфорд не есть столица Англии». «Таким образом,— заключает он,— сказать, что предложение истинно, это и значит утверждать это, а сказать, что оно ложно, это значит утверждать обратное. А это указывает на то, что термины «истинный» и «ложный» ничего не означают, а функционируют в предложении только как знаки утверждения или отрицания» (СНОСКА: Ayer, Language, Truth and Logic, p. 122 296).