Какова же тогда, по Айеру, природа объектов познания? Вообще говоря, такие объекты нужно рассматривать как конструкции чувственного опыта. Все они «определимы» в терминах «ощущаемых проявлений». Отсюда не следует, что материальный объект в буквальном смысле слова есть «совокупность или система содержаний ощущения» или что осмысленное предложение о материальном объекте не может содержать ссылок на что-либо, не входящее в чувственный опыт. Первая интерпретация сама была бы метафизической, а вторая незаконно исключала бы все ссылки на атомы, электроны и другие полезные конструкции, а также на стулья, столы и другие привычные объекты. Эта теория конструкций не означает также что материальные объекты научных понятий фикции, так как столь и атомы, конечно, не являются фикциями в том смысле, в каком ими являются Гамлет или мираж. Теория конструкций в логическом позитивизме указывает лишь, что каждое предложение об объекте можно перевести в предложение, говорящее только об ощущениях и отношениях между ними. Ощущения, связанные друг с другом с помощью некоторых вполне определенных форм сходства и непрерывности, приводят к конструкциям, воспринимаемым как материальные объекты, а такие же ощущения, связанные различными другими способами, приводят к конструкциям, воспринимаемым, соответственно, как мы сами, чужие сознания, прошлые события, будущие события и законы природы. Однако все высказывания, содержащие конструкции, имеют то сходство, что все они либо эмпирические гипотезы, подлежащие проверке последующим чувственным опытом, либо правила предсказания будущего опыта.

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

Проблема природы истины на самом деле является псевдопроблемой, так как сказать, что суждение истинно, значит просто утверждать это суждение, и никакой эмпирической проверки для теории истины изобрести нельзя. Критерием истинности суждения является просто фактическое осуществление тех явлений опыта, которые были предсказаны этим суждением. В действительности, однако, мы никогда не достигаем полной истины, поскольку каждое эмпирическое высказывание, будь то высказывание о материальном предмете, о законе природы, о чьемлибо сознании или даже о прошлом событии, влечет за собой бесконечную цепь явлений опыта, так что требования к его истинности полностью никогда выполнены не будут. Так называемые наглядные суждения, прямо описывающие непосредственный опыт, могли бы содержать свою собственную полную верификацию, но фактически таких суждений не существует. В то время как сам чувственный опыт непосредственно дан и безошибочен, любая попытка выразить этот опыт в словах уже содержит дескриптивные элементы наряду с демонстративными; следовательно, она может подлежать исправлению и никогда полностью не проверяема. Так как мы никогда не можем быть уверены в истинности эмпирического суждения, практически важные вопросы в области познания связаны с вероятностями будущих явлений опыта. Вероятность гипотезы измеряет «степень доверия, с которой разумно относиться к этой гипотезе». Степень разумности мнения зависит от того, в какой мере оно «достигается методами, которые мы считаем надежными». Такие методы в настоящее время включают все, что мы подразумеваем под научным методом. Они содержат не только способы проверки отдельных гипотез, но и способы проверки целых систем гипотез, в которой подтверждение какой-либо части способствует подтверждению целого. Однако никакое множество процедур или гипотез не является окончательным, и с точки зрения логики можно спасти любую гипотезу, если мы захотим пожертвовать достаточным количеством других. В ответ на вопрос, почему наши поиски знания должны происходить так, как они происходят, некоторые философы утверждали, что такая процедура требуется в интересах экономии. Но экономии можно было бы достигнуть просто игнорированием нежелательных наблюдений. В действительности конечной основой нашей процедуры является практическая потребность в успешности предсказаний об опыте, и именно степень успеха в конечном счете является проверкой того эмпирического знания, которое мы приобретаем, будь то знание о предметах, нас самих, прошлом или будущем.

В то время как в «Языке, истине и логике» Айер был склонен согласиться с теми, кто утверждал, что философских суждений не существует и что философия должна заниматься тем, чтобы делать ясными другие суждения, позже он считает, что неверно говорить, будто философские суждения – это суждения об употреблении слов. На самом деле философские суждения, если уж в них говорится об употреблении, то говорится об употреблении не слов, а классов слов: философские суждения, если они истинны, не эмпирические, подобно суждениям лексикографа, а аналитические, подобно суждениям логика. Философский анализ не заключается прежде всего в «контекстуальных определениях» и вообще не обязательно сводится к определениям. Например, философские высказывания, интерпретирующие материальные объекты в терминах чувственных данных, не сводятся к определению или переводу высказываний о физических объектах в терминах чувственных данных, «так как никакое конечное множество высказываний о наблюдениях не эквивалентно высказыванию о материальном предмете». Более того, некоторые примеры подлинно философского анализа имеют форму, далекую от формы определения. Например, вообще не похоже на определение рассуждение Мура о том, что высказывание «все ручные тигры рычат» имеет смысл, тогда как «все ручные тигры существуют» не имеет смысла.

Хотя более зрелые работы Айера никоим образом не отвергают верификационный критерий значимости, этот принцип рассматривается в них в контексте, несколько отличном от предлагавшегося в «Языке, истине и логике», и содержат некоторые важные ограничения. Теперь Айер открыто говорит, что принцип проверяемости сам по себе есть не проверяемый факт или «эмпирическая гипотеза», а «определение», указывающее область «осмысленности», в которой применимы понятия «истинности» и «ложности» и осуществимо понимание на уровне здравого смысла или науки. Более того, теперь он с готовностью признает возможность других определений значения в некотором ином смысле, и от сторонников таких определений требуется лишь указание точных критериев. Даже для осмысленных высказываний не все доказательства их истинности содержатся в их значении. Кроме того, критерий осмысленности, который требует, чтобы из осмысленного высказывания вместе с другими посылками следовали высказывания о наблюдении, теперь признается в некотором отношении слишком широким. На основании этого критерия высказывание «абсолют ленив» было бы осмысленным. Чтобы исключить такие высказывания, которые, конечно, нежелательно считать осмысленными, Айер теперь настаивает на том, чтобы упомянутые «другие» посылки либо были аналитическими, либо эмпирически проверяемыми. Таким образом, критерий проверяемости, а следовательно, также и осмысленности, выглядит теперь следующим образом.

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