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