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

• Название: Что такое теория значения?
• Автор: Майкл Даммит
• Жанр: Философия

Майкл Даммит (27 июня 1925, Лондон — 27 декабря 2011) — британский философ, видный представитель аналитической школы; также является разработчиком теории избирательной системы голосования и специалистом по истории карточных игр. В 1944 году он вступил в ряды римской-католической церкви и с тех пор оставался практикующим католиком. С 1979 по 1992 гг. — профессор логики в Оксфорде. Также Даммит преподавал в Калифорнийском университете в Беркли, в Бирмингемском, Принстонском и Гарвардском университетах. Занимаясь логикой и философией языка, Даммит стал автором работы, которая сейчас признается классической в соответствующей среде, — «Фреге: Философия языка» (англ. Frege: Philosophy of Language, 1973). Значителен также его вклад в области философии математики и метафизики. В 1995 году он получил премию Рольфа Шока за участие в дискуссии, посвященной философии Фреге, и за вклад в развитие теории значения.

---

Этот вариант позиции (3) нельзя отбросить в сторону как попытку с помощью простой игры слов выхолостить содержание тезиса о том, что условное сослагательное предложение не может быть просто истинным, одновременно соглашаясь с этим тезисом. Напротив, он проводит различие между теми случаями, в которых применение данного тезиса заставляет нас признавать, что ни одно из двух противоположных контрфактических предложений не может быть истинным, и случаями, в которых при сохранении принципа двузначности для определенных категорических утверждений мы не обязаны делать такую уступку. Правда, он не указывает никакого принципа, согласно которому можно провести разграничение этих двух случаев, апеллируя к нашей обычной языковой практике. Следовательно, он не дает никакого оправдания этой практике. Нельзя отрицать, что мы обязаны проводить различие такого рода, ибо в нашем языке область выражений, вводимых посредством тех или иных условных предложений, громадна. Она включает в себя каждый термин, обозначающий свойство, обладание которым устанавливается проверкой, или количество, степень которого устанавливается измерением. Некоторые из этих проверок и измерительных процедур мы интерпретируем как раскрытие положений дел, существующих до и независимо от проверок и измерений. И в дальнейшем мы принимаем допущение о том, что предложение, приписывающее чему-то некоторое свойство или определенную степень количества, с определенностью истинно или ложно независимо от того, были ли осуществлены проверки и измерения или могут ли они быть осуществлены.

Принимая такое допущение, мы встаем на реалистическую позицию по отношению к осуждаемым свойствам и величинам. И теперь становится ясно, каким образом понятие истины, которое, как мы считаем, управляет нашими утверждениями, детерминирует через принцип С наш взгляд на структуру реальности. Действительно, мы можем охарактеризовать реализм относительно данного класса утверждений как предположение о том, что каждое утверждение этого класса определенно либо истинно, либо ложно[1]. Таким образом, позиции (2) и (3) равнозначны различным вариантам реалистического истолкования утверждений о человеческих способностях, в то время как позиция (1) представляет собой отрицание реалистической интерпретации этих утверждений. Однако позиция (1) является редукционистской: соглашаясь с тем, что любое утверждение, приписывающее определенную способность отдельному индивиду, должно быть определенно истинным или ложным, ее сторонники заключают отсюда, что должен существовать некоторый физиологический факт, делающий его истинным или ложным. Конечно, редукционизм не обязательно принимает свою крайнюю форму, утверждающую переводимость утверждений одного класса в утверждения иного класса. Главным образом его интересуют те вещи, которые делают истинными утверждения данного класса. Тезис, согласно которому утверждения класса M в этом смысле редуцируемы к утверждениям другого класса R, принимает общую форму утверждения о том, что для любого утверждения А из M существует некоторое семейство А множеств утверждений класса R, такое, что для истинности А необходимо и достаточно, чтобы все утверждения некоторого множества, принадлежащего А, были истинны. Перевод гарантирован только в том случае, если само А и все множества, которые оно содержит, являются конечными. При этом мы можем сказать, что любое утверждение из M истинно в силу истинности определенного, возможно бесконечного, количества утверждений класса R.

Вооружившись этим понятием редуцируемости, мы можем теперь в общем виде сказать, что некоторое утверждение является просто истинным, если оно истинно, но не существует такого класса утверждений, который не содержит его или его тривиальные варианты и к которому может быть редуцирован любой класс, содержащий это утверждение. В то время как позиция (2) представляет собой редукционистскую форму реализма относительно человеческих способностей, позиция (3) выражает наивный реализм относительно этих способностей: наивный реализм относительно утверждений некоторого класса Д состоит в соединении реалистической позиции по отношению к этому классу с тезисом о том, что утверждения этого класса могут быть просто истинными, т.е. что не существует такого класса утверждений, к которому они могут быть редуцированы. Это равнозначно заявлению о том, что мы не можем ожидать нетривиального ответа на вопрос: ”Благодаря чему утверждение класса Д истинно, когда оно истинно?” Наше понимание строения реальности — наша метафизическая позиция — частично определяется тем, по отношению к каким классам утверждений мы занимаем реалистическую позицию, т.е. принимаем принцип двузначности, а частично тем, какие из этих утверждений мы считаем способными быть просто истинными.

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

Иначе дело обстоит в том случае, когда S понимают как предложение, используемое для утверждений, способных быть просто истинными. В этом случае соответствующее T-предложение может иметь лишь тривиальную форму. Поэтому объяснение того, что значит для говорящего знать условия истинности S, должно целиком войти в теорию смысла. В случае предложения, способного быть просто истинным, нашей моделью такого знания является способность использовать предложение для отчета о наблюдении. Так, если кто-то, взглянув, способен сказать, что одно дерево выше другого, то он знает, что значит для одного дерева быть выше другого дерева, следовательно, он знает, какое условие должно быть выполнено для того, чтобы предложение ”Это дерево выше другого дерева” было истинным.

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