В то же время вслед за Н. Хомским и другими Даммит полагает, что любая практическая способность предполагает неявное знание у того, кто ее проявляет, принципов, управляющих этой способностью. Поэтому и от говорящих на каком-либо языке не следует ожидать явного знания принципов или правил этого языка. Чтобы пояснить свою мысль, Даммит предлагает аналогию с шахматами: как правило, человек обучается игре в шахматы, знакомясь с ее правилами, однако, в принципе, человека можно было бы научить ей и не формулируя правил, а просто поправляя его, когда он делал бы запрещенный ход. В этом случае, обучившись играть, человек знал бы правила или принципы игры неявно. Именно такое неявное усвоение правил и принципов происходит и при обучении родному языку. Однако это неявное знание принципов вполне можно сделать явным, представив его в виде пропозиционального знания, состоящего из суждений, упорядоченных в дедуктивную систему. Выполнить эту задачу призваны философы, и, как пишет Даммит, «такое теоретическое представление владения языком мы и будем называть вслед за Дэвидсоном „теорией значения“ для данного языка» [Даммит, 1987, с. 130]. Но если владение языком трактуется как связанное с практической способностью неявное знание того, что может быть теоретически представлено как теория значения данного языка, то, считает Даммит, теория значения должна представить не только то, что говорящему следует знать, чтобы понимать язык, но и то, что является проявлением этого знания, в противном случае теория значения «лишается связи с тем практическим умением, теоретическим представлением которого она должна быть» [Даммит, 1987, с. 131]. Таким образом, в представлении Даммита связь между значением и употреблением состоит в том, что знание значения того или иного языкового выражения должно проявляться в практических умениях, из которых складывается употребление этого языкового выражения, а стало быть, оно должно быть публично наблюдаемым в лингвистическом поведении. С проявляемостью этого знания в лингвистических практиках напрямую связана и возможность его публичного усвоения в процессе обучения языку. Поэтому ни одна приемлемая теория значения, считает Даммит, не может не отвечать требованиям проявляемости и усваиваемости языкового знания. Как мы увидим далее, именно эти требования играют ключевую роль в доводах, выдвинутых Даммитом против теории значения, опирающейся на понятие истины.
Итак, согласно Даммиту чтобы быть приемлемой, теория значения, принимающая в качестве базового понятие истины, должна состоять из двух частей. Первая ее часть будет иметь в качестве своего ядра теорию референции, а оболочкой для этого ядра будет служить теория смысла. Второй частью теории значения должна быть теория силы. Теория референции будет содержать теоремы, определяющие условия истинности предложений, а также аксиомы, приписывающие референцию словам. Теория смысла будет связывать конкретные практические способности говорящего с определенными теоремами и аксиомами теории референции, а теория силы будет определять различные типы лингвистических актов. Конечно, признает Даммит, нельзя требовать, чтобы все суждения, из которых состоит теория референции, были соотнесены с конкретными практическими способностями, владение которыми образует знание этих суждений, но по крайней мере для некоторых из них такое соотнесение должно быть осуществлено, поскольку только таким образом мы смогли бы сделать явной связь между условиями истинности предложений и теми лингвистическими актами, которые совершаются посредством их произнесения, и тем самым мы объяснили бы, как знание языка позволяет тем, кто говорит на этом языке, выводить каждый аспект употребления некоторого предложения из знания его условий истинности. Проблема в том, что как только мы попытаемся разобраться с тем, как можно соотнести условия истинности предложений с конкретными практическими способностями, мы столкнемся с непреодолимыми, по мнению Даммита, трудностями, и эти трудности связаны с понятием истины, лежащим в основе рассматриваемой нами теории значения.
Начать с того, что возможность выведения говорящим всех аспектов употребления предложений из знания их условий истинности предполагает, что он знает не только условия истинности предложений, но и множество общих принципов и, в частности, обладает понятием истины. Поэтому приемлемая теория значения не может ограничиться экстенсиональным определением предиката «истинно», т. е. перечислением предложений, к которым этот предикат применим, она должна раскрыть содержание этого предиката и тем самым дать ответ на вопрос, что значит знать условия истинности предложения. Когда же мы подвергаем анализу понятие истины, используемое в истинностно-условной семантике, мы обнаруживаем, что оно содержит в себе два важных принципа. Первый принцип, который Даммит называет «принципом C», гласит, что «если утверждение истинно, должно существовать нечто такое, благодаря чему оно истинно» [Даммит, 1987, с. 152]. Даммит сразу уточняет, что данный принцип носит регулятивный характер, т. е. он не означает, что сначала мы определяем, что же существует в мире, и только затем решаем, что нужно, чтобы наши высказывания были истинными; все происходит наоборот: «сначала мы устанавливаем подходящее понятие истины для утверждений различных классов, а затем из этого делаем вывод о строении реальности» [Даммит, 1987, с. 152]. Второй регулятивный принцип — Даммит называет его «принципом K» — говорит, что «если утверждение истинно, то должна существовать принципиальная возможность узнать это» [Даммит, 1987, с. 165]. За этим принципом стоит соображение о том, что мы вряд ли могли бы претендовать на понимание истинности некоторого высказывания, если бы у нас не было никакого представления о том, как ее установить, даже когда мы не способны ее установить в силу ограниченности наших когнитивных возможностей.
Однако, считает Даммит, помимо этих двух принципов, составляющих основу корреспондентной теории истины, в истинностно-условной семантике принимается еще один принцип — принцип двузначности, согласно которому любое высказывание определенно является или истинным или ложным независимо от того, известно ли нам его истинностное значение и способны ли мы его установить. В результате мы получаем понятие истины, которое выходит за пределы наших когнитивных способностей и возможностей, поэтому Даммит называет его «трансцендентным», и главный вопрос для него заключается в том, можем ли мы, опираясь на такое эпистемически неограниченное представление об истине, осуществить в рамках теории смысла, или значения [112], соотнесение условий истинности предложений с конкретными практическими способностями, из которых состоит употребление этих предложений.
Согласно Даммиту, есть два способа или, как он говорит, «две фундаментальные модели» описания того, что значит знать условия истинности предложения. Первый способ заключается в том, что говорящий проявляет свое понимание некоторого данного предложения, формулируя явным образом, т. е. словесно, его условия истинности (например, в виде Т-предложений из истинностно-условной семантики). Однако такое объяснение понимания языка предполагает, что говорящий уже владеет языком, и, стало быть, оно не годится для систематической и всеобъемлющей теории значения, которая в этом случае содержала бы порочный круг, поскольку в своем объяснении понимания говорящим языка она использовала бы в качестве предпосылки то, что стремится объяснить. Поэтому таким способом, считает Даммит, нельзя объяснить владение более простыми или базовыми уровнями языка.
Тем не менее, считает Даммит, говорящий может проявить свое понимание некоторого предложения посредством другой практической способности, а именно способности распознавать условия, которые должны иметь место, чтобы это предложение было истинным. Этот второй способ часто связан с отчетами о наблюдениях. Если, видя перед собой два дерева, человек способен отличить более высокое дерево от менее высокого, то он знает, что значит для одного дерева быть выше другого, а стало быть, знает и то, какие условия должны быть выполнены, чтобы было истинным предложение «Это дерево выше того дерева». Вместе с тем подобное соотнесение условий истинности с практическими способностями по их распознаванию можно осуществить только для тех предложений, которые обладают условиями истинности, доступными для нашего распознавания; иначе говоря, для которых мы располагаем эффективной процедурой, позволяющей нам за конечное число совершаемых действий и в конечный период времени оказаться в ситуации, когда мы можем установить их истинность или ложность. Такие предложения Даммит называет «эффективно разрешимыми», но проблема, по его мнению, состоит в том, что средствами естественного языка можно сформулировать множество предложений, которые не являются эффективно разрешимыми; их Даммит определяет как «неразрешимые». Сюда относятся предложения с квантификацией по бесконечным или необозримым совокупностям, условные предложения в сослагательном наклонении, предложения, содержащие ссылки на недоступные нам пространственно-временные области. Например, предположение Гольдбаха о том, что любое четное число, большее 4, представимо в виде суммы двух нечетных простых чисел, неразрешимо, поскольку у нас нет ни доказательства этого положения, ни доказательства того, что существует противоречащий ему пример, и мы не знаем эффективной процедуры, правильное применение которой дало бы нам доказательство этого положения или противоречащий ему пример. Тем не менее в свете нашего эпистемически неограниченного представления об истине мы и неразрешимым предложениям приписываем наличие у них истинностного значения, которое, правда, нам пока не известно или вообще в принципе не может быть известно. Но как в таком случае мы могли проявить наше знание условий истинности неразрешимых предложений?