Итак, согласно Даммиту чтобы быть приемлемой, теория значения, принимающая в качестве базового понятие истины, должна состоять из двух частей. Первая ее часть будет иметь в качестве своего ядра теорию референции, а оболочкой для этого ядра будет служить теория смысла. Второй частью теории значения должна быть теория силы. Теория референции будет содержать теоремы, определяющие условия истинности предложений, а также аксиомы, приписывающие референцию словам. Теория смысла будет связывать конкретные практические способности говорящего с определенными теоремами и аксиомами теории референции, а теория силы будет определять различные типы лингвистических актов. Конечно, признает Даммит, нельзя требовать, чтобы все суждения, из которых состоит теория референции, были соотнесены с конкретными практическими способностями, владение которыми образует знание этих суждений, но по крайней мере для некоторых из них такое соотнесение должно быть осуществлено, поскольку только таким образом мы смогли бы сделать явной связь между условиями истинности предложений и теми лингвистическими актами, которые совершаются посредством их произнесения, и тем самым мы объяснили бы, как знание языка позволяет тем, кто говорит на этом языке, выводить каждый аспект употребления некоторого предложения из знания его условий истинности. Проблема в том, что как только мы попытаемся разобраться с тем, как можно соотнести условия истинности предложений с конкретными практическими способностями, мы столкнемся с непреодолимыми, по мнению Даммита, трудностями, и эти трудности связаны с понятием истины, лежащим в основе рассматриваемой нами теории значения.
Начать с того, что возможность выведения говорящим всех аспектов употребления предложений из знания их условий истинности предполагает, что он знает не только условия истинности предложений, но и множество общих принципов и, в частности, обладает понятием истины. Поэтому приемлемая теория значения не может ограничиться экстенсиональным определением предиката «истинно», т. е. перечислением предложений, к которым этот предикат применим, она должна раскрыть содержание этого предиката и тем самым дать ответ на вопрос, что значит знать условия истинности предложения. Когда же мы подвергаем анализу понятие истины, используемое в истинностно-условной семантике, мы обнаруживаем, что оно содержит в себе два важных принципа. Первый принцип, который Даммит называет «принципом C», гласит, что «если утверждение истинно, должно существовать нечто такое, благодаря чему оно истинно» [Даммит, 1987, с. 152]. Даммит сразу уточняет, что данный принцип носит регулятивный характер, т. е. он не означает, что сначала мы определяем, что же существует в мире, и только затем решаем, что нужно, чтобы наши высказывания были истинными; все происходит наоборот: «сначала мы устанавливаем подходящее понятие истины для утверждений различных классов, а затем из этого делаем вывод о строении реальности» [Даммит, 1987, с. 152]. Второй регулятивный принцип – Даммит называет его «принципом K» – говорит, что «если утверждение истинно, то должна существовать принципиальная возможность узнать это» [Даммит, 1987, с. 165]. За этим принципом стоит соображение о том, что мы вряд ли могли бы претендовать на понимание истинности некоторого высказывания, если бы у нас не было никакого представления о том, как ее установить, даже когда мы не способны ее установить в силу ограниченности наших когнитивных возможностей.
Однако, считает Даммит, помимо этих двух принципов, составляющих основу корреспондентной теории истины, в истинностно-условной семантике принимается еще один принцип – принцип двузначности, согласно которому любое высказывание определенно является или истинным или ложным независимо от того, известно ли нам его истинностное значение и способны ли мы его установить. В результате мы получаем понятие истины, которое выходит за пределы наших когнитивных способностей и возможностей, поэтому Даммит называет его «трансцендентным», и главный вопрос для него заключается в том, можем ли мы, опираясь на такое эпистемически неограниченное представление об истине, осуществить в рамках теории смысла, или значения [112] , соотнесение условий истинности предложений с конкретными практическими способностями, из которых состоит употребление этих предложений.
Согласно Даммиту, есть два способа или, как он говорит, «две фундаментальные модели» описания того, что значит знать условия истинности предложения. Первый способ заключается в том, что говорящий проявляет свое понимание некоторого данного предложения, формулируя явным образом, т. е. словесно, его условия истинности (например, в виде Т-предложений из истинностно-условной семантики). Однако такое объяснение понимания языка предполагает, что говорящий уже владеет языком, и, стало быть, оно не годится для систематической и всеобъемлющей теории значения, которая в этом случае содержала бы порочный круг, поскольку в своем объяснении понимания говорящим языка она использовала бы в качестве предпосылки то, что стремится объяснить. Поэтому таким способом, считает Даммит, нельзя объяснить владение более простыми или базовыми уровнями языка.
Тем не менее, считает Даммит, говорящий может проявить свое понимание некоторого предложения посредством другой практической способности, а именно способности распознавать условия, которые должны иметь место, чтобы это предложение было истинным. Этот второй способ часто связан с отчетами о наблюдениях. Если, видя перед собой два дерева, человек способен отличить более высокое дерево от менее высокого, то он знает, что значит для одного дерева быть выше другого, а стало быть, знает и то, какие условия должны быть выполнены, чтобы было истинным предложение «Это дерево выше того дерева». Вместе с тем подобное соотнесение условий истинности с практическими способностями по их распознаванию можно осуществить только для тех предложений, которые обладают условиями истинности, доступными для нашего распознавания; иначе говоря, для которых мы располагаем эффективной процедурой, позволяющей нам за конечное число совершаемых действий и в конечный период времени оказаться в ситуации, когда мы можем установить их истинность или ложность. Такие предложения Даммит называет «эффективно разрешимыми», но проблема, по его мнению, состоит в том, что средствами естественного языка можно сформулировать множество предложений, которые не являются эффективно разрешимыми; их Даммит определяет как «неразрешимые». Сюда относятся предложения с квантификацией по бесконечным или необозримым совокупностям, условные предложения в сослагательном наклонении, предложения, содержащие ссылки на недоступные нам пространственно-временные области. Например, предположение Гольдбаха о том, что любое четное число, большее 4, представимо в виде суммы двух нечетных простых чисел, неразрешимо, поскольку у нас нет ни доказательства этого положения, ни доказательства того, что существует противоречащий ему пример, и мы не знаем эффективной процедуры, правильное применение которой дало бы нам доказательство этого положения или противоречащий ему пример. Тем не менее в свете нашего эпистемически неограниченного представления об истине мы и неразрешимым предложениям приписываем наличие у них истинностного значения, которое, правда, нам пока не известно или вообще в принципе не может быть известно. Но как в таком случае мы могли проявить наше знание условий истинности неразрешимых предложений?
Когда мы имеем дело с неразрешимым предложением, считает Даммит, мы не можем поставить знак равенства между способностью распознать выполнение или невыполнение его условий истинности и знанием о том, что представляют собой эти условия, поскольку отсутствие данной способности означало бы тогда, что мы вообще не понимаем неразрешимые предложения, что совершенно не так. Отсюда Даммит делает вывод, что «всегда, когда условие истинности некоторого предложения таково, что мы не можем установить, выполнено оно или нет, кажется очевидным, что нет смысла говорить о неявном знании этого условия, ибо не существует того практического умения, в котором могло бы проявиться это неявное знание» [Даммит, 1987, с. 144]. А это означает, что знание условий истинности для неразрешимых предложений не может быть проявленным, когда истина понимается в трансцендентном, или, иначе говоря, классическом смысле.
Опираясь на трансцендентное понятие истины, невозможно, считает Даммит, объяснить и то, как ребенок в процессе обучения языку усваивает знание, позволяющее понимать неразрешимые предложения. Возьмем, скажем, предложения с квантификацией. Конечно, мы учимся понимать квантификацию сначала применительно к разрешимым предложениям. На примере небольших совокупностей мы осваиваем разрешающую процедуру, с помощью которой можно установить истинностное значение предложений, говорящих обо всех или нескольких элементах этих совокупностей. Эта процедура состоит в простом обозрении этих элементов. Затем мы переходим к использованию квантификации по конечным, но необозримым совокупностям, к которым, как мы учимся понимать, усвоенная нами разрешающая процедура хотя и может быть применена теоретически, но на практике этого сделать нельзя, однако параллельно мы приобретаем знание о том, когда и какими средствами предложения о конечных, но необозримых совокупностях могут быть верифицированы или фальсифицированы, и обучаемся основывать свои оправдываемые, но могущие быть аннулированными обобщения на достаточно больших выборках. При переходе к неразрешимым предложениям, т. е. предложениям с квантификацией по бесконечным совокупностям, мы переносим на них все эти представления, кроме представления о разрешающей процедуре, которая в этом случае в принципе не может быть применена, но, отмечает Даммит, «именно отсутствие этого представления не позволяет нам иметь понятие истины для этих высказываний, в соответствии с которым каждое из них является определенно или истинным, или ложным. Откуда мы могли бы получить представление о том, что значит для подобного высказывания быть истинным, если у нас нет никаких средств установить его истинность?» [Dummett, 2006, p. 70]. Мы могли бы, считает Даммит, попытаться расширить наше представление о разрешающей процедуре, приняв в качестве допущения то, что установление истинностного значения предложений с квантификацией по бесконечным совокупностям (как, впрочем, и других видов неразрешимых предложений) было бы под силу некоему воображаемому существу со сверхчеловеческими способностями, но это допущение нам ничего не дает, поскольку «причина, по которой мы не можем обозреть бесконечную совокупность, не в недостатке человеческих способностей: бессмысленно представлять бесконечную задачу выполненной. Бесконечная задача по определению принципиально не может быть выполнена» [Dummett, 2006, p. 70–71]. Отсюда следует, что, опираясь на трансцендентное понятие истины, нельзя истолковать понимание неразрешимых предложений по аналогии с разрешимыми предложениями.