Что такое теория значения?

С другой стороны, мы вполне законно можем расширить понятие отчета о наблюдении так, чтобы оно включало в себя утверждения, опирающиеся на совершение операций, аналогичных счету, которые не воздействуют на наблюдаемый объект, а служат лишь для внесения порядка в наблюдения. Утверждения о числовой величине можно отнести к предложениям, условия истинности которых устанавливаются информативно. Однако утверждения о равенстве числовых величин можно считать такими утверждениями, знание условий истинности которых состоит в способности сообщить о результате не пассивного наблюдения, а наблюдения, сопровождаемого интеллектуальной операцией. Предложения, выражающие результаты измерений или наблюдений с помощью инструментов, образуют промежуточный случай или, скорее, целый спектр промежуточных случаев, приближающихся к регистрации результатов тех проверок, которые мы пытались исключить. Я не знаю, как провести между ними четкую границу и можно ли ее провести вообще. Однако мне вовсе не обязательно это делать, ибо я не верю, что в конечном итоге можно отстоять концепцию значения как условий истинности. Единственное, в чем я уверен, так это в том, что у нас имеется две фундаментальные модели для описания того, что значит знать условия истинности предложения. Одна модель — это явное знание, т.е. способность сформулировать эти условия. Эта модель, как мы видели, не вызывает сомнений и действительно нужна нам во многих случаях. Однако мы также видели, что этой моделью нельзя пользоваться, если мы хотим, чтобы представление об условиях истинности служило в качестве общей формы объяснения знания о значении. Другой моделью является способность наблюдать, истинно предложение или нет. Это понятие можно законным способом расширить. Неважно, можем ли мы точно установить, как далеко его можно расширить. Существенно то, что его нельзя расширить в той степени, которая нам нужна.