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

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

Эти соображения ведут к построению иной теории значения, теории, которая согласуется с верификационистской теорией в отношении использования скорее только эффективных, нежели трансцендентальных, понятий, но которая заменяет верификацию фальсификацией в качестве центрального понятия теории: мы знаем значение предложения, если мы знаем, как распознать то, что оно фальсифицировано. Такая теория значения приведет к логике, которая не является ни классической, ни интуиционистской[3]. В одном отношении она, будучи далека от теории значения, оперирующей условиями истинности, отличается и от верификационистской теории. Верификационистская теория значения настолько приближается к объяснению значения предложения с помощью того, на основании чего предложение может утверждаться, насколько это вообще возможно для какой-либо правдоподобной теории значения; она должна, конечно, отличать действительные основания говорящего, которые могут быть неокончательными или же косвенными, от непосредственных, решающих оснований, с помощью которых устанавливается значение предложений, в частности предложений типа предложений в будущем времени, для которых говорящий не может иметь решающих оснований в момент их произнесения. Однако фальсификационистская теория вовсе не связывает значение предложения непосредственно с тем, на основании чего сделано с помощью этого предложения утверждение. Вместо этого она связывает содержание утверждения с тем обязательством, которое принимает говорящий, делая это утверждение; утверждение—это разновидность азартной игры, в которой говорящий никогда не ошибается. Такая теория имеет, следовательно, явное сходство не только с попперовским объяснением науки, но также с теоретико-игровыми семантиками, разработанными Хинтиккой и другими.

VI

Любая теория значения, как мы видели выше, распадается на три части: во-первых, это теория- сердцевина, или теория референции; во-вторых, теория-оболочка, теория смысла; и в-третьих, дополнительная часть теории значения, теория действия. Теория действия устанавливает связь между значениями предложений, определенными с помощью теорий референции и смысла, и реальной практикой употребления языка. Теория референции определяет рекурсивным образом применение к каждому предложению того понятия, которое является центральным в данной теории значения: если центральным понятием является истина, то это выражается в определении для каждого предложения того условия, при котором оно истинно; если центральным понятием является верификация, то она определяет для каждого предложения условие, при котором оно верифицируется; и аналогичным образом — если центральным понятием является фальсификация. Она осуществляет это по отношению к каждому предложению из бесконечного множества предложений языка путем приписывания каждой более или менее значимой конституенте предложения (каждому слову) некоторого референта, который принимает ту форму, которая требуется для того, чтобы референты компонент любого предложения совместно определяли применимость к этому предложению центрального понятия. Так, если центральным понятием является понятие истины, то референтом одноместного предиката является множество объектов (или функция от объектов к истинностным значениям); если это понятие верификации, оно является эффективным средством распознавания для любого данного объекта убедительно доказательства того, что предикат приложим к этому объекту; или что он не приложим, если центральным понятием является понятие фальсификации.

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

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

Эта аргументация наполовину совпадает с аргументацией, использованной в настоящей статье, и приводит к следствию, что теория смысла необходима, чтобы характеризовать то, в чем заключается знание говорящим значений выражений языка, в том виде, как они определены теорией референции. Довод Фреге состоит в том, что теория референции не выявляет полностью того, что знает говорящий, когда он понимает некоторое выражение. Я поддержал здесь этот довод, но , кроме того, сделал еще один шаг, утверждая, что, поскольку знание говорящего является по большей части неявным знанием, постольку теория смысла должна не только определить, что знает говорящий, но также и то, как проявляется его знание; у Фреге не найти указания на необходимость этого дополнения для теории смысла.

Другой довод Фреге в пользу различия между смыслом и референтом также относится к знанию, но на этот раз скорее к знанию, которое усваивается, когда предложение принимается в качестве истинного тем, кто уже знает его значение, нежели к самому знанию его значения; он связан, следовательно, с использованием языка для передачи информации. Фреге не интересуется, конечно, информацией, которая может быть сообщена индивиду с помощью того или иного утверждения, поскольку она будет варьироваться в зависимости от той информации, которой этот индивид уже располагает: его интересует информационное содержание предложения как такового, которое мы могли бы объяснить как информацию,