В то время как в «Языке, истине и логике» Айер был склонен согласиться с теми, кто утверждал, что философских суждений не существует и что философия должна заниматься тем, чтобы делать ясными другие суждения, позже он считает, что неверно говорить, будто философские суждения — это суждения об употреблении слов. На самом деле философские суждения, если уж в них говорится об употреблении, то говорится об употреблении не слов, а классов слов: философские суждения, если они истинны, не эмпирические, подобно суждениям лексикографа, а аналитические, подобно суждениям логика. Философский анализ не заключается прежде всего в «контекстуальных определениях» и вообще не обязательно сводится к определениям. Например, философские высказывания, интерпретирующие материальные объекты в терминах чувственных данных, не сводятся к определению или переводу высказываний о физических объектах в терминах чувственных данных, «так как никакое конечное множество высказываний о наблюдениях не эквивалентно высказыванию о материальном предмете ». Более того, некоторые примеры подлинно философского анализа имеют форму, далекую от формы определения. Например, вообще не похоже на определение рассуждение Мура о том, что высказывание «все ручные тигры рычат» имеет смысл, тогда как «все ручные тигры существуют» не имеет смысла.
Хотя более зрелые работы Айера никоим образом не отвергают верификационный критерий значимости, этот принцип рассматривается в них в контексте, несколько отличном от предлагавшегося в «Языке, истине и логике», и содержат некоторые важные ограничения. Теперь Айер открыто говорит, что принцип проверяемости сам по себе есть не проверяемый факт или «эмпирическая гипотеза», а «определение», указывающее область «осмысленности», в которой применимы понятия «истинности» и «ложности» и осуществимо понимание на уровне здравого смысла или науки. Более того, теперь он с готовностью признает возможность других определений значения в некотором ином смысле, и от сторонников таких определений требуется лишь указание точных критериев. Даже для осмысленных высказываний не все доказательства их истинности содержатся в их значении. Кроме того, критерий осмысленности, который требует, чтобы из осмысленного высказывания вместе с другими посылками следовали высказывания о наблюдении, теперь признается в некотором отношении слишком широким. На основании этого критерия высказывание «абсолют ленив» было бы осмысленным. Чтобы исключить такие высказывания, которые, конечно, нежелательно считать осмысленными, Айер теперь настаивает на том, чтобы упомянутые «другие» посылки либо были аналитическими, либо эмпирически проверяемыми. Таким образом, критерий проверяемости, а следовательно, также и осмысленности, выглядит теперь следующим образом.
Высказывание непосредственно проверяемо, если оно либо само является высказыванием о наблюдении, либо в конъюнкции с одним или несколькими высказываниями о наблюдении влечет за собой по меньшей мере одно высказывание о наблюдении, которое не выводимо из этих других посылок без данного высказывания. Высказывание косвенно проверяемо, если оно удовлетворяет следующим условиям:
во-первых, в конъюнкции с некоторыми другими посылками оно влечет одно или несколько непосредственно проверяемых высказываний, которые не выводимы только из этих других посылок; и,
во-вторых, всякое высказывание, входящее в эти другие посылки, либо аналитическое, либо прямо проверяемое, либо таково, что его косвенную проверяемость можно установить самостоятельно.
Осмысленное высказывание , не являющееся аналитическим , должно быть непосредственно либо косвенно проверяемым . Айера особенно беспокоит, что же подлежит верификации. Он вводит третьего кандидата на эту роль — «утверждение», который должен оспорить эту честь у «предложения» и «высказывания». Он определяет «предложение» как грамматически значимый набор слов, «утверждение» — как то, что выражают такие наборы слов, а «высказывание» — как подкласс, содержащий только «утверждения», выраженные «строго осмысленными» предложениями. Поэтому, согласно Айеру, выражение «бессмысленное высказывание» является противоречием в терминах; только предложения являются «строго осмысленными» и только утверждения поэтому подлежат верификации.
Взгляд Айера на то, что означают различные виды высказываний, изменился несколько более радикально, чем его взгляд на верификационный критерий значимости. Например, раньше он говорил, что высказывания, относящиеся к чувственному опыту, «определяют» или «переводят» высказывания о физических объектах, а теперь он заявляет, что таких переводов «не предвидится», что есть серьезные основания предполагать, что они невозможны, и что значение высказываний о физических объектах должно оставаться несколько туманным. Хотя каждое высказывание о материальном предмете влечет за собой то или иное множество высказываний о наличии тех или иных чувственных данных, нет такого множества высказываний о наличии конкретных чувственных данных, о котором можно было бы с уверенностью сказать, что именно оно следует из данного высказывания о материальном предмете. Мы не только можем продолжать проверку высказывания как угодно долго, не будучи в состоянии достигнуть формального доказательства его истинности; но, кроме того, для любого способа проверки, который мы фактически осуществляем, всегда имеется бесконечное множество других способов проверки, несколько отличных от исходного, которые можно было бы провести с таким же успехом. Следовательно, каждое значимое высказывание о материальном предмете может быть представлено как влекущее за собой дизъюнкцию высказываний о наблюдениях, хотя число членов этой дизъюнкции нельзя перечислить, так как оно бесконечно . Аналогичные рассуждения применимы к высказываниям о чужих сознаниях и о прошлых событиях; но относительно и тех и других высказываний требуются также и особые ограничения первоначальной доктрины «Языка, истины и логики». Высказывания о прошлом в первом издании «Языка, истины и логики» считались переводимыми в суждения о «настоящем или будущем опыте». Но в действительности, хотя такие высказывания и проверяемы в терминах вытекающих из них высказываний о наблюдении, эти высказывания о наблюдении могут относиться как к опыту, который был бы возможен, если бы наблюдение имело место в прошлом, так и к фактическому опыту в настоящем или в будущем. Невозможность наблюдения прошедшего опыта это просто случайный факт, а не логическая невозможность, которая исключала бы осмысленность высказываний о прошлом, которые.уже нельзя проверить.
Высказывания об опыте других людей уже нельзя так просто интерпретировать в терминах наших наблюдений их поведения, как это Айер считал вначале. В «Основаниях эмпирического знания» он широко использует тот аргумент, что, так как наша неспособность непосредственно проникнуть в опыт другого есть лишь случайный факт, высказывания о внутреннем опыте других людей в принципе проверяемы и подкрепляются заключениями по аналогии. Рассмотрев различные языковые соглашения, которые сделали бы возможным или невозможным участие в опыте других, Айер заключает, что, поскольку рассматривается лишь дескриптивное содержание опыта, вопрос о том, чей это опыт, по существу произволен, так что, например, при установлении корреляции свойств не стоит заботиться о том, чтобы границы опыта различных людей не пересекались. Вывод происходит не от моего опыта как такового к чьему-либо опыту как таковому, а от установления факта, что некоторые свойства сопутствуют друг другу в различных контекстах, к заключению, что в последующем контексте эта связь также будет иметь место. Это обычный тип индуктивного вывода.
"Итак, — пишет Дж.Пассмор, — в существенных вопросах Айер в 1946 г. все еще оставался позитивистом лингвистического толка. Но по мере того как логический позитивизм постепенно под влиянием Карнапа трансформировался в физикализм, Айер все больше отходил к эпистемологии, которая по своему типу близка британскому эмпиризму, хотя этот его отход сдерживала критика таких его современников, как Витгенштейн, Райл и Остин. В работе «Проблема познания» (1956) для него врагом номер один становится уже не метафизика, а скептицизм"[9] .
Мы знаем, что p, если и только если мы убеждены в том, что p, имеем основания так считать, и, наконец, если мы правы в этом, т.е. если это действительно так. Скептицизм возникает там, где можно усмотреть логический зазор между открывающимися нам очевидными свидетельствами по поводу существования и характера вещей некоторого вида и нашими обычными требованиями к знанию о них. Например, наш доступ к физическому миру возможен только через наши собственные чувственные данные, к сознаниям других людей — только через их поведение, а к прошлому — только через наши воспоминания. Другая очевидность нам не доступна, а эта может вступать в противоречние, в частности, с требованием истинности знания. Возможны четыре типа решения.