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

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

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

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