Блинов Аркадий. Аналитическая философия

Sи принимаем первопорядковое исчисление как адекватное для выражения логической импликации, то мы можем точно сказать, какие именно члены Sсвязаны отношениями импликации. Такое обязательство может быть поддержано или оспорено обращением к нашим полаганиям о логических импликациях S. Таким образом, аргумент
   Рост Бориса – 1 метр 70 см, и рост Владимира – 1 метр 70 см.
   Поэтому Борис и Владимир одного роста.
   и другие подобные, состоящие из предложений такого вида, имеют форму
    H( B, 1-70) & H( V, 1-70)
   (( x) [ H( B, x) & H( V, x)]
   Если мы используем объектную квантификацию в назначении логической формы, то истинность составляющих импликацию предложений зависит от существования чисел – иными словами, если мы решаем назначить предложению «Борис и Владимир одного роста» форму (( x) [ H( B, x) & H( V, x)], и при этом полагаем, что это предложение истинно, то мы принимаем онтологическое обязательство к числам, практически по-пифагорейски полагая их существующими наравне с обоими этими людьми. Но если мы рассматриваем основания, на которых мы можем обосновывать принятие решений и наличие полаганий, то мы видим, что подобное обязательство не может послужить нам таким основанием. Основанием для назначения логической формы выступают скорее наши полагания о логической импликации – основанные, в свою очередь, на данных наблюдения, определенных умозаключениях или прецедентах, или на чем бы то ни было, что является релевантным в нашей концептуальной схеме. Но было бы весьма дискуссионным признать за логикой настолько прямое и незатейливое каузальное воздействие на онтологию. Следует скорее признать, что те основания, на которых мы проводим назначение логической формы и на которых мы верим предложениям, получающим эту логическую форму, недостаточны для решения онтологических вопросов. Таким образом, мы должны отклонить требование, согласно которому логическая форма предложений должна быть дана в терминах объектной квантификации.
   Этот аргумент был предложен в поддержку подстановочной семантики ³⁶³, но равно относится ко всем случаям назначения логической формы. Даже в тех случаях, когда подстановочная интерпретация оказывается неподходящей, отсюда еще не следует, что мы должны употребить объектную интерпретацию. Скорее, мы должны решить, действительно ли мы приветствовали бы онтологические обязательства, которые повлечет за собой объектная интерпретация, и на этом основании (по крайней мере, частично) мы можем решить, следует ли употребить референциальную семантику для такой теории.
   Здесь возникает онтологический аргумент против подстановочной квантификации, основанный на описании значения предикатов в терминах семантической концепции истины Тарского. Определение истины для языка при использовании подстановочной квантификации сможет имплицировать инстансы схемы Тарского (' … истинны только и если только – ') только тогда, когда оно будет встроено в теорию, в которой обозначение является определимым – что, таким образом, делает возможной для этого языка референциальную семантику ³⁶⁴. Кроме того, метаязык будет должен иметь такие аксиомы, что все в диапазоне кванторов имело бы имя, и что каждое имя называло бы нечто в диапазоне кванторов. Если бы это было истинно, то у обращения к подстановочной квантификации не было бы никакое онтологического значение. Поскольку в конечном счете нам понадобится определение истины для нашего объектного языка, то это восстановит в метаязыке все онтологические обязательства, которых мы хотели избежать.
   В этом аргументе может быть оспорено представление о роли T-эквивалентностей (biconditionals) в утверждении определения истинности. Если цель состоит в том, чтобы гарантировать онтологическую адекватность определения истинности, то не необходимо, чтобы инстансы (T) были логическими следствиями определения: достаточно, чтобы они оставались истинными при замене 'истинно' на definiens, потому что любой предиката, заменяющий 'истинно' во всех случаях (T) без изменения их истинностного значения, будет иметь объемом все истинные предложения объектного языка, и только их. Поскольку в этом состояла цель, установленная Тарским для T-эквивалентностей, постольку они должны быть логическими следствиями определения: для того, чтобы мы могли знать, что определение истинности является онтологически адекватным, мы будем должны знать, что замена 'истинно' на definiens оставляет истинные T-эквивалентности. При этом последние должны будут следовать из определения наряду со всеми другими предложениями, выражающими наше знание относительно терминов, в которых дается definiens. Возможно и другое понимание роли T-эквивалентностей, согласно которому определение истинности должно объяснять каждый инстанс (T). Однако нельзя ожидать объяснения (чем бы его ни считать) T-эквивалентностей от одного лишь определения – скорее для этого потребуется теория истины для определения и других значимых элементов словаря definiens. Следовательно, мы требовали бы выводимости из полной теории, а не из одного только определения. Таким образом, онтологический аргумент против подстановочной квантификации сводится к следующему: чтобы знать, что она материально корректна, мы нуждаемся в метаязыке, который сам делает онтологические обязательства, которых мы пробовали избежать путем обращения к подстановочной семантике.
   Поэтому контраргумент в пользу подстановочной квантификации здесь может состоять в следующем. Проверка правильности определения истинности потребует доказательства T-эквивалентностей определения. Но наши стандарты доказательства могут различаться в зависимости от порядковости предикатов. Для объектной интерпретации это выводимость первого порядка, но когда кванторы получают подстановочную интерпретацию, то исчисление первого порядка оказывается семантически неполным. Нас интересует, зависит ли правильность подстановочного определения истинности от удовлетворительности T-эквивалентностей. Если мы принимаем, что при подстановочной интерпретации кванторов определение истинности имплицирует T-эквивалентности, то можно рекурсивно получать T-эквивалентности для квантифицированных предложений без обращения к исчислениям первого порядка. В этом случае T-эквивалентности установлены при помощи предиката 'быть истинным', и таким образом мы можем без обращения к референциальной семантике знать, что подстановочная характеристика истинности правильна.
   Возможно расширение онтологического аргумента против подстановочной квантификации, связанное с тем, что даже при подстановочной интерпретации экзистенциальный квантор имеет подлинное требование выразить понятие существования. Согласно Куайну, так как подстановочная квантификация валидна вне зависимости от того, каков класс замены, то наделение ее референциальным смыслом вынудило бы нас признать, что предложения типа '(()) ((2+2=4))' затрагивают нашу онтологию. И это вынудило бы нас расценивать ')' как нечто имеющее референцию, что абсурдно. Кроме того, Куайн утверждает, что ограничение класса подстановок единичными терминами влечет за собой обращение к объектной квантификации, так как единичный термин – это именно термин, который может занимать место связанной переменной, интерпретируемой объектно. Здесь возможно следующее возражение: объектная квантификация может начинаться с «основного класса» единичных терминов, который затем пополняется новыми единичными терминами, заменяющими уже только подстановочные переменные. С такой точки зрения сам тот факт, что подстановочная интерпретация дает условия истинности для квантифицированных предложений, означает, что можно говорить об их объектах как о существующих ³⁶⁵. Однако здесь естественно контрвозражение: далеко не всякое заключение об истинности будет онтологическим утверждением. Иными словами, можно ли утверждать, что подстановочная квантификация способна выразить понятие существования? Например, действительно ли Куайн считает, что это не так?
   Квантор не является объектным или подстановочным сам по себе: таким или другим делает его интерпретация, и это очевидно не исключает возможность дальнейшей дополнительной интерпретации. Куайн утверждает, скорее, что при подстановочной интерпретации квантора не принимаются никакие онтологические обязательства per se. Таким образом, просто определить класс подстановок и дать подстановочное определение истинности не означает непременно принимать те или иные онтологические обязательства; но при этом и не устраняется возможность принятия таких обязательств. Тогда, строго говоря, никакой аргумент не угрожает возможности использования подстановочной квантификации онтологически нейтральным способом.
   По мнению Куайна, употребление подстановочной квантификации не позволяет избежать онтологических обязательств, а скорее не в состоянии раскрыть их. Если мы применяем референциальную интерпретацию '(( x) Fx', то у нас возникают проблемы с онтологическим обязательством к F. Однако, если мы можем дать нереференциальный семантический анализ нашего языка, почему бы не предположить, что мы не используем референцию? В конце концов, сам Куайн убеждает нас не приписывать выражению референцию, пока лингвистическое поведение ребенка или аборигена не вынуждает нас переводить его референциально. Кроме того, предположение Куайна, что подстановочная интерпретация направлена только на абстрактные объекты, может быть подвергнуто сомнению, если мы расширяем нашу онтологическую перспективу. Например, может утверждаться, что подстановочная квантификация вполне способна заменить референцию для любого вида сущностей, условия идентичности которых неясны, типа событий. Но означает ли применение подстановочной интерпретации само по себе отказ от признания возможности или релевантности референции?
   Анти-подстановочный пафос Куайна таков. В мире Куайна существуют физические объекты и классы. Поскольку причиной применения подстановочной интерпретации, согласно Куайну, является стремление избежать введения абстрактных объектов, кванторы теории множеств получают подстановочную интерпретацию. Если мы позволяем свободные объектные переменные в определении класса и если имеются объекты, не выделяемые единственным образом, то мы получаем аномальные результаты ³⁶⁶.
   Пусть ' Y' – определение класса, которое является истинным для некоторых объектов, но ни для одного, который может быть выделен уникально. Класс Yсостоит из членов u, каждый из которых удовлетворяет условию
   { y: u= y} есть единичный подкласс Y& u= u.
   Следовательно, каждый uудовлетворяет
   (( Z) ( uесть единичный подкласс Y& u= u).
   Но
   ((  Z) ( Zесть единичный подкласс Y)
   ложно, так как требует, чтобы замкнутое определение класса выделяло некоторого члена единственным образом, что нарушает описание Y.
   Однако допущение свободных объектных переменных в определении класса объяснимо только, если использование подстановочной квантификации направлено на объяснение лингвистически зависимых родов существования. Если объемы предикатов существуют, то было бы несколько произвольно не допускать существование { x: Fxy} для каждого y, вне зависимости от того, действительно ли мы можем уникально определить y. Но если наша цель состоит в том, чтобы избежать референции к классам в целом, чтобы избежать вопроса об их существовании, то нет никакой причины для разрешения открытых определений класса как подстановок для ' Z' в '(( Z) FZ', а аномалия Куайна показывает, почему такое разрешение неправомерно.
   Можно также предположить присвоение каждому объекту имени через систему пространственно-временных координат. Куайн возражает на это, что использование такой системы координат требует квантификации на числах (или заменяющих их множествах). Если мы считаем, что ряд натуральных чисел бесконечен и интерпретируем квантификацию объектно, то в нашу теорию не укладывается бесконечность абстрактных объектов. А если мы интерпретируем квантификацию подстановочно, то когда мы даем условия истинности в метаязыке, мы должны будем принять существование бесконечного ряда абстрактных числовых выражений.
   Последнее возражение связано с интенцией Куайна к созданию арифметики с неуказанными конечными границами ³⁶⁷и его предположением, что метаязык, на котором даются условия истинности, должен интерпретироваться объектно. Однако последнее – не факт: не исключено, что мы можем интерпретировать метаязык подстановочно ³⁶⁸. Квантор метаязыка может получать подстановочную интерпретацию, чтобы показать что данный смысл квантификации на естественном языке является подстановочным.
   Итак, для аналитического подхода может признаваться эпистемологически важным, чтобы онтологии строились в зависимости от семантических особенностей, а не наоборот. Критерий Куайна имеет именно такую интенцию – поставить онтологию в зависимость от семантики, но, как мы видели, допущения, связанные с подстановочной квантификацией, ставят под сомнение однозначность такой зависимости. Поэтому семантические характеристики должны быть нециркулярными и онтологически независимыми. Вообще говоря, требование метафизической независимости признается традиционно важным для построения релевантной семантики. Ход Дэвидсона, легший в основу последней, повторяет форму хода Куайна с критерием существования и онтологической относительностью – инверсию семантического критерия «нечто имеет значение». Обращая отношение, получаем: «имеющее значение есть нечто», т.е. «быть значением (квантифицированной переменной) значит существовать». Аналогичным образом критерий Тарского «значение дает истину» обращается в «истина дает значение».
   Сам принцип онтологической относительности инвертирует тезис семантической относительности, представленный принципом лингвистической относительности Сепира – Уорфа ³⁶⁹, или, более широко, эпистемологическими идеями о концептуальной относительности – например, Гудмена и Патнэма. Так, Гудмен считает, что «версия принимается за истинную тогда, когда она не ущемляет никаких устойчивых полаганий и ни одного из своих собственных предписаний» ³⁷⁰; но не предлагает это как определение предиката 'быть истинным'. Гудмен сообщает нам, что сама истина является только одним аспектом более общего cвойства, которое он называет правильностью, так же, как утверждение суждений и референциальное использование языка представляет только один вид символического функционирования (наряду с выражением и экземплификацией). Истина и правильность могут иногда находиться в противоречии, даже в науке – например, в тех случаях, когда нам нужен ясный, но лишь приблизительно истинный общий закон скорее, чем строго истинное утверждение, которое перегружено не-необходимой информацией. Истина применима только к версиям, которые состоят из утверждений; согласно Гудмену, она зависит от правдоподобия (credibility) и когерентности, т.е. фактически это верификационистская семантика. Гудмен говорит, что мы понимаем наши языки в терминах схватывания состояний обоснованной утверждаемости и «правильности», а не схватывания «условий истинности» в традиционном реалистическом (корреспондентском, который Тарский называет «аристотелевым») смысле. Истина, с разделяемой Гудменом точки зрения – идеализация обоснованной утверждаемости.
   Последнее понятие (warranted assertibility) Патнэм предлагает как раскрытие Гудменова понятия правдоподобия. Патнэм применяет к обсуждению истины Гудменом свою концепцию индексикалов ³⁷¹. Он рассматривает позицию человека, считающего, что надо держаться версий, предписаний, устойчивых полаганий, и так и поступающего, полагая, что нет никаких доводов в пользу его выбора за исключением того, что это – его экзистенциальный выбор. Позиция такого человека могла бы быть логически проанализирована следующим образом: она такова, будто он решил, что 'истинный' и 'правильный' – индексальные слова. 'Истинный' (или скорее, 'обоснованно утверждаемый') означает «истинный для меня» – то есть находящийся в соответствии с моими предписаниями и устойчивыми полаганиями, а 'правильный' означает «правильный для меня» – то есть находящийся в соответствии с моими стандартами и представлениями о правильности. Тогда все, что Гудмен сообщает о том, как мы строим версии миров из других версий, о том, что мы не начинаем ex nihilo, о предписаниях и устойчивых полаганиях, можно сказать и о предикате 'истинный для меня'.
   Таким образом, на более общем эпистемологическом уровне теория истины может иметь форму ограничений, накладываемых на принцип концептуальной относительности, причем коррелирующих с теми ограничениями, которых, как представляется, требует применение принципа онтологической относительности (в первую очередь подстановочная квантификация). Поскольку Дэвидсонова семантика наследует от Тарского требование онтологической нейтральности, причем это требование для нее также конститутивно, можно предположить, что характерная (как минимум, одна из характерных) для аналитическй философии теория значения как условий истинности должна иметь форму ограничений, накладываемых на семантическую относительность (или, более специфично, истинностный релятивизм), сопоставимых с ограничениями, накладываемыми на онтологическую относительность.

7.3 Холистичность теории интерпретации Д.Дэвидсона

   Семантика Дэвидсона развивалась в полемике с представлениями Куайна о переводе, где понятие 'перевод' понимается как включающее интерпретацию того, что говорится на нашем родном или другом известном мне языке, а не только на незнакомых нам иностранных языках. Как и Дэвидсон (и по аналогичным верификационистским основаниям), Куайн отклоняет идею о наличии самостоятельных фактов относительно того, что люди подразумевают. Подобно Дэвидсону, он считает, что для того, чтобы интерпретировать то, что говорят другие люди, назначая значения словам и предложениям, надо построить теорию, состоящую из множества гипотез, который соответствовали бы физическим фактам, но не какой-то дополнительной и независимой истине не-физического рода. Заключение, к которому приходит Куайн, таково: теория, выдвигаемая, чтобы интерпретировать речевое поведение другого говорящего, будет всегда радикально недоопределена очевидностью (если только она не ограничится произнесениями очень простого рода). Она останется недоопределена, даже если мы будем знать все факты о физическом мире, включая факты о пространственных и временных расположениях объектов и их склонностях вести себя специфическими способами в специфических обстоятельствах, поскольку нам всегда будут доступны альтернативные теории, который одинаково хорошо удовлетворяют этим физическим фактам.
   Выбор между этими альтернативными теориями не может быть определен никакими физическими фактами, т.к. никакие факты не могут сделать одну теорию правильной, а другие неправильными. Это относится не только к переводу текстов, порождаемых на иностранных языках, но и к интерпретации текстов, порождаемых другими говорящими на родном языке интерпретатора (или просто на одном и том же языке). Последнее сводится к следующему: естественно интерпретировать использование слов и предложений другими людьми, отображая их выражения на мои собственные выражения, которые звучат или выглядят так же в сходных обстоятельствах; другими словами, естественно предположить, что другие люди используют эти выражения с тем же значением, что и я сам. Но эта гипотеза, хотя и удобна, является не единственной совместимой с физическими фактами, и, следовательно, не имеет никакого специального требования правильности. Таким образом, согласно Куайну, гипотезы перевода не просто недоопределеныдоступной нам очевидностью – они фактически неопределены, т.к. нет никакой истины, относительно которой они были бы правильны.
   Куайн делает такое заключение, потому что считает, что единственное, что может определять правильность интерпретации – это физическая очевидность, которая может включать информацию о возбуждениях сенсорных рецепторов и о поведенческих и диспозициональных характеристиках, но никогда не может включать информацию о том, что кто-то подразумевает под своими словами, так как то, что они означают, может быть проявлено только физически ³⁷². Гипотезы, которые мы расцениваем как приемлемые – это те гипотезы, в которых соблюдается то, что Куайн называет «принципом милосердия» (или «принципом доверия» – principle of charity): везде, где возможно, мы должны интерпретировать то, что кто-то говорит, таким способом, чтобы получилось истинное – или, по крайней мере, разумное в сложившейся ситуации – высказывание. Однако для Куайна это только вопрос удобства, и интерпретации, которые нарушают этот принцип, не являются ложными по одной только этой причине.
   Совершенно иной смысл придает принципу доверия Дэвидсон: он делает его конститутивным – так, чтобы именно этот принцип использовался для того, чтобы определять правильность интерпретации. Таким образом, для Дэвидсона физические факты – не единственные детерминанты правильной интерпретации, и он может отклонять как ложные те гипотезы, которые Куайн лишь маркирует как неудобные и неестественные. Причина этого различия в том, что Дэвидсон видит цель построения психологической и семантической теории языкового поведения в объяснении того,что делает это поведение рациональным, а теории, которые приписывают людям абсурдные полагания, терпят неудачу в этой задаче. Построение перевода того, что кто-то говорит – только часть полной теории, которая стремится интерпретировать языковое поведение субъекта в целом (насколько оно поддается рациональной интерпретации), приписывая ему полагания, желания, вообще интенциональные ментальные состояния. Конечно, в некоторых обстоятельствах будет уместно приписать именно нерациональные полагания, но такое приписывание может быть законно только на таком когнитивном фоне, который делает эти полагания и желания в некоторой мере понятными в свете тех обстоятельств, в которых они возникают и поддерживаются, или в контексте полной теории, которая делает поведение человека рациональным б?льшую часть времени, но оставляет место для случайного провала. Именно поэтому, например, мы воспринимаем оговорки как оговорки, в сравнении с реконструируемым (с учетом условий) правильным высказыванием, а не как нечто самостоятельное ³⁷³– нам понятно, что человек «хотел сказать» – и здесь действует тот же механизм, что и в той ситуации, когда некто Курт говорит «Es regnet», и мы, при соответствующих условиях, понимаем, что он сказал, что идет дождь ³⁷⁴. Следовательно, нужно интерпретировать убеждения другого человека как (по крайней мере, главным образом) рациональные, и соответственно понимать те предложения, которые их выражают. Это не отменяет неопределенности перевода, поскольку в некоторых обстоятельствах альтернативные интерпретации одинаково хорошо выполняют сложную задачу удовлетворения и физическим фактам, и требованию милосердия.
   Чтобы интерпретировать убеждения и желания другого человека как в целом рациональные, надо ассимилировать эти убеждения, насколько возможно, к нашим собственным, поскольку мы очевидно считаем рациональным полагать то, что истинно, и относимся к нашим собственным убеждениям как к истинным. Это требование не универсально в том отношении, что любой человек может иногда иметь ложные полагания, поскольку возможны такие обстоятельства, в которых непосредственное (и, возможно, наиболее рациональное в смежных контекстах) убеждение будет ошибочным – например, из-за ограниченной очевидности. Но в таких ситуациях каждый знает, как исправить ошибку, и если мы интерпретируем речевое поведение некоторого говорящего как рациональное, то мы тем самым признаем за ним достаточную способность к такому исправлению, проверке, обращению к смежным контекстам и т.п. Если мы вообще приписываем какие-то значения языковым выражениям, порождаемым другими людьми, то мы должны считать большинство их убеждений истинными или, по крайней мере, что у этих людей в основном те же самые сенсорные полагания, что были бы у нас самих в этих обстоятельствах, и что они руководствуются в основном теми же принципами для достижения более сложных истин, что и мы.
   Но это означает, что Дэвидсон намного меньше учитывает неопределенность, чем Куайн. Стратегия Дэвидсона состоит в том, чтобы включить формальную структуру теории значения (структуру, которую он находит в теории истины Тарского) в более общую теорию интерпретации, основы которой он наследует от Куайна. Понятие «радикальный перевод» было введено Куайном как идеализация проекта перевода, который покажет этот проект в его самой чистой форме. Обычно задаче переводчика помогает предшествующее лингвистическое знание – или действительного языка, с которого должен быть переведен текст, или некоторого связанного с ним языка. Куайн рассматривает случай, в котором перевод языка должен произойти без какого бы то ни было предшествующего лингвистического знания и исключительно на основе наблюдаемого поведения говорящих на языке в конъюнкции с наблюдением основных перцептуальных возбуждений, которые вызывают это поведение. Концепция доступной поведенческой очевидности Дэвидсона шире, чем Куайна: Дэвидсон допускает, что мы можем, например, идентифицировать говорящих как имеющих позицию «считать истинным» относительно предложений, и, кроме того, отклоняет настояние Куайна на специальной роли, отводимой простым перцептуальным возбуждениям. C точки зрения Дэвидсона, можно редуцировать неопределенность и другим способом: единственный удовлетворительный способ перевода предложений другого говорящего на мой собственный язык – построение экстенсиональной аксиоматизированной теории истины в духе Тарского для этого языка другого говорящего, которая накладывает дальнейшие ограничения на то, как этот язык может быть интерпретирован. Центр интересов Дэвидсона ближе к семантике, чем Куайна (Куайн рассматривает радикальный перевод как часть прежде всего эпистемологического исследования), и в то же время Дэвидсон рассматривает теорию перевода как саму по себе недостаточную, чтобы гарантировать понимание языка, который мы переводим (перевод может быть на язык, который мы не понимаем), поэтому понятие «перевода» заменено в его теории понятием «интерпретации».