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

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

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

---

V

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

Теория значения, оперирующая понятием верификации, должна дать такое понятие истины, чтобы принцип двузначности не имел места для многих предложений, которые мы склонны без колебаний интерпретировать в реалистическом духе. Это заставит нас допустить некоторые отступления от классической логики ^следовательно, определенную ревизию нашей обычной языковой практики. Очевидно, что теория утратила бы свою правдоподобность, если бы эта ревизия оказалась слишком далеко идущей; хотя, как я уже показал, мы не можем отказаться априори от возможности, что принятие корректной теории значения может привести к некоторой ревизии. Главная цель теории значения заключается скорее в объяснении существующей практики, чем в ее критике. Я не знаю, может ли быть построена правдоподобная теория значения в терминах верификации; существует много проблем, рассмотрение которых выходит за рамки данного общего обсуждения. Однако такая теория значения не является единственной мыслимой альтернативой теории значения, оперирующей понятием условий истинности; я остановлюсь немного на описании совершенно иной возможности.

Что есть содержание утверждения? Согласно теории значения, оперирующей понятием условий истинности, это содержание состоит просто в том, что высказываемое утверждение истинно. Может оказаться так, что мы сможем распознать его в качестве истинного или ложного только в определенных случаях; могут быть такие положения дел, при которых оно истинно, хотя мы никогда не будем знать, что оно истинно, и другие положения дел, при которых оно ложно, хотя мы никогда не будем знать, что оно ложно: но говорящий утверждает, что оно истинно. Мы рассмотрели трудности — непреодолимые трудности, если я не ошибаюсь, — объяснения того, что значит, когда говорящий или слушающий знает, что означает ”предложение истинно” в общем случае; такая же трудность имеет место при объяснении того, что значит для слушающего или говорящего действовать в соответствии с истинностью утверждения. Имеется общая трудность, возникающая при объяснении этого понятия в любой теории значения, состоящая в том, чтобы объяснить, как чьи-то действия, обусловленные утверждением, которое некто принимает, зависят от того, что этот некто хочет. Но в теории значения, оперирующей условиями истинности, существует еще одна трудность: даже при наличии соответствующих желаний у слушающего, что значит утверждение ”Он согласует свои действия с условием, которое он, вообще говоря, распознать не может”? Дополнительная часть теории значения, ее теория действия, должна быть способна, давая описание языковой деятельности, характеризующей утверждения, объяснить, что значит действовать в соответствии с утверждением, причем в качестве части объяснения того, что значит согласиться с этим утверждением. Построить это объяснение в рамках теории значения, оперирующей понятием условий истинности, будет очень трудно.

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