Знание и референция

Если говорят, что некий Х обладает знанием относительно чего-то, то под этим, как правило, подразумевают, что Х можно приписать, по крайней мере, следующие три типа свойств:

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

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

3. Х осмысленно употребляет и склонен оценивать как истинное некое высказывание или группу высказываний, которые он в согласии с окружающими, говорящими на том же языке, что и он, склонен считать констатациями относительно некоего а, где "а" - термин, который Х употребляет в качестве субъектного термина, по крайней мере, в некоторых своих конструкциях субъектно-предикатного вида; и в качестве адекватного ответа на вопрос "Что есть а?" Х склонен ставить в соответствие первому высказыванию или группе высказываний другое высказывание (или группу высказываний), имеющее такую же эксплицитную форму, что и констатации относительно а - "а есть то-то" - но другой состав элемента, обозначаемого здесь символом "то-то". При этом высказывания второго типа считаются Х объяснениями а. В этом случае Х приписывается или относительно него предполагается знание природы, сущности или идеи а, чем бы оно ни было - индивидом, свойством или отношением.

Для двух первых случаев не обязательно сохранять традиционное предполагаемое различие между сингулярными и общими терминами, поскольку как сингулярный (если мы вообще признаем существование таковых), так и общий термины могут отвечать условию 1. Различие, которое здесь подчеркивается, - не между разными видами терминов, а между разными типами ситуаций, в которых демонстрируются соответствующие когнитивные характеристики Х, или, по-другому, контексты употребления. Это различие представляется мне важным в том смысле, что оно позволяет указать на дальнейшее различие между теориями, способными справиться с задачами экспликации соответствующих двум первым типам демонстративных ситуаций когнитивных феноменов. Для экспликации первого случая необходима теория референции, чтобы ответить на вопрос: каковы условия референциальной значимости и определимости референта терминов? Для экспликации второго случая необходима теория значения в самом широком смысле или, при определенной интерпретации последней, теория истины, поскольку вопрос, ответ на который здесь требуется получить, такой: каковы условия предицируемости терминов и определения познавательной значимости соответствующих языковых конструкций? Если исходить из того, что оценка предицируемости зависит от принимаемых в расчет ее следствий, фиксирующих истинностные значения предложений, получаемых посредством соответствующей предикации, а познавательная значимость высказываний - от обладания ими истинностными значениями, то наши требования могут быть ограничены теорией истины. Здесь не подчеркивается еще никакого содержательного различия между разными типами теорий значения, одну из которых я назвал теорией референции, но только различие, касающееся их применимости: возможность проводить дальнейшие различения между этими двумя типами теорий значения зависит от того, насколько познавательная ситуация первого типа не сводима к ситуации второго типа. Отношение между ними можно приближенно охарактеризовать таким образом: в когнитивной ситуации второго типа устанавливается семантическое отношение между субъектом и предикатом, и в той степени, в какой оно не может быть установлено без знания условий истинности для данного предиката, оно должно опираться на определенное знание в отношении субъекта - а именно, есть ли у субъектного термина референт. Наконец, для экспликации третьего случая - здесь нам надо получить ответ на вопрос: каковы условия объясняющей значимости для высказывания или группы высказываний? - необходима теория объяснения.

Задачу этой статьи можно сформулировать как попытку ответить на вопрос: "Что значит знать нечто в смысле, на который указывает первая из трех упомянутых типов когнитивных ситуаций?". Если можно было сказать о некоем Х, что он знает референт некоего термина "а", а не просто не выказывает непонимания, когда сталкивается с его материальными образцами, то это традиционно считалось достаточным основ