Майкл Даммит - Что такое теория значения?

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

Что же тогда можно сказать о первом этапе, который определяет, исходя из значения предложения, принципы, имеющие силу для условий, по которым мы судим о том, истинно это предложение или ложно? К какой части теории значения относятся они? Вряд ли можно отрицать, что такие принципы есть. Что, кроме значения предложения, может определять то, что мы считаем основанием для принятия его в качестве истинного? Следует признать, что, когда эти основания неокончательны — а также когда мы не можем с полной уверенностью распознать, что мы располагаем окончательными основаниями (как в случае очень сложного математического доказательства или вычисления) , — имеется возможность выбора в отношении того, считать предложение истинным или нет; термин ”суждение”, в его техническом употреблении, здесь весьма уместен. Однако одно лишь значение определяет, является ли нечто основанием для того, чтобы принять данное предложение в качестве истинного.

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

В предыдущем обсуждении я без пояснений отнес ее к той части теории действия, которая рассматривает утверждение как лингвистический акт. Теперь необходимо провести одно различие. Конечно, тот вид заявлений, который мы приписываем говорящему, который делает неквалифицированное, требующее корректировки утверждение, т.е. тот вид основания или гарантии, который требуется для того, чтобы утверждение не вводило в заблуждение, является частью конвенций, управляющих утвердительным употреблением языка. Это есть нечто неопределяемое единым образом с помощью значения предложения, используемого для того, чтобы сделать утверждение, и может варьироваться от одного разговора к другому, а также от одного контекста к другому. Мы уже отмечали, например, что наша конвенция требует, чтобы неквалифицированное математическое утверждение было подкреплено существованием реального доказательства, и что эту конвенцию, совершенно отличную от конвенции, управляющей утверждениями других разновидностей, можно было бы изменить, никоим образом не изменяя значений математических предложений. Формулирование этих конвенций действительно относится к теории ассерторического действия. Однако это совершенно иной вопрос, чем тот, который мы здесь рассматриваем. Нас же интересует то, что определяет, что нечто является в какой-то степени свидетельством истинности данного предложения, а не то, является ли наличие такого свидетельства достаточным основанием, чтобы принять предложение в качестве истинного (это вопрос персональной стратегии), и также не то, дает ли это свидетельство право утверждать данное предложение (это вопрос независимой языковой конвенции, которая обычно принимается).