На первый взгляд предложенное Шликом различие между поиском истины и поиском значения выглядит неубедительно. Однако найти значение – значит сформулировать истинное высказывание, в котором прояснено его правильное значение. В ответ Шлик указывает, что прояснение значения не может иметь форму высказывания. Безусловно, если нас кто-либо спросит о значении слова «троглодит», мы ответим, что «"троглодит" означает „пещерный житель“». Однако этот ответ не может быть окончательным, поскольку он оставляет открытым еще один вопрос: «Да, но что означает „пещерный житель“?» Поэтому, утверждает Шлик, для прояснения «полного значения» выражений, которое исключало бы все дальнейшие расспросы, мы должны выйти за пределы слов и непосредственно, жестами, указать на признаки, обозначаемые нашими выражениями.
Отметим, что хотя принцип верифицируемости выдвинут как метод установления значения
Здесь возможны минимум два контраргумента.
Как можно
Как может конъюнкция символов и правил «означать» сами правила?
Возможно, вследствие этих затруднений Шлик предложил считать имеющими значение не высказывания, а только одни предложения, то есть считать, что правила образуют не значение символов-плюс-правила, а значение только символов.
Если бы свойство «иметь значение» было свойством эмпирическим, то, конечно, нельзя было бы воспрепятствовать тому, чтобы метаязыковой предикат «иметь значение» не считали бы
С интуитивной точки зрения это свойство, конечно, не является эмпирическим. Это исключает возможность использовать критерий значения по отношению к себе самому (при этом, разумеется, речь может идти о критерии значения «высшего уровня», который, конечно, принципиально формулируется так же, как критерий значения «низшего уровня»).
Первоначальная версия верификационного критерия значения была, следовательно, мотивирована стремлением четко разграничить синтаксически правильные предложения, которые имеют значение, от таких предложений, которым значение приписать нельзя. При этом под верификацией понималась
Предложение Σ
имеет значение тогда и только тогда, когда оно не является аналитическим предложением или противоречием, и если логически следует из непротиворечивого конечного класса предложений Ф, причем элементами этого класса предложений являются предложения наблюдения171.