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

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

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

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