Значимость и верификация

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

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

Менее продуманная точка зрения сформулирована, например, Шликом¹: «Установление значения предложения равнозначно установлению правил, в соответствии с которыми предложение должно употребляться, и это все равно что спрашивать, каким образом оно может быть верифицировано (или фальсифицировано). Значением суждения является метод его верификации (курсив

¹ Schlick M. Meaning and Verification //Philosophical Review, v. 45, July 1936. 348