торая непосредственно устанавливает существование чувственных данных, осуществляет это решающим образом, нет таких ситуаций, которые могли бы решающим образом установить существование материальной вещи". В отличие от Карнапа, видевшего истинность предложения в формальной возможности его включения в данную систему языка, А. утверждал, что неинтерпретированная совокупность высказываний может стать языком лишь в том случае, когда "по меньшей мере некоторые из выражений, которые она содержит, приобрели значение. А это осуществляется с помощью метода остенсивного определения (ostensive definition), т.е. путем корреляции этих выражений не с другими выражениями, но с тем, что действительно наблюдается". В центре внимания раннего А. попала также концепция "сильной" и "слабой" (вероятностной) верификации: "высказывание считается верифицируемым в сильном смысле термина только и если только его истинность может быть решающим образом установлена на опыте. Но оно верифицируемо в слабом смысле, если опыт может сделать его вероятным". Его (как и позже) особенно беспокоила проблема - что же подлежит верификации. В предисловии ко второму изданию "Языка, истины и логики" (1946) - под воздействием критики - А. стал трактовать принцип верификации как чисто методологическое требование установления осмысленности предложений. А. поддержал введение семантического определения истины в принцип верификации (утверждение истинности положения в метафизике эквивалентно факту принятия этого предложения в предметном языке). Тем самым верификация в "слабом" смысле выступала как допустимость операции написания предложения, заменяющей чувственную верификацию операциями фиксации предложения. (По А., "признаком подлинного фактического высказывания является не то, что оно должно быть эквивалентно некоторому опытному высказыванию или какому-либо конечному числу опытных высказываний, но просто то, что из него, в конъюнкции с определенными иными посылками, могут быть выведены некоторые опытные высказывания, не дедуцируемые из одних только этих иных посылок".) А. предложил собственную вероятностную (косвенную) модель верификации, основанную на двух утверждениях: