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

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

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

---

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

Один хорошо известный прототип такой семантики уже существует: интуиционистское описание значений математических утверждений. Такое описание наиболее легко понять прежде всего в применении к утверждениям элементарной арифметики. В этом случае нет никакой проблемы относительно значений атомарных утверждений, а именно относительно числовых уравнений, поскольку они разрешимы: понимание их значений можно считать состоящим в знании процедуры вычисления, которая позволяет установить их истинность или ложность. Все различие между классической, или платонистской, и интуиционистской интерпретацией арифметических утверждений сводится, следовательно, к способу, которым мы задаем значения логических констант — пропозициональных операторов и кванторов.

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

Иногда утверждают, что, хотя теория истины, которая предполагается в теории значения Дэвидсона, сама по себе не дает значений нелогических исходных выражений языка, она тем не менее дает значения логических констант. Чтобы понять значения исходных нелогических выражений, мы должны обратиться, выйдя за рамки теории истины (по-видимому, потому, что аксиомы, управляющие этими выражениями, имеют тривиальную форму, такую, как «”Лондон” обозначает Лондон»), к данным, взятым из языкового поведения говорящих, на котором основывается теория истины, или же, как я предпочел бы сказать, обратиться к теории смысла, которая объясняет, что значит то, что говорящий знает суждения, выраженные посредством аксиом. Но для того, чтобы понять значения логических констант, нам ничего не нужно рассматривать, кроме аксиом, управляющих логическими константами в рамках теории истины.

По-видимому, это утверждение основано на том представлении, что если, например, пропозициональные операторы языка являются классическими, то теория истины дает объяснение этих операторов с помощью таблиц истинности. Однако такое представление совершенно неверно. Вопрос о том, показывает сама аксиома теории истины то, в чем заключается понимание выражения, которым она управляет, или же мы должны для этого обратиться к теории смысла, — это вопрос о том, тривиальна эта аксиома или нет. Тривиальная аксиома — это такая аксиома, которая, будучи представлена в метаязыке, являющемся расширением объектного языка, даст, в комбинации с подходящими аксиомами для других выражений, тривиальное T-предложение для каждого предложения объектного языка. Общеизвестно, что аксиомы, управляющие классическими логическими константами, тривиальны в этом смысле: они имеют такие формы, как ”Для каждого предложения S и T, [S или T] истинно, если и только если S истинно или T истинно” и ”Для каждой конечной последовательности объектов b→, имеющей ту же длину, что и последовательность у переменных, b→ выполняет [Λ] некоторого x, А (x,y→), если и только если для некоторого объекта а,< а >* b→ выполняет A (x,y→) ”. Несомненно верно то, что использование теории истины в качестве основной теории, т.е теории, которая выражается T-предложениями для предложений объектного языка, не обязывает нас приписывать классические значения логическим константам. Если мы хотим приписать логическим константам объектного языка некоторые неклассические значения и готовы предположить, что логические константы метаязыка интерпретируются подобным же неклассическим образом, то мы можем придать логическим константам объектного языка эти неклассические значения путем принятия тривиальных аксиом точно такого же вида, как и в классическом случае. Это будет иметь место всегда, когда соответствующее понятие истины применяется к логическим константам, как, например, в интуиционистском случае. На первый взгляд истинность не будет распространяться на логические константы в многозначных логиках, например в трехзначной логике. Когда В ложно, но А ни ложно, ни истинно, утверждение ”Если А истинно, то В истинно” будет истинно, хотя утверждение ”Если А, то В” не истинно. Однако это так только потому, что мы предполагаем, и это вряд ли можно оспаривать, что утверждение ”А истинно” ложно, когда А неистинно и неложно: для целей построения теории истины, в которой мы не можем выводить тривиальные T-предложения, мы будем использовать не предикат ”... является истинным”, понимаемый как ”... обладает значением истина”, а иной предикат, скажем, предикат ”...является Истинным”, который удовлетворяет требованию, чтобы для любого атомарного предложения А, ”А является Истинным” имело то же истинностное значение, что и А. Если мы можем сформулировать аксиомы для исходных терминов и предикатов и для удовлетворяющего этому требованию условия, что атомарное предложение является Истинным, то свойство быть Истинным будет распространено на пропозициональные операторы и, следовательно, данное требование будет удовлетворено также и для сложных предложений.

В различных случаях будут возникать трудности: например, в многозначной логике с более чем одним выделенным истинностным значением или когда логическая константа, например модальный оператор, порождает контекст, в котором квантифицированные переменные следует рассматривать как имеющие область значений, отличную от области значений, которую они имеют в других контекстах. Но имеется, конечно, обширная область неклассических логик, для которых можно было бы построить теорию истины, которая давала бы тривиальные T-предложения. Однако в любом случае, когда это можно было бы сделать, положение прямо противоположно тому, что утверждается в теории истины Дэвидсона. Тривиальная аксиома для любого выражения, будь то логическая константа или же выражение любого иного рода, не показывает сама по себе того, в чем состоит понимание выражения, а полностью возлагает задачу объяснения этого на теорию смысла, которая определяет, что должно быть взято в качестве средства конституирования понимания суждения, выраженного этой аксиомой. Аксиома вида ”b→ выполняет "S или T" если и только если b→ выполняет S или b→ выполняет T” не более объясняет значение соответствующей логической константы, чем «”Лондон” обозначает Лондон» объясняет значение слова ”Лондон”; в любом случае, если вообще должно существовать какое-либо объяснение, то оно должно будет обнаружиться в рассмотрении того, в чем заключается знание этой аксиомы.