Если говорят, что некий Х обладает знанием относительно чего-то, то под этим, как правило, подразумевают, что Х можно приписать, по крайней мере, следующие три типа свойств:
Х осмысленно употребляет некий термин в качестве субъектного термина (имени индивида, которому приписываются свойства) в некоторых своих конструкциях субъектно-предикатного вида; причем то, как он его в этих контекстах употребляет (например, что он склонен оценивать соответствующие высказывания как истинные или ложные), указывает, по крайней мере, окружающим, говорящим с ним на одном языке, на то, что данный термин в употреблении Х указывает на нечто определенное, т.е. имеет референт или, иначе, референциально значим (при том, что оговорены еще другие условия, которым должен отвечать контекст употребления Х данного термина, например, что это должно быть не идиоматическое, не поэтическое и т.д. употребление). В этом случае Х приписывается или относительно него предполагается знание референта соответствующего термина.
Х осмысленно употребляет некий термин в качестве предиката в некоторых своих конструкциях субъектно-предикатного вида в контекстах, требующих приписывания этим соответствующим высказываниям истинностных значений, при том что и сам Х склонен оценивать подобные контексты таким же образом - т.е., в конечном счете, склонен оценивать соответствующие высказывания как истинные или ложные. В этом случае Х приписывается или относительно него предполагается знание некоего свойства или отношения, иначе говоря, некоей абстракции.
Х осмысленно употребляет и склонен оценивать как истинное некое высказывание или группу высказываний, которые он в согласии с окружающими, говорящими на том же языке, что и он, склонен считать констатациями относительно некоего а, где "а" - термин, который Х употребляет в качестве субъектного термина, по крайней мере, в некоторых своих конструкциях субъектно-предикатного вида; и в качестве адекватного ответа на вопрос "Что есть а?" Х склонен ставить в соответствие первому высказыванию или группе высказываний другое высказывание (или группу высказываний), имеющее такую же эксплицитную форму, что и констатации относительно а - "а есть то-то" - но другой состав элемента, обозначаемого здесь символом "то-то". При этом высказывания второго типа считаются Х объяснениями а. В этом случае Х приписывается или относительно него предполагается знание природы, сущности или идеи а, чем бы оно ни было - индивидом, свойством или отношением.
Для двух первых случаев не обязательно сохранять традиционное предполагаемое различие между сингулярными и общими терминами, поскольку как сингулярный (если мы вообще признаем существование таковых), так и общий термины могут отвечать условию 1. Различие, которое здесь подчеркивается, - не между разными видами терминов, а между разными типами ситуаций, в которых демонстрируются соответствующие когнитивные характеристики Х, или, по-другому, контексты употребления. Это различие представляется мне важным в том смысле, что оно позволяет указать на дальнейшее различие между теориями, способными справиться с задачами экспликации соответствующих двум первым типам демонстративных ситуаций когнитивных феноменов. Для экспликации первого случая необходима теория референции, чтобы ответить на вопрос: каковы условия референциальной значимости и определимости референта терминов? Для экспликации второго случая необходима теория значения в самом широком смысле или, при определенной интерпретации последней, теория истины, поскольку вопрос, ответ на который здесь требуется получить, такой: каковы условия предицируемости терминов и определения познавательной значимости соответствующих языковых конструкций? Если исходить из того, что оценка предицируемости зависит от принимаемых в расчет ее следствий, фиксирующих истинностные значения предложений, получаемых посредством соответствующей предикации, а познавательная значимость высказываний - от обладания ими истинностными значениями, то наши требования могут быть ограничены теорией истины. Здесь не подчеркивается еще никакого содержательного различия между разными типами теорий значения, одну из которых я назвал теорией референции, но только различие, касающееся их применимости: возможность проводить дальнейшие различения между этими двумя типами теорий значения зависит от того, насколько познавательная ситуация первого типа не сводима к ситуации второго типа. Отношение между ними можно приближенно охарактеризовать таким образом: в когнитивной ситуации второго типа устанавливается семантическое отношение между субъектом и предикатом, и в той степени, в какой оно не может быть установлено без знания условий истинности для данного предиката, оно должно опираться на определенное знание в отношении субъекта - а именно, есть ли у субъектного термина референт. Наконец, для экспликации третьего случая - здесь нам надо получить ответ на вопрос: каковы условия объясняющей значимости для высказывания или группы высказываний? - необходима теория объяснения.
Задачу этой статьи можно сформулировать как попытку ответить на вопрос: "Что значит знать нечто в смысле, на который указывает первая из трех упомянутых типов когнитивных ситуаций?". Если можно было сказать о некоем Х, что он знает референт некоего термина "а", а не просто не выказывает непонимания, когда сталкивается с его материальными образцами, то это традиционно считалось достаточным основанием для того, чтобы приписать Х определенные мнения, а именно: что а существует и что все высказывания субъектно-предикатной формы с "а" в качестве субъектного термина (разумеется, с оговорками, касающимися специфики некоторых контекстов конструирования таких высказываний) должны быть истинными либо ложными. Однако попытки ответить на вопрос "Каковы условия референциальной значимости терминов?" обычно сталкиваются с трудностями, ставшими уже классическими. Так, если считать, что субъектным термином в высказываниях субъектно-предикатной формы должно быть имя, т.е. выражение, указывающее на конкретный объект - индивид - или сущность благодаря некоему отношению (денотации или референции), которым он с данным конкретным индивидом или сущностью связан, и что в языке есть класс выражений, отвечающих этому условию, т.е. класс имен, то попытка ответить на вопрос "Как именно имена связаны с тем, что они именуют?" (что можно расшифровать как: "Почему в соответствующих контекстах они указывают на определенные индивиды или сущности и только на них, независимо от прочих обстоятельств употребления) сталкивается с проблемой синонимии кореференциальных терминов, т.е. таких, относительно которых предполагается, что они во всех соответствующих контекстах именуют одного и того же индивида или одну и ту же сущность"). Можно сформулировать проблему так, как это сделал Фреге: если считать, что два термина "а" и "в" синонимичны на том основании, что они обозначают одно и то же, то чем будут тогда различаться высказывания "а = а" и "а = в"? [2, с.25]. Между тем они как будто имеют различную познавательную значимость: первое считается аналитическим, тогда как второе - нет. Фреге нашел решение проблемы в приписывании именам характеристики обладания не только значением (референтом), но и смыслом, которым, следовательно, могут различаться кореференциальные термины. Рассел отказал именам в обладании смыслом; для решения проблемы синонимии терминов он воспользовался критерием взаимозаменимости синонимичных терминов во всех контекстах с сохранением истинности - salva veritate. При этом обнаружилось, что существуют контексты, относительно которых никакие два термина нельзя считать синонимичными - например, "Георг IV хотел знать, является ли Скотт автором романа Уэверли" меняет свое истинностное значение, если подставить "Скотт" на место "автор Уэверли" [6, с.204-205]. Куайн назвал такие контексты референциально непрозрачными (иначе их еще называют интенсиональными) (см., например [4, c.141-156]). Решение Рассела состояло в том, чтобы исключить большинство так называемых собственных имен из этого класса, показав, что они являются не чем иным, как неполными символами, т.е. могут быть приведены к своему логически правильному виду - к виду предикатов: так "автор Уэверли" в логически правильной форме представляет собой выражение "тот, кто написал Уэверли" (или даже правильнее, как замечает Рассел, "то, что написало Уэверли"). Куайн пошел по этому пути еще дальше и перевел все вообще имена в разряд общих терминов, демонстрируя принципиальную, по его мнению, преобразуемость всех имен в предикаты (например, "Пегас" преобразуется, согласно Куайну, в "нечто, что есть Пегас" или "нечто, что пегасит" даже для тех, кто не знает, что "Пегас - это крылатый конь" и, стало быть, не может заменить имя "Пегас" на дескрипцию "нечто, что есть крылатый конь")1 ). У общих терминов, в отличие от собственных имен, нет денотата или референта в виде некоего определенного индивида, на который бы данный термин указывал исключительным образом во всех соответствующих контекстах, а есть только объем или экстенсионал - т.е. множество всех объектов, относительно которых предикация данного термина дает истинное высказывание. Если так, то отдельная теория референции для первого из трех указанных выше типов когнитивных ситуаций вообще не нужна, поскольку ответ на вопрос "Каковы условия истинности для высказываний с данным термином в составе предиката?" или, шире, "Каковы условия предицируемости данного термина?" будет одновременно и ответом на вопрос "Каков референт данного термина?" Поэтому прежде чем выяснять, каковы условия референциальной значимости терминов, следует обосновать необходимость отдельной теории референции для первого типа когнитивных ситуаций: не правильнее ли редуцировать первый тип когнитивных ситуаций ко второму?
Один из тезисов, которые защищает Куайн, - холизм: предложения науки предстают перед судом опыта не по отдельности, а все вместе и любое из них в принципе может быть признано ложным, а также - любое научное положение может быть сохранено, как бы оно ни противоречило опыту. В отношении теории значения холизм утверждает, что языковые выражения имеют значения не сами по себе и не в связи с какими-то нелингвистическими характеристиками, а лишь как части сложного языкового целого: языка или концептуальной схемы. Если следовать этому подходу, то ответом на вопрос "Каковы условия референциальной значимости термина?" будет ответ на вопрос "Каковы условия истинности высказываний формы "х есть Р", где "Р" - данный термин или производная от него (например глагол, если термин - существительное) в языке L?"2 ). Истинность экзистенциальных высказываний, т.е. высказываний формы "Существует, по крайней мере, одно х такое, что х есть Р", при таком подходе зависит от внеязыковых факторов: каким-то образом должно быть известно, например, что нет таких сущностей, относительно которых было бы истинно "х пегасит". Однако в какой мере подобное можно считать данностью относительно концептуальной схемы. Во множестве познавательно значимых ситуаций именно истинностное значение экзистенциальных утверждений является величиной, требующей определения, а не чем-то a priori определенным относительно некой концептуальной схемы.
Предположим, что некий Х разделяет основные положения некой концептуальной схемы, в частности, он признает истинными некое конечное число теоретических положений, одно из которых - "Для всех а (при таких-то условиях), если а есть Р, то а есть Q" (1). Значит ли это, что Х признает истинным соответствующее экзистенциальное положение "Существуют такие х, что х есть Q" (2), если он, к примеру, никогда даже не артикулировал его? Предположим, Х принужден решить, истинно ли (2). Прямо оно не выводимо из (1) и правил вывода, принятых Х, даже если добавить к посылкам "Существуют х такие, что х есть Р", поскольку а в (1) и х в (2) - переменные разных видов: первая интерпретируется (связывается с Р) при заданных условиях, а именно тех, что описаны в (1) - в явном виде она обычно репрезентируется такими выражениями, как "наблюдается" или "имеет место" (например в предложении "Если при соблюдении таких-то условий наблюдается отклонение стрелки..., то...", где "отклонение стрелки..." есть Р); переменная же х в (2) интерпретируется при любых условиях, поскольку последние просто не оговорены, вследствие специфики этого типа предложений (нечто либо существует, либо нет, безотносительно к условиям существования). Вывод будет выглядеть обоснованнее, если добавить к посылкам (3) "Такие-то и такие-то условия соблюдены" и (4) "а есть Q". Если для Х истинны соответствующие устойчивые предложения, в числе которых (1), а также - правила ввода и принципы интерпретации, то истинность (4) должна автоматически следовать из истинности (5) "а есть Р" и (3). Этого в принципе должно быть достаточно для вывода: "Существует, по крайней мере, один х такой, что х есть Q". Для того чтобы редуцировать из множества высказываний, из которых выводимо (2), экзистенциальное утверждение, касающееся сущностей вида Р, в это множество надо ввести положение, описывающее условия приписывания переменной а значения Р (обозначим его как (6), а также, по крайней мере, для случая, когда эти условия не совпадают полностью с условиями, описанными в (1) (и описание которых не идентично соответствующему описанию из (1) - положение, описывающее отношение между двумя типами условий. В предложениях этого последнего вида и предложениях вида (3), как видно, выражение, описывающее условия интерпретации употребляется как имя. Чтобы вывод, о котором здесь идет речь, мог состояться, эти условия также должны входить в число онтологических обязательств Х: однако сказать, что они являются таковыми, нельзя, основываясь только на том, что в некоторых высказываниях системы соответствующие термины фигурируют как имена; такой вывод, согласно Куайну, может опираться только на характер употребления Х предложений с квантифицированной переменной. Таким образом, для вывода (2) концептуальной схемы Х последняя должна быть дополнена соответствующими экзистенциальными предложениями - а именно такими, в которых утверждается, что объемы терминов, описывающих условия интерпретации а в (1) и в (6), не пусты. Системы предложений, из которых выводимы подобные экзистенциальные высказывания, также должны включать в себя описания условий приписывания некоторой переменной в соответствующего значения (значения условий интерпретации а), а следовательно, они имплицируют дополнительные онтологические обязательства. Истинность последних, в свою очередь, должна устанавливаться подобным же образом; в результате оказывается, что реальная система предложений, из которой выводимы экзистенциальные импликации, должна быть бесконечно широкой, что делает затруднительным вывод о выводимости подобных высказываний как таковой. Другой путь сохранить их выводимость - признать за некоторыми экзистенциальными высказываниями статус аналитических предложений системы; однако насколько такой вывод приемлем? Ведь это фактически означает, что в онтологию концептуальной схемы нельзя внести определенных изменений: пусть так, но как определить, какие именно из экзистенциальных импликаций системы должны быть признаны аналитическими предложениями - мы ведь произвольно выбрали точку отсчета выводимости, окажись она другой, пришлось бы соглашаться не с тем, что признание за "Q" непустого объема основано на признании такового за неким "F", описывающим условия интерпретации а, а, возможно, наоборот - да и где поставить точку?
Различие между когнитивными ситуациями первого и второго типа в принципе можно формализовать следующим образом. Ситуация первого типа: "S есть то-то и то-то" (7); ситуация второго типа - "S есть Р". В первом случае символ, обозначающий субъектный термин, выделен, чтобы показать, что контекст его употребления, соответствующий когнитивной ситуации первого типа, предполагает то, что называют иногда его de re интерпретацией - т.е. в этом случае значим именно референт субъектного термина, а не то, что о нем высказывается. В контексте же, соответствующем когнитивной ситуации второго типа, референт субъектного термина не значим, важна предикация относительно некоего субъектного термина, каков бы ни был его референт (поэтому жирным шрифтом выделен символ, обозначающий предикат). Если предполагать, что когнитивная ситуация первого типа разрешима посредством преобразования (7) в форму "Нечто есть Рs, и это нечто есть то-то и то-то" (где Рs - предикат, производный от S) и выяснения условий истинности для высказываний этого вида, то необходимо одновременно предполагать, что семантические характеристики S, какими бы они ни были, характеризуют и Рs, так чтобы можно было считать, что, установив их для некоего предиката, мы таким образом устанавливаем их и для соответствующего субъектного термина. Можно исходить из того, что семантические характеристики сохраняются при преобразованиях такого вида, если установлены и соблюдены правила преобразования соответствующего типа для данного языка. Однако мало вероятно, чтобы такие правила могли быть полностью сформулированы для естественных языков хотя бы потому, что трудно предполагать, что какие-то правила, формулируемые для естественных языков, вообще могут охватить все случаи того или иного типа. Между тем семантическая связь между S и Рs кажется зыбкой только если считать, что носителями семантических характеристик вообще являются не пропозиции, а предложения или высказывания и, соответственно, не межъязыковые понятийные и дескриптивные единства - концепты, а идентичные по материальному составу образования - выражения данного языка (или даже конкретные образцы - токены выражений). Только в этом случае, действительно, похоже, на законных основаниях может быть поставлен вопрос: почему семантические определения для выражений "пегасить" или "автор Уэверли" должны быть определениями для отличных от данных по материальным составам выражений "Пегас" или "тот, кто написал Уэверлей"? Но другой способ предполагать между ними семантическую связь - предполагать, что есть нечто общее, что позволяет объединять выражения разных языков и разных видов внутри данного языка в одну категорию: это значит просто предполагать какую-то семантическую характеристику выражений уже данной, например общность смысла. Но с этой точки зрения проблема референции вообще не может быть решена экстенсионально, поскольку сама процедура логического анализа (7) должна основываться на понятии семантической общности материально не идентичных выражений: но это фактически то же самое, что сказать, что смысл или некое дескриптивное содержание фиксирует референт термина, каким бы он ни был.
Этих сомнений достаточно, по крайней мере, для того, чтобы на законных основаниях рассматривать потенциал других подходов в решении вопроса о критериях референциальной значимости терминов. Интенсиональные контексты, такие как "Георг IV хотел знать, является ли Скотт автором Уэверли" или "Джон попросил принести ему книгу, которая лежит на столе" предполагают , по крайней мере, два способа их интерпретации: de re - когда соответствующие термины (в упомянутых случаях - "Скотт" и "автор Уэверли" и "книга, которая лежит на столе") предполагаются значимыми именно как указывающие на конкретные предметы и только на них, и de dicto - когда предполагается значимым отношение синонимии между терминами (как в первом случае) или удовлетворение соответствующей характеристике (как во втором) независимо от того, каковы референты терминов. От способа интерпретации зависят условия истинности высказываний (как в первом случае) или условия выполнимости соответствующих действий (как во втором случае). Логический анализ в стиле Рассела, если применяется ко всем без исключения случаям, когда некое выражение претендует на роль именующего нечто термина, нацелен на устранение de re интерпретаций; но если на настаивать на непременной принадлежности всех таких выражений к классу предикатов (а значит - на сводимости знания референта к знанию условий истинности высказываний определенного вида), то вопрос о критериях выбора релевантной интерпретации остается открытым. Один из способов решить эту проблему опирается на концепцию значения выражения как способа его употребления. Такую позицию, например, разделяет К. Доннелан (в статье "Референция и определенные дескрипции"): согласно его подходу референциальность - это характеристика не выражений языка, а определенных способов употреблять их; противоположную ей характеристику, предполагающую de dicto интерпретацию, Доннелан назвал "атрибутивностью" [3, с.231-244]. Доннелан рассматривает, как употребляются определенные дескрипции, но его аргументы применимы и к употреблению имен. Говорящий, употребляющий в утверждении определенную дескрипцию атрибутивно, утверждает, по его мнению, нечто о ком бы то ни было или о чем бы то ни было, что удовлетворяет данной дескрипции (имя, конечно, в этом смысле не может употребляться атрибутивно, если не признавать за ним никакого дескриптивного содержания, но атрибутивность или , по крайней мере, не референциальность имени при таком его употреблении может, по крайней мере, пониматься как упоминание чего бы то ни было, что может называться этим именем); говорящий же, употребляющий в утверждении определенную дескрипцию референциально, употребляет ее для того, чтобы подтолкнуть своих слушателей к пониманию того, о ком или о чем он говорит и утверждает нечто именно об этой личности или вещи [3, с.233]. "При референциальном употреблении определенная дескрипция есть просто один из инструментов для производства определенной работы - привлечения внимания к личности или вещи - и в общем любой другой инструмент для производства этой же самой работы, другая дескрипция или имя сделают это с тем же успехом" [3, c.233]. Критериями различения между двумя указанными контекстами употребления определенных дескрипций должны быть, по видимому, определенные существенные для этих контекстов обстоятельства. Примеры, которые приводит Доннелан, иллюстрируют, какого рода должны быть эти обстоятельства, или, иначе, что надо знать о говорящем, чтобы утверждать, что он употребляет определенную дескрипцию референциально или атрибутивно. Так, если некто, хорошо знавший покойного Смита, произносит высказывание "Убийца Смита невменяем" (8), находясь под сильным впечатлением от картины злодейского преступления, но не зная, кто именно его совершил, мы вправе будем заключить, что здесь выражение "убийца Смита" употреблено атрибутивно. Нам для этого достаточно знать о говорящем все вышеперечисленное; более того, вероятно, нам достаточно всего лишь знать о говорящем, что он не знает и не предполагает, кто именно убил Смита. Конечно, наблюдатель не может быть абсолютно уверен, что в момент произнесения фразы у говорящего не мелькнуло подозрение относительно личности убийцы и что соответствующая дескрипция не была употреблена именно с целью указания на него, даже если исходное намерение, мотивировавшее произнесение фразы, было атрибутивным (мгновение спустя, быть может, подозрения рассеялись и как у говорящего, так и у наблюдателя благодаря этому сохранилась иллюзия атрибутивности употребления дескрипции, что впоследствии может быть установлено из ответа "Никого конкретного" на вопрос "Кого вы имеете в виду?"), но в принципе мы вправе любой случай употребления определенных дескрипций оценивать, исходя из презумпции нереференциальности. Настоящие трудности возникают при определении условий референциального употребления выражений вообще и определенных дескрипций в частности. Доннелан так описывает обстоятельства, в соответствии с которыми выражение "убийца Смита" должно быть употреблено референциально: некий Джонс обвинен в убийстве Смита и посажен на скамью подсудимых, обсуждается странное поведение Джонса во время процесса и в ходе этого обсуждения звучит рассматриваемая фраза. Здесь перечислены внешние обстоятельства: то, что Джонсу вменяется в вину убийство Смита, есть общепризнанный факт, а не частное предположение высказывающего фразу; наконец сама фраза включена в разговор, который уже ведется о Джонсе. Действительно, подобные обстоятельства вполне могут подтолкнуть наблюдателя к предположению, что рассматриваемая дескрипция, включенная в подобный разговор, употреблена референциально. Но достаточно ли этого, не оказывается ли еще необходимым для вывода о референциальной значимости дескрипции в данном контексте принять дополнительную гипотезу относительно мотивации говорящего к произнесению именно этой фразы и даже, у'же, к вербализации именно данной дескрипции в составе этой фразы? Предположим, ее произносит человек, который так же, как и все, верит в виновность Джонса, но не хочет, чтобы его обвинили: как мы должны рассудить в таком случае - употребляет ли он соответствующую дескрипцию, чтобы в очередной раз указать на Джонса, или чтобы привлечь внимание или даже намекнуть на некоторые индивидуальные черты, которым явно должен отвечать убийца Смита, но, похоже, не отвечает Джонс? Такой человек может даже на вопрос "Кого вы имели в виду? Кто именно безумен?" ответить "Джонс, конечно, его я имел в виду", а потом добавить "Если, конечно, он убийца". Суть возражения состоит в том, что, если мы принимаем в качестве критериев референциальной значимости термина обстоятельства упомянутых типов, конституирующие контекст его употребления, то в том случае, когда мы знаем или предполагаем, что у говорящего, например, двойственное отношение к индивиду, признанному в контексте разговора референтом термина, мы должны принять дополнительную гипотезу, утверждающую, какое именно отношение мотивировало его употребление выражения в данном контексте. Исходно концепция Доннелана как будто не привлекает таких критериев, как интенция говорящего или коммуникативная цель, поскольку предполагается, что все это может быть установлено (если в этом есть какая-то надобность) вместе с референциальной или атрибутивной значимостью термина на основании внешних обстоятельств его употребления, таких как наличие определенной конвенции, регулирующей дискурс (как в случае с судом над Джонсом), или факты биографии говорящего. Но все же при ближайшем рассмотрении подобные критерии нуждаются в "подпорке" из внутренних обстоятельств употребления термина, чей референциальный статус рассматривается, т.е. в гипотезах, касающихся индивидуальных мотиваций употребления термина. Это связано с тем, что условия существования конвенции относительно референта термина недоопределены. В самом деле, достаточно ли того, что проходит суд над Джонсом, который обвиняется в убийстве Смита и что разговор в зале суда идет преимущественно о Джонсе для того, чтобы считать, что сформирована конвенция, согласно которой референтом дескрипции "убийца Смита" в данном контексте следует считать Джонса? Похоже, что нет, хотя бы потому, что функция суда - установить виновность Джонса в убийстве Смита, т.е. установить истинность утверждения "Джонс есть убийца Смита" (9); таким образом, по крайней мере, не необходимо, чтобы высказывание "Убийца Смита невменяем" интерпретировалось в данном контексте исходя из признания истинности утверждения (9), истинность которого еще только должна быть, согласно принципам судопроизводства, установлена. Такая конвенция в полной мере может считаться сформированной только после вынесения приговора, т.е. признания истинности (9) или его отрицания. Тем не менее можно считать, что некоторые из участников заседания уже признали (9) истинным, а другие, возможно, - ложным; более того, можно сказать, что относительно истинности или ложности (9) уже в ходе заседания и даже до него сформировались, по крайней мере, две локальные конвенции. Такое предположение позволяет считать, что произнесение высказывания (8) кем-то, кто разделяет одну из конвенций, будет предписывать считать соответствующую дескрипцию, употребленную им, референциально значимой (назовем эту конвенцию конвенция А), а если (8) высказано тем, кто разделяет противоположную конвенцию, следует считать ее не значимой референциально или значимой атрибутивно. Проблема только в том, чтобы четко установить, когда можно утверждать, что подобные конвенции уже сформированы; очевидно, они должны стать более или менее устойчивыми регулятивами речевого поведения, чтобы можно было оправданно ссылаться на них как на критерий значимости тех или иных выражений. Если границы таких конвенций не установлены, то в принципе любой случай употребления таких выражений, как "убийца Смита", может интерпретироваться как референциальный или атрибутивный, если не привлекать дополнительных гипотез, касающихся индивидуальных мотиваций.
Если принять, что к моменту суда над Джонсом конвенция А уже сформирована, то, если Х разделяет эту конвенцию, это значит не только то, что он считает (9) истинным высказыванием, но и что он владеет неким дескриптивным целым, однозначно определяющим для соответствующего контекста (для любого разговора, ведущегося о том, кто убил некоего Смита, о котором известно то-то и то-то) референт термина "убийца Смита" - это Джонс, вернее, человек, подсудимый на судебном процессе, проходившем там-то, тогда-то, чье имя Джонс и которого характеризуют такие-то и такие-то паспортные и биографические данные. Таким образом, чтобы определить, значим ли референциально некий термин, будучи употреблен в той или иной ситуации, нам достаточно знать две вещи: 1) существует ли некая конвенция А, определяющая референт термина для тех, кто ее разделяет, и, если да, то 2) разделяет ли ее употребивший интересующий нас термин в рассматриваемой ситуации. Если в отношении некоего термина выполнено условие 1) и не выполнено условие 2), то термин употреблен не референциально, а например атрибутивно, если же в отношении данного термина не выполняется условие 1), то это значит, что он не принадлежит к числу референциально значимых терминов языка. Таким образом, в отношении термина, удовлетворяющего условию 1), можно различить два контекста формирования его значимости, соответствующих двум способам его употребления: обозначим их как специальный и общий. Первый характеризуется тем, что предписывает определять значимость термина какой-либо конвенции А. Тех, кто ее разделяет, соответственно можно назвать специалистами относительно значения данного термина, поскольку для них его референт однозначно определен; второй характеризуется конвенциями другого рода - например, предписывающей не принимать некое дескриптивное целое в качестве определения референта термина. Такой способ определения критериев референциальной значимости терминов позволяет привлечь другую классическую концепцию референции, согласно которой референт термина фиксируется некоторым дескриптивным целым. Такой подход развивает, например, П. Стросон, согласно которому общим условием идентификации некоего индивидуального объекта (что соответствует референциальному употреблению термина) является знание некоего индивидуирующего факта (или фактов) о некоем индивиде, которому тождественен референт рассматриваемого термина, а знать такой индивидуирующий факт - значит знать, что то-то и то-то истинно относительно данного индивида и только его [7, с.23]. Главная характеристика общего контекста значимости термина, соответственно, такова: в нем не действует никакая конвенция А, т.е. никакое дескриптивное целое не признается в качестве определения референта термина, но максимум - в качестве репрезентанта некоего релевантного пониманию термина представления или стереотипа или, иначе, используя терминологию Стросона, никакой факт не считается в этом контексте индивидуирующим фактом в отношении возможных объектов референции, приписываемой данному термину (при этом конвенция, характеризующая общий контекст определения значения термина, может и даже должна - поскольку относительно термина выполнено условие 1) - предписывать считать его в принципе референциально значимым, т.е. признавать за ним характеристику указания на индивиды; только условия их идентификации, согласно этой конвенции, не определены или неизвестны). Специалиста отличает способность при определенных условиях непосредственно указать на объект, тождественный референту термина и удовлетворяющий определяющим его дескрипциям или, если такое указание невозможно, сформулировать для него общие условия, при которых оно могло бы быть осуществимо.
Возвращаясь к примеру с дескрипцией "убийца Смита", можно заметить, что, если некий Х разделяет конвенцию А, т.е. является специалистом, знающим референт этого термина, совершенно не обязательно, чтобы он был также специалистом в отношении значения термина "Смит"; для знания референта дескрипции "убийца Смита", видимо, вполне достаточно иметь какие-то - согласованные с другими разделяющими конвенцию А членами общества - представления о Смите, какие-то факты относительно него, но не обязательно, чтобы какие-то из этих фактов были индивидуирующими. Или, иначе говоря, необходимо, чтобы какие-то дескрипции относительно предполагаемого референта термина "Смит" признавались истинными, но не необходимо, чтобы какие-то из них признавались относительно него определяющими (хотя, разумеется, условие 1) для термина "Смит" должно выполняться).
Но почему бы не предположить, что в отношении термина Пегас существует своя конвенция А, определяющая индивида, удовлетворяющего дескрипции "крылатый конь, пойманный Беллерофонтом", как референт этого термина и в рамках которой сформулированы условия демонстративной идентификации такого индивида? По-видимому, что-то еще должно характеризовать конвенцию А, что исключало бы такие возможности. Условие наличия специального контекста значимости у термина может быть обогащено следующим образом: индивидуирующий факт относительно референта термина должен включать в себя указание, по крайней мере, на одну образцовую ситуацию, когда объект, тождественный референту термина, был демонстративно идентифицирован, причем имя субъекта идентификации, фигурирующего в таком указании, также должно быть для соответствующих специалистов референциально значимым. Однако, если знание референта в конечном счете предполагает возможность прямого указания на объект, тождественный референту термина, то относительно всех, например, абстрактных математических понятий мы в таком случае должны согласиться, что они не могут употребляться в качестве имен и быть при этом референциально значимыми, поскольку прямо указать мы можем только на конкретные материальные объекты - значки или сочетания звуков, которыми обозначаются числа и другие математические объекты. Между этими объектами и математическими объектами, указание на которые мы хотим приписать соответствующим символам языка, - репрезентативное отношение как будто такого же типа, что и между конкретным изображением Пегаса и самим Пегасом: так же как нигде нет "самого Пегаса", а указать мы можем только на его изображения, так же и на "сами числа" мы не можем указать, а всякий раз указываем только на их репрезентации (тем более, что изображения в принципе можно подвести под категорию иконических символов). Между тем, несмотря на видимое сходство репрезентативных отношений, в случае отношения "Пегас - изображение Пегаса" и отношения "число - знак числа" между этими случаями имеется и принципиальное различие: в то время как со знаками чисел мы можем делать именно то, что предполагается делать с числами, т.е. приписывать им именно те операциональные характеристики, какие можем приписывать самим числам (это прежде всего способность участвовать в математических операциях, приводить к математически релевантным результатам), с изображениями Пегаса мы можем делать только то, что со всякими изображениями, а не то, что, предполагается, можно делать с самим Пегасом (например мы не можем приписать изображению Пегаса операциональную характеристику "быть оседланным" или "летать под седоком" и т.д.) - в этом смысле знаки чисел, можно сказать, "операционально эквивалентны" самим числам, и таковы же другие знаки других абстрактных объектов, относительно которых в языке выполняется условие 1).
Но как идея определения референта термина посредством установления его связей с определенными дескрипциями может противостоять упомянутым уже трудностям, вытекающим из не-взаимозаменимости с сохранением истинностного значения терминов, которым приписывается кореференциальность, в интенсиональных контекстах? Так, если референт термина "Фалес" определяется дескрипцией "философ, считавший, что все есть вода", то отсюда, при применении принципа взаимозаменимости salva veritate кореференциальных терминов к высказыванию "Фалес не считал, что все есть вода", должно следовать противоречие - "Философ, считавший, что все есть вода, не считал, что все есть вода" (из ложного высказывания получаем ни истинное, ни ложное). Это было бы так, если бы дескрипция "философ, считавший, что все есть вода" определяла бы референт термина "Фалес" согласно некой конвенции А, т.е. в специальном контексте установления значимости данного термина. Однако такая конвенция должна была бы предписывать считать референтом термина "Фалес" конкретного человека (это следовало бы хотя бы из определения понятия "философ" - что это "человек, занимающийся тем-то и тем-то") и, соответственно, должна была бы включать дескриптивные элементы, допускающие при определенных, выполнимых условиях непосредственное указание на объект, тождественный референту термина. Между тем в этом смысле - как имена конкретных людей - такие термины, как "Фалес" или "Александр Македонский", не употребляются; существующие относительно них конвенции А определяют их не как имена людей, а как обозначения исторических персонажей, и эти конвенции не могут использовать такие дескрипции, как "философ, считавший, что все есть вода", в качестве определений референта термина (а стало быть, приписывать им статус кореференциальных определяемым терминам). Употребление имен исторических персонажей скорее подобно употреблению имен мифических и литературных персонажей, таких как "Пегас" или "Гамлет"; относительно них, наверное, существуют свои сообщества специалистов, но в рамках этих сообществ они, если употребляемы референциально, то во всяком случае не как имена реальных живых существ. Упрощенно выражаясь, чтобы употреблять имя человека референциально, нужно как минимум входить в число его современников - т.е. всех тех, кто непосредственно знаком хотя бы с одним непосредственно знавшим этого человека (хотя этот "круг современников", видимо, при большом желании, можно расширить, включив в него знакомых, непосредственно знакомых с теми, кто был непосредственно знаком с теми, кто..., кто был непосредственно знаком с этим человеком. Тогда главное, чтобы выполнялись условия верификации непрерывности такой цепи знакомств). Аргумент, однако, имеет более общий характер: на основании его предполагается, что, если какая-то дескрипция Д определяет референт термина Т, то 1) Д и Т кореференциальны и 2) подстановка Д, каким бы оно ни было, на место Т в предложения вида "Т не есть Д" (10) изменит истинностное значение последнего. Справиться с этим возражением можно пытаться, по крайней мере, тремя способами: можно отрицать, что если Д в рамках конвенции А определяет референт Т, то Д и Т должны признаваться в рамках этой конвенции кореференциальными терминами; можно настаивать на том, что оцениваемое с точки зрения конвенции А (а только как оцениваемое с такой точки зрения (10) может быть однозначно ложным) (10) не должно быть оцениваемо как необходимо противоречивое высказывание, что оно также может считаться просто ложным; наконец, можно признать, что определение референта термина в рамках любой конвенции А не обязательно должно включать только дескриптивный компонент, а может еще опираться, например, на принятые в рамках данной конвенции и используемые в обучающей практике образцы стимуляций. В последнем случае высказывание вида (10) в рамках конвенции А просто не формулируемо. Здесь мы рассмотрим возможности первого способа справиться с этой трудностью. Предположим Т - "убийца Смита", а Д - "Джонс, т.е. человек, о котором известно то-то и то-то". Очевидно, если о некоем Х можно сказать, что он употребляет термин "убийца Смита" референциально и что он разделяет соответствующую конвенцию, согласно которой референт этого термина определяется данной дескрипцией, то ему следует также приписать и обязательство референциально употреблять данную дескрипцию. В самом деле, знать, что Джонс и никто иной есть убийца Смита, и знать, кто человек, убивший Смита, т.е. быть способным указать на него при определенных условиях, нельзя, не зная, кто такой Джонс. В этом смысле как будто термин и определяющая его в рамках конвенции А дескрипция должны быть кореференциальны с точки зрения этой конвенции. Между тем может так случиться, что не все, кто референциально употребляет термин "Джонс" как имя конкретного человека, считают его убийцей Смита: для них "Джонс" и "убийца Смита" - далеко не кореференциальные термины. О всех, употребляющих референциально термин "Джонс", можно сказать, что они разделяют соответствующую конвенцию - назовем ее конвенцией А1: в рамках этой конвенции референт термина "Джонс", разумеется, как-то определяется, но совершенно не обязательно так же, как в рамках конвенции, регулирующей референциальное употребление термина "убийца Смита" (назовем ее конвенцией А2). Например, в рамках А2 для определения референта термина "Джонс" может использоваться дескрипция "человек, сидевший на скамье подсудимых там-то и тогда-то", тогда как в рамках А1 он может определяться как "человек, родившийся там-то, тогда-то, делавший то-то, с таким-то характером, привычками и т.д."; соответственно будут различаться и условия демонстративной идентификации для этих двух конвенций. Разумеется, конвенция А2 опирается на конвенцию А1, но важно, что А2 регулирует именно употребление термина "убийца Смита" в определенных контекстах, а не термина "Джонс"; поэтому, когда кто-либо, разделяющий конвенцию А2, употребляет термин "Джонс" так, что мы должны приписать этому термину, так употребленному, характеристику референциально значимого (учитывая, что всякий, употребляющий выражение "убийца Смита" согласно А2, должен употреблять и выражение "Джонс" референциально), важно, что он употребляет его референциально либо согласно конвенции А1, либо согласно такой конвенции, которая определяет термин "Джонс" как "человек, сидевший на скамье подсудимых там-то и тогда-то". В обоих случаях термины и определяющие их дескрипции не могут считаться кореференциальными относительно А2, поскольку последняя определяет только условия референциальности для термина "убийца Смита", но не для термина "Джонс"; когда последний употребляется референциально, это регулируется другой конвенцией. Таким образом, когда мы заменяем Т на Д в (10), мы уже не можем оценивать получившееся предложение (11) с точки зрения конвенции, по которой (10) ложно, поскольку референциальное употребление Д регулируется другой конвенцией; а в рамках этой другой конвенции Д может определяться посредством другой дескрипции, Д1 например. Иначе говоря, надо различать статус определяющих дескрипций, устанавливаемый конвенциями А, и статус кореференциальных терминов: конвенция А не устанавливает кореференциальность, хотя опирается на другие конвенции, регулирующие референциальное употребление терминов, используемых данной конвенцией в своем определении; чтобы разделять конвенцию А2, необходимо разделять и конвенцию А1, но обе конвенции сформированы для разных контекстов употребления соответствующих терминов, и то, как употребляется "Джонс" согласно А2, не устанавливается в А1 - следовательно, будучи использован в определении, устанавливаемом в А2 для термина "убийца Смита", соответствующий термин, чье референциальное употребление определяется А1, не употребляется референциально. А когда он употребляется референциально - как в (11), - его связь с термином "убийца Смита", предполагаемая согласно А2, а именно, что есть некоторые факты, которые характеризуют референт термина "Джонс" и эти же факты характеризуют референт термина "убийца Смита", - не может приниматься в расчет, поскольку, согласно А2, факты, характеризующие Джонса, никак не связаны или, во всяком случае, необходимым образом не связаны с фактами, характеризующими убийцу Смита. Т, иначе говоря, просто нельзя заменить в (10) на Д без потери релевантного контекста оценки истинности. Идея кореференциальности, основывающаяся на принципе взаимозаменимости с сохранением истинностного значения, не применима к рассматриваемой концепции; согласно ей два термина могут быть кореференциальны только в том случае, если относительно каждого из них существует конвенция А и определения референтов терминов, устанавливаемые в рамках этих конвенций эквивалентны, - да и в этом случае принцип взаимозаменимости salva veritate в качестве метода верификации такой кореференциальности неприменим.
С. Крипке, критикуя идею определимости референта посредством дескрипций, приводит в статье "Загадка контекстов мнения" пример с билингвом Пьером, который как всякий средний француз знал, что Лондон - это столица Англии, самый большой ее город и т.д. (т.е. владел дескрипциями, призванными однозначно идентифицировать индивидуальный объект), и разделял мнение, что Лондон - красивый город, и мог утверждать: "Londres est jolie" ("Лондон красив"), а затем, переехав в Лондон, в один из некрасивых его районов, выучил английский на уровне среднего англичанина и стал придерживаться мнения, что Лондон не красивый город, и готов теперь утверждать (уже по-английски) - "London is not pretty" ("Лондон некрасив") [1, c.218-231]. При этом Пьер, по мнению Крипке, не отказывается и от своего старого "франкоязычного" мнения, что Лондон - красивый город, даже при том, что оно переводится им на английский и что имя Londres в этом переводе оказывается созвучно названию того места, в котором он теперь живет. Между тем в его взглядах как бы нет противоречия, иначе бы он его заметил. В конце концов Крипке разделяет в отношении Пьера презумпцию, что с логикой у него все в порядке, так как он просто не считает, что оба имени имеют один и тот же референт. Этот пример призван показать, что никакие дескрипции не способны фиксировать референт имени, поскольку, несмотря на то, что Пьер владеет такими дескрипциями и на английском, и на французском (одни применяются им к одному имени, другие - к другому, а перевод французских дескрипций на английский - к переводу французского имени на английский, но не к созвучному этому переводу английскому имени того места, где он теперь живет), этого оказывается недостаточно, чтобы он установил референциальную синонимию между двумя именами. Такой подход к проблеме основан на определенной теории перевода: она предполагает, что имена и термины естественных видов не переводятся посредством какого-либо прямого сопоставления: их употребление осваивается практически по мере освоения чужого языка, а соответственно, никогда нельзя быть окончательно уверенным, что усвоенное таким образом значение некоего имени соответствует усвоенному прежде значению некоего другого имени родного языка. Поскольку всякие идентифицирующие дескрипции включают в себя имена или термины естественных видов, то они сами нуждаются в сопоставлении (название Букингемского дворца или Англии на английском и на французском языках, например, нуждаются в сопоставлении, чтобы быть признанными референциально синонимичными или кодесигнативными, используя термин Крипке), что требует апелляции к новым дескрипциям и т.д. Конечно, в таких случаях, как этот, довольно трудно однозначно определить, каким требованиям должен отвечать средний носитель языка, чтобы считаться специалистом в отношении употребления соответствующего термина, что, иначе говоря, он должен знать, чему бы можно было приписать свойство фиксировать референцию термина в языке L. Однако можно предположить, что это нечто, представляющее собой достаточное условие для референциального употребления имен городов, должно включать в себя не только вербальные - дескриптивные - элементы, но также и образные или, иначе, стимульные, а именно, специалист, разделяющий конвенцию А в отношении имени города, должен уметь связывать определенные образы достопримечательных мест города с оригинальными образцами - с самими наблюдаемыми местами или их изображениями3 ). Таким образом, если Пьер, будучи монолингвом, владел как частью своего определения того, что такое Лондон, определенными визуальными образцами, но, попав в Лондон, не имел возможности применить их в качестве идентификантов (например как в ситуации, описанной Крипке, поселившись в районе, где нет ни одного из известных ему уголков и не выезжая из него), то проблема, на которую здесь обращается внимание, может быть разрешена указанием на то, что, скорее всего, Пьер как средний носитель английского языка не референциально употребляет термин "Лондон" (когда он не является переводом его французского названия для города своей мечты): ведь не все средние носители какого-либо языка обязательно должны употреблять все имена, имеющие в нем хождение, референциально, даже если они умеют ими пользоваться - это показывает хотя бы пример с различиями в идиолектах между двумя средними носителями языка, по разному употребляющими либо имя "Цицерон", либо имя "Туллий". В этом случае, если уж мы признаем, что Пьер смог выучить английский язык и по всем параметрам отвечает требованиям, предъявляемым к средним носителям английского языка, то нет оснований не допускать, что он в конце концов окажется способен построить на английском языке вопрос: "А не обозначают ли английское слово, которым я перевожу французское слово, обозначающее то, что я на английский язык перевожу как "самый большой город Англии и его столица, и т.д.", то же самое, что и название города, в котором я сейчас живу, синтаксически и фонетически подобное этому английскому слову?" Если мы в состоянии признать за Пьером право задать такой вопрос, то по какому праву мы должны отказывать ему в возможности применить те дополнительные средства подтверждения или опровержения предполагаемой кодесигнативности имен, которыми он располагает как носитель французского языка4 ). Для этого ему всего лишь нужно сопоставить эти образцы с реальными достопримечательными местами города непосредственно или при помощи какого-либо авторитетного посредничества. Применительно к конкретной ситуации данного Пьера, ему всего лишь надо добраться до центра города - ведь относительно концепта "центр города" у него как носителя английского языка нет резкого расхождения во мнениях со своим французским визави или во всяком случае оно на практике вряд ли проявится, а для успешного применения дополнительных средств идентификации это - вполне достаточное условие. Таким образом, он в конечном итоге будет обладать достаточными основаниями для утверждения, что то, что обозначается французским словом таким-то, и то, что обозначается английским словом таким-то, есть одно и то же, а эти термины - кодесигнативны; а затем он заметит и постарается устранить, будучи логически лояльным, противоречие, которое, как выяснилось, имеется в его взглядах. Но собственно, никакого противоречия в этом случае не было, поскольку просто он не употреблял соответствующее английское имя референциально - не владел во всей полноте той информацией (а именно, визуальными ее составляющими), которой должен владеть средний носитель английского языка, чтобы быть специалистом в отношении употребления данного термина, а следовательно, его мнение, что Лондон - некрасивый город, утверждалось и имело значение "истинно", относительно чего-то другого (если вообще относительно чего-то), но не относительно того, что представляет собой референт термина Londres. Роль дескриптивных идентификантов этого другого индивидуального объекта, предположительно тождественного референту термина London, Пьером употребляемого в качестве имени того места, где он живет, до ознакомления с дополнительной информацией, позволяющей дополнить созвучность этого имени с переводом соответствующего французского слова их кодесигнативностью, в идиолекте Пьера играли не те элементы, какие играют эту роль в специальном контексте значимости термина London в английском языке; но возможно, эти элементы играют роль определяющих в отношении референта термина, созвучного этому последнему, но употребляемого теми малограмотными жителями окраин, которые никогда не были в центре города, согласно соответствующей конвенции, разделяемой ими и отличной от той, которой продолжала придерживаться франкоязычная часть Пьера. Так же точно противоречие на поверку оказывается ложным в случае, если Пьер не референциально употреблял соответствующее французское слово (и соответственно позже став, билингвом, его английский перевод); в этом случае его мнение, что Лондон - красивый город, утверждалось и было истинным не относительно референта английского коррелята этого французского имени, а относительно чего-то другого. Это "другое" можно поставить в соответствие, например, некой идее или концепту Лондона в идиолекте Пьера как носителя французского языка. Если термин "смысл" имеет какую-либо семантическую значимость, то, применительно к данному случаю, смысл выражения Londres в идиолекте французского языка Пьера, можно сказать, состоял как раз в том, что в его употреблении это слово соозначало некий концепт, относительно которого и формировались и имели истинностные значения все мнения Пьера, в которых нечто предицировалось этому имени. Такое положение дел также выглядит вполне исправимым при описанных условиях: став билингвом и референциально употребляя соответствующее имя английского языка, Пьер может дополнить теперь и свои средства идентификации референта соответствующего имени французского языка до уровня, необходимого, чтобы считать Пьера специалистом относительно употребления этого имени. Хотя последнее, конечно, не обязательно, и также возможно, труднее практически осуществимо, если только Пьер не переберется опять во франкоязычную среду.
ПРИМЕЧАНИЯ
1 Все имена, фактически, онтологически бессодержательны, так как я показал, в связи с терминами "Пегас" и "пегасить", что из имен можно сделать дескрипции, а Рассел показал, что дескрипции могут быть устранены: "Чтобы мы ни говорили с помощью имен, можно сказать на языке, избегающем всяческих имен. Быть признанным в качестве сущности значит в чистом виде просто считаться значением переменной" [5].
2 Ср. в связи с этим следующий пассаж из "On What there is": "Мы легко можем взять на себя онтологические обязательства, сказав, например, что есть нечто (связанная переменная), что красные дома и закаты имеют общего; или что есть нечто, что есть простое число, большее миллиона. Но это, по существу, единственный способ, каким мы можем взять на себя онтологические обязательства: посредством нашего употребления связанных переменных. Употребление предполагаемых имен не является критерием, поскольку мы можем без колебаний отказать им в именовании до тех пор, пока не сможем обнаружить соответствующую сущность в вещах, которые мы утверждаем в терминах связанных переменных".
3 Возможно, имело бы смысл даже говорить о некоем "поле" дополнительных или ассоциированных идентификаций, однозначно фиксирующих референты соответствующих терминов (таких, как "изображение т", "намек на т", "аллюзия т", "идеализация т" и т.д., где т обозначает референт термина), которые специалист в отношении употребления данного термина способен осуществлять; соответственно наличие специального контекста значимости одного термина может и даже в отношении некоторых таких связей - должно имплицировать наличие специальных контекстов значимости некоторого множества других терминов, включающих в себя первый в качестве значимой составляющей - в смысле, описанном выше: а именно - что одни конвенции опираются на другие, т.е. что употреблять референциально один термин из этой группы нельзя, не владея критериями референциального употребления другого, иначе говоря, не зная его референт.
4 Но которые вообще говоря транслингвистичны (по крайней мере, на множестве, состоящем из английского и французского языков, а возможно, и на множестве всех языков, которые Пьер способен освоить так, чтобы отвечать требованиям, предъявляемым к среднему носителю каждого из них), поскольку это визуальные образцы и регулировать их значимость в принципе могут конвенции, не ограниченные рамками только одного языка, а предполагающие би- и более- лингвистические интерпретативные структуры.
Список литературы
Крипке С. Загадка контекстов мнения //Новое в зарубежной лингвистике. Вып. 18. - М.: Прогресс, 1986.
Фреге Г. Смысл и значение //Его же. Избранные работы.- М.: Дом интеллектуальной книги, 1997.
Keith Donnelan Reference and Definite Descriptions //The Philosophy of Language (3 edition), A. P. Martinich (ed.), Oxford University Press, 1996.
Quine W. V. O. Word and Object, MIT Press, Cambridge Massachusetts.
Quine W. V. O. On What there is //Его же. From a Logical Point of View, Harper and Row, N. Y.
Russel B. On Denoting //The Philosophy of Language (3 edition), A. P. Martinich (ed.). - Oxford University Press, 1996.
Strawson P. F. Individuals. - London, Methuen & CO LTD.
8. Черняк А. З. Знание и референция