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

Возьмем предложение: "Машина стоит в гараже". Нельзя сказать, что мне известно значение этого утверждения, пока я не могу понять, какое положение дел в нем утверждается. И я не могу понимать, какое положение дел в нем утверждается, пока мне не ясно, какие положения дел при этом исключаются. Поскольку, если я думаю, что утверждение, что машина находится в гараже, совместимо с другим утверждением, что машина находится в каком-то другом месте, про меня нельзя сказать, что я знаю значение утверждения, что машина находится в гараже. И если утверждение, что машина находится в гараже действительно было бы совместимо с утверждением, что машина находится в каком-то другом месте, мы не можем сказать, что утверждение обладает каким-то определенным значением. Это не произвольный критерий значения. Размышление о природе дескриптивного языка покажет, что предложение, которое утверждает определенное положение дел, исключает противоположное положение дел. И если я не в состоянии понять, что исключается (даже если я не указываю здесь и теперь на то, что исключается), нельзя сказать, что я понимаю значение дескриптивного утверждения.

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