Программа логического позитивизма. Критерий верификации

Возможность верификации предложения как критерий значения этого предложения обычно связывают с началом деятельности Венского кружка. В действительности идея верифицируемости не является отправной идеей представителей Венского кружка и была еще ранее сформулирована — хотя и не вполне ясно — Витгенштейном: "Предложение можно понять тогда, если мы знаем, при каких условиях оно может быть истинным. Это означает, что требуется не знание того, является ли предложение истинным или ложным, но знание обстоятельств, которые позволяют установить его истинность" (ЛФТ, 4.024).
Этот верификационный принцип был, в сущности, без изменений принят последователями Венского кружка. При этом у историков философии не существует единого мнения по поводу того, как соотносится формулировка Витгенштейна с эксплицитными формулировками критерия верификации в Венском кружке (ведь у Витгенштейна не говорится ни о какой "верификации", а говорится об "условиях истинности") Соотношение терминов "верификация", "подтверждаемость" и "проверяемость" также при ближайшем рассмотрении может вызвать затруднения. Однако подлинным стимулом для принятия точки зрения Витгенштейна не было стремление решить вопрос о критерии значения или стремление точно определить общее свойство того подмножества правильно образованных предложений, которые можно считать осмысленными. Этому способствовало, скорее, стремление привести веские аргументы против традиционной философии, демонстрируемой обычно на текстах немецких идеалистов, и доказать, что эта философия «не имеет значения». А так как понятие «познавательно осмысленный» было отождествлено с понятием «эмпирически осмысленный» и возможность верификации первоначально понималась как возможность прямой верификации, опирающейся на непосредственное наблюдение и предложения о наблюдаемых фактах, можно было сравнительно легко доказать, что соответствующим образом выбранные тексты «не имеют значения». (Речь идет, разумеется, о том, что что утверждения философии не имеют значения, т.е. бессмысленны — вот что хотели доказать логические позитивисты).