Страница:
Концепт А
Интерпретанта D В Референт
С Имя
Отсюда видно, что языковая конвенция не может служить источником референциальных значений выражений естественного языка. Тем не менее для рассмотрения конвенции в качестве фактора стабильности употребления языкового знака это положение, само по себе тривиальное, нуждается в дальнейшем (или, скорее, предварительном) прояснении. Каким образом могут быть конвенциональны основания употребления? Значения оказываются конвенциональны, по крайней мере, в некоторой своей части; как устанавливается эта часть? Откуда она берется?19 Иными словами,
где пролегают границы языковой конвенции?
Попытаемся проанализировать, как работает понятие конвенции для обоих видов дистинкций: аналитико-синтетической и концептуальной схемы vs. содержания мира.
2.2 АНАЛИТИКО-СИНТЕТИЧЕСКАЯ ДИСТИНКЦИЯ
2.2.1 КОНВЕНЦИОНАЛЬНОСТЬ КАК АНАЛИТИЧЕСКАЯ ИСТИННОСТЬ
Аналитическая истинность представляет такой вид истинности, который устанавливается только на основе анализа логических и дескриптивных терминов предложений без привлечения эмпирических процедур и положений конкретных научных теорий. Очевидно, что невозможно, чтобы эмпирически (синтетически) истинное предложение было аналитически ложным: класс аналитически истинных предложений является собственным подклассом любого класса эмпирически и теоретически истинных предложений.
Хотя различие между аналитическими и синтетическими высказываниями до недавнего времени было принято большинством философов-эмпиристов за эпистемологически основное и считалось аксиомой20, оно было подвергнуто сомнению Куайном как слабо обоснованная "догма эмпиризма".
Несмотря на то, что такие примеры подстановок в логические законы, как "ни один неженатый человек не женат", можно принять, не обращаясь к конкретным фактам, тем не менее то, что содержится в этом высказывании, это, по мнению Куайна, скорее логическая истинность, а не аналитичность21. Среди аналитически истинных предложений выделяется такой класс предложений, истинность которых устанавливается исключительно на основе анализа логических терминов и/или с использованием логических средств. В этом случае процедура проверки истинности предложения еще более упрощается, так как нет необходимости анализировать дескриптивные термины предложения. Такие предложения относятся к классу логически истинных (ложных) предложений. Так, истинностная оценка предложения "идет дождь, или неверно, что идет дождь" основывается на анализе смысла союза "или", который соответствует логической связке строгой дизъюнкции. Для выделения класса логически истинных предложений в семантике используется понятие описания состояния, которое восходит к возможным мирам Лейбница, где под описанием состояния понимается класс предложений, который содержит для любого простого предложения или само это предложение, или его отрицание, но не то и другое вместе, и не содержит никаких других предложений (Р. Карнап). В этом определении содержатся две существенные характеристики классического описания состояния непротиворечивость и полнота. Используя это определение, можно сказать, что предложение является логически истинным, если оно истинно во всех описаниях состояний. В этом смысле логически истинные предложения не несут никакой информации и отличаются от других типов предложений, которые выделяют некоторые подклассы описаний состояний, где они получают семантическую оценку "истинно".
Основную трудность при этом представляют такие считающиеся аналитическими высказывания, которые хотя и не являются логическими истинами, но могут быть превращены в них путем замены одних синонимов другими, например: "Ни один холостяк не женат". Необходимое для подстановки понятие синонимии нуждается в разъяснении не меньше, чем само понятие аналитичности. Для выяснения понятий синонимии и аналитичности бесполезно обращаться к процедуре определения, так как определение само зависит от синонимии. Взаимозаменяемость salva veritate также не дает результатов, так как в высказывании ""Холостяк" содержит меньше десяти букв", конечно, нельзя заменить термин "холостяк" термином "неженатый человек", не изменяя значения истинности. Во всяком случае, в экстенсиональном языке, в котором любые два предиката, истинные для одних и тех же объектов, взаимозаменяемы salva veritate, эта взаимозаменяемость salva veritate не является гарантией синонимии. Нет также никакой гарантии, что экстенсиональное совпадение терминов "холостяк" и "неженатый человек" основано на значении этих выражений, а не на случайном, по мнению Куайна, факте, как это имеет место для экстенсионального совпадения понятий "существо, имеющее сердце" и "существо, имеющее почки"22.
Попытки спасти синонимию и аналитичность с помощью обращения к семантическим правилам искусственных языков рассматривают эти понятия как несводимые в их особых употреблениях и представляют, по Куайну, мало ценности с точки зрения действительного языкового поведения. Попытки же определить аналитическое высказывание в терминах верификационной теории значения как высказывание, которое подтверждается чем угодно, выглядят правдоподобно, поскольку истинность высказываний зависит, по-видимому, от различимых языковых и неязыковых компонентов. Но известно, что полное подтверждение любого индивидуального высказывания невозможно, и с такой точки зрения "бессмысленно - и является корнем многих бессмыслиц - говорить о языковом и фактическом компонентах истинности какого-либо индивидуального высказывания"23.
Фундаментальное исследование конвенции, предпринятое Дэвидом Льюисом24, следует именно в русле проблемы аналитичности в том виде, в каком она была поставлена Куайном. Льюис пытается полностью ответить на вызов Куайна и спасти конвенцию, реабилитировав аналитичность. Для этого он четко соблюдает разграничение внешних и внутренних по отношению к языку факторов. Льюис стремится объяснить, каким образом языковая конвенция может иметь форму неязыковой - описанной, например, Юмом как "взаимное осознание взаимного интереса".
По мнению Льюиса, существует два рода семантических теорий:
1. Один род семантических теорий анализирует истину, аналитичность и т.д. интерпретируемого языка в отвлечении от ситуаций его употребления, характеристик его носителей и т.д. Это - род семантики, представленный Фреге, Тарским и (большей частью) Карнапом. Его недостатками являются хорошо известные затруднения с референциально непрозрачными контекстами: неспособность различать коэкстенсивные выражения с различными значениями и неспособность описывать индексикальные особенности языка. Для разрешения этих проблем Д. Льюис предлагает рассматривать экстенсиональные значения относительно возможного мира, времени произнесения, говорящего, и т.д.
2. Другой род семантических теорий анализирует истинность, аналитичность и т.д. относительно агента (говорящего) или множества агентов (языкового сообщества) - т.е., возможно, как функцию от условий употребления языкового выражения. Это - род семантики, представленный поздним Витгенштейном, П. Грайсом, Б. Скиннером, Куайном, Ч. У. Моррисом и (частично) Карнапом. Его недостатком является, по мнению Льюиса, "нежелание рассматривать больше чем одно языковое выражение одновременно"25.
Это различие, по Льюису, не может быть описано через различение семантики формального vs. естественного языка. Оба рода теорий могут быть применены и к тому, и к другому; оба лучше работают на упрощенных фрагментах естественных языков (используемых в качестве формальных), чем на полных естественных языках.
Описанное различение используется Льюисом для ответа на критику аналитичности, выдвинутую Куайном. Согласно Куайну, аналитичность в смысле Карнапа такова: утверждение является аналитическим в языке L, если и только если оно истинно на основании семантических правил для L (причем исключительно на этом основании); при этом язык L - по крайней мере, если это искусственный язык - соответствует некоторому множеству семантических правил, определяющих условия истины. Куайн замечает:
Но таким же путем мы могли бы более просто рассматривать искусственный язык L как соответствие (ordered pair), вторым компонентом которого является класс аналитических утверждений этого языка; тогда аналитические утверждения L станут уточняемыми просто как утверждения во втором компоненте L. ...
Обращение к гипотетическим языкам искусственно простого вида могло бы очевидно быть полезно в освещении аналитичности, если ментальные, поведенческие или культурные факторы, релевантные для аналитичности - чем бы они ни являлись - могли бы так или иначе быть обрисованы в этой упрощенной модели. Но модель, которая рассматривает аналитичность просто как нередуцируемый признак, вряд ли прольет свет на проблему объяснения аналитичности26.
Согласно Льюису, любой (а не только искусственно упрощенный, как для Карнапа) возможный язык в самом деле может быть представлен как соответствие, вторым компонентом которого является множество семантически правильных истинных предложений; но ментальные, поведенческие или культурные факторы при этом будут должны учитываться в самих правилах истинности. Собственно, это и есть то, что с ними происходит при их использовании для определения значения. Предположим, что мы вступили в общение с человеком, говорящим на непонятном для нас языке, и у нас имеется определение истинности, сформулированное в духе Тарского; можем ли мы в таком случае судить о применимости этого определения к данному языку? Если высказывание "Gwyn yw eira" является истинным на некотором возможном интерпретируемом языке в том и только в том случае, если снег бел, а некто Морган заявляет "Gwyn yw eira", то говорит ли он истину? Тот факт, что возможный рассматриваемый язык назван валлийским потому, что это - язык уэльсцев, не объясняет, чтo мы имеем в виду, когда говорим, что Морган сообщает истину на своем языке, или чтo мы имеем в виду, когда мы просто говорим, что Морган сообщает истину. Для объяснения того, чтo мы имеем в виду в этом случае, мы будем должны ввести некоторые ментальные и/или социально-бихевиоральные факторы.
Льюис формализует ситуацию, учитывающую эти факторы, с помощью семантики возможных миров. Технический аппарат семантики возможных миров привлекается в подобных случаях для обеспечения квантификации референциально непрозрачных контекстов, где понятие "возможный мир" представляет собой способ описания ситуаций или событий в реальности, альтернативных некоторому описанию "действительного мира". Используя фиксированную систему понятий (слов с фиксированным значением), мы описываем альтернативные универсумы. Считая, что некоторые предложения должны быть истинными просто из-за включаемых в них понятий и значений, а другие истинны благодаря тому, что происходит в мире, мы должны будем признать, что при описании возможных миров мы используем только предложения второго типа. Каждый из возможных миров содержит некоторое количество индивидов с определенными свойствами и определенными отношениями между ними; тогда квантификация таких выражений возможна лишь в том случае, если некоторый термин "а" выбирает из области индивидов действительных и возможных миров один и тот же индивид а. Для этой цели должна существовать процедура, которая позволяла бы осуществлять указание или "распознавание" индивида в возможных мирах. Согласно Льюису, носитель языка определяет аналитические предложения своего языка, определяя, который из возможных языков является его языком.
Конвенции здесь не создают и не отменяют фактические утверждения о том, что является возможным (или сами фактические возможности): конвенция членов языкового сообщества может выражаться лишь в выборе одного языкового выражения скорее, чем другого, для высказывания истины на основании фактов относительно возможных миров. Можно сказать, что "женатых холостяков" или "круглых квадратов" не существует в силу конвенции, но это будет означать, что в соответствии с соглашением не может существовать языковое выражение "женатый холостяк" или "круглый квадрат", а не что невозможно быть одновременно женатым и холостым или круглым и квадратным в соответствии c соглашением. Последняя невозможность не может быть конвенциональна.
Таким образом, аналитичность определяется Льюисом (вслед за Карнапом, связывавшим аналитичность, в духе лейбницевской традиции, с методом описания состояния) как истинность во всех возможных мирах. Аналитическая истинность высказывания для агента А зависит как от фактов в возможных мирах, так и от языка L, который А использует. L зависит от конвенции, которую разделяет А. И эта конвенция - не что иное, как регулярность в поведении, поддерживаемая заинтересованностью участников языкового общения во взаимной координации своих действий и их ожиданием, что другие будут выполнять свою часть соглашения, т.е. поступать так же27.
Вместе с тем привлечение технического аппарата возможных миров несколько усиливает модальность ситуации: в каком отношении вообще можно говорить о конвенциональности там, где истинность выражения устанавливается с необходимостью?
Вообще говоря, семантическое понятие аналитичности часто уравнивается (или смешивается) с эпистемологическим понятием априорности и метафизическим понятием необходимости. Понятие априорной истины - в том виде, как оно было введено Kaнтом, - представляет собой такую истину, которая может быть известна независимо от опыта. Необходимая истина, однако, является истиной несколько иного вида, а именно такой, которая не могла бы быть ложью. С определенной точки зрения представляется интуитивно ясным, что многое из того, что случается, могло бы и не случиться; и в этом смысле то, что истинно, не является необходимо истинным, и этот факт, собственно, не имеет отношения к состоянию нашего знания. При этом допущение о том, что все необходимое известно а priori, или что все известное а priori является необходимым, является подлежащим обсуждению тезисом, а не эквивалентностью в определении. Например, Крипке резко разделяет эпистемическую и метафизическую истину: он утверждает, что существуют контингентные априорные истины (истины о состояниях дел, которые не основаны на опыте), равно как и необходимые апостериорные истины (необходимые истины, которые мы обнаруживаем через опыт).
Одна из причин смешения необходимой и априорной истинности состоит в том, что, начиная с Лейбница, необходимое принято объяснять как нечто истинное во всех возможных мирах. С такой точки зрения, умозрительно рассматривая все возможные миры, мы должны быть способны видеть, необходимо ли истинно суждение, и знать это а priori. Однако можно было бы предположить, наоборот, что если нечто известно а priori, это должно быть необходимо истинно, потому что, будучи истинным а priori, это было известно без обращения к фактическому миру. Если бы истина зависела от некоторой контингентной особенности мира, то это не могло бы быть известно без обращения к миру; фактический мир мог бы быть одним из миров, в которых проверяемое суждение было бы ложно. Это, однако, предполагает, что любой способ знания о фактическом мире без обращения к миру является способом знания обо всех возможных мирах. Если мы теперь раскроем термин "аналитически истинный" в его обычном понимании, как "истинный в силу (своего) значения", то с такой точки зрения оказывается, что все аналитические истины необходимо истинны, но не наоборот. В этом отношении модель Льюиса также рассматривает аналитичность как нередуцируемый признак и не выходит из круга критики Куайна.
Если сам способ отсылки к миру не является конвенциональным, то как мы можем уйти от жесткого логического детерминизма в трактовке значений? Но, с другой стороны, как может быть конвенциональна сама референция?
2.2.2 ИДЕНТИФИКАЦИЯ В РЕФЕРЕНЦИАЛЬНО НЕПРОЗРАЧНЫХ КОНТЕКСТАХ
Распространение Т-теорий на модальные и косвенно-речевые контексты, естественный язык в целом обнаружило их ограниченность, состоящую в том, что стандартная теория оказалась не в состоянии обеспечить указание в такого рода контекстах в силу нарушения принципа подставимости тождественного. Контексты с ложной подставимостью тождественного не подлежат квантификации и определяются как референциально непрозрачные: переменные в этих контекстах находятся не в указательных позициях.
Основанные на корреспондентной теории истины условно-истинностные концепции значения могут не оперировать понятием "смысл" или "значение", но, поскольку они стремятся к тому, чтобы их положения давали знакам верные референции - а это намерение равносильно требованию, чтобы они демонстрировали значение выражений, - постольку они содержат явную или неявную отсылку к "способу, которым дается референт" (Фреге), т.е. постольку такие концепции явно или неявно предполагают, что T-теории могут предоставлять больше, чем сами по себе истинностные условия выражений, а именно, что они могут предоставлять истинностные условия в таком аспекте, который "показывает" или "отображает" значения выражений. Для этого может утверждаться, что в то время, как два выражения имеют один и тот же референт, подобно "Цицерон" и "Tуллий", они имеют отличные друг от друга значения, так как выражения имеют различные режимы, или алгоритмы представления, т. е. они представляют референт "Цицерон/Tуллий" различными способами. Поскольку "Цицерон" и "Tуллий" имеют различные значения, то, например, в убеждениях кого-то, кто полагает, что Цицерон был лыс и что Tуллий не был лыс, может не содержаться противоречия.
Традиционно возникающие в этой связи вопросы таковы: могут ли T-теории работать с подобными интенсиональными контекстами, т.е. представляют ли теоремы такой теории только референты выражений, или также и значения? Правая сторона T-предложения отсылает к выражению слева: каков характер этой отсылки? Простое ли это указание или же эта ссылка может до той или иной степени показывать или отображать некоторое значение? Может ли это значение быть конвенционально? Если да, то каким образом?
Предполагается, что способность T-теории отображать значения является наиболее важной при обсуждении вопроса о том, может ли T-теория служить теорией значения. Для построения теории значения на основе теории истины следует определить некоторые условия адекватности, которые теория истины должна рассматривать для того, чтобы функционировать как теория значения, пригодная для интерпретации выражений языка L28. В таком случае, если T-теория предназначена служить теорией значения, то она должна быть T-теорией такого вида, которая может отображать значения (смыслы). В противном случае следует отклонить условия адекватности.
Адекватная T-теория для агента A будет содержать теоремы (1) - (2), но не теоремы (3) - (4).
(1) "Цицерон лыс" - истинно ТТТ Цицерон лыс
(2) "Tуллий лыс" - истинно ТТТ Tуллий лыс
(3) "Цицерон лыс" - истинно ТТТ Tуллий лыс
(4) "Tуллий лыс" - истинно ТТТ Цицерон лыс
Если агент A полагает, что Цицерон лыс, но не что Tуллий лыс, то T-теория, порождающая теорему (3), будет неправильно характеризовать семантическую компетенцию А. Опасность введения (3) в семантическую теорию для А состоит в том, что это ведет к неправильной атрибуции суждения в следующем виде:
(a) А полагает: "Цицерон лыс";
(b) А полагает, что "Цицерон лыс" - истинно (из (a) и допущения о рациональности А);
(с) А полагает, что "Цицерон лыс" истинно ТТТ, когда Tуллий лыс (посредством гипотезы);
(d) А полагает: "Tуллий лыс" (из (b), (с), и предположения о замкнутости выражения)29.
Шаг (с) основан на предположении о том, что А фактически принимает за истину теоремы T-теории. Это предположение исходит из того, что А, не обладая специальными семантическими познаниями, имеет тем не менее некоторые убеждения (по крайней мере, делает заключения) относительно теорем T-теории определенного вида. Поскольку нельзя сказать, что А (не семантик) обладает отчетливым (осознающим себя) знанием относительно таких вопросов, то отсюда следует, что А должен обладать некоторым неявным знанием о (3).
Допущение о том, что введение (3) будет позволять нам выводить (d), требует обоснования важного предположения, задействованного в приведенном выше рассуждении. А именно, приписывает ли теорема (3) агенту больше семантических знаний, чем (1)? Ведь утвердительный ответ на этот вопрос в категориях корреспондентной теории истины означал бы, по сути, отказ от представления об аксиомах и теоремах T-теории как о предложениях, изоморфных аксиомам и теоремам любой другой науки.
В самом деле, при рассмотрении предложений других наук (научных языков) способ представления классификаций (законов) не имеет для нас важности в том смысле, что мы не выводим, например, свойства атомов из названий элементов. Убеждение в том, что свойства атомов элемента не изменятся при переименовании элемента, как не меняются они при склонении и других изменениях названия элемента в процессе речи, характеризует позитивное научное знание в его наиболее существенных основаниях. И если мы пытаемся строить семантическую теорию на таких основаниях, то она не должна быть чувствительна к имени, которое мы даем семантическому значению, подобно тому, как экономические законы не чувствительны к разновидностям валют, а геологические - к названиям минералов и именам горных хребтов. Поскольку, далее, теория представляет собой разработанную структуру с большим числом следствий, постольку эти следствия должны включать как можно больше явлений. В традиционной теории истины к явлениям относится событие, фиксируемое Т-предложением; тогда, если теория истины строится по подобию научной теории, Т-предложения должны быть доказуемы.
В рамках условно-истинностной концепции значения может предполагаться, что T-теории трактуются "дефляционным" способом - так, чтобы они не отсылали к объекту (предмету) или состоянию дел30. Теория истины, которая приписывает возможные состояния дел или факты указательным предложениям, назначает одни и те же истинностные условия предложениям "Цицерон лыс" и "Tуллий лыс". Тем не менее условно-истинностные теории значения вовсе не обязательно должны иметь такую форму: стандартная теория Дэвидсона отклоняет реификацию истинностных условий31. Отсутствие отсылки к вещам не мешает таким условиям выполнять свою функцию - сертифицировать истинность предложений.
Но и так называемые дефляционные теории не преодолевают основной трудности на пути отображения значения. Фундаментальная проблема здесь состоит в следующем: при использовании языкового выражения (например, русского языка) с правой стороны T-предложения то, что утверждается с правой стороны, не может быть ни больше ни меньше, чем то, что утверждается этим языковым выражением. Вопрос тогда может быть поставлен так: о разных ли вещах идет речь в предложениях "Цицерон лыс" и "Tуллий лыс"? Поэтому эта проблема свойственна не исключительно определенным видам T-теорий, в которых полагается, что правая сторона T-предложений отсылает к определенному состоянию дел; скорее она вытекает из того факта, что для установления истинностных условий используется некоторый язык, и, поэтому T-теория может отображать не более, чем то, что сообщается выражением этого языка, используемым для установления истинностных условий.
Но в том случае, если теоремы T-теории являются частью языковых знаний говорящего, то способ, в котором это знание выражается, становится релевантным. В самом деле, если теоремы входят в языковую компетенцию агента, то они могут быть помыслены как встроенные в традиционный для рассмотрения в аналитической философии контекст вида "агент знает, что..." При том, что эти контекстные среды непрозрачны, использование теоремы (1) для характеристики семантических знаний агента может быть адекватным, но использование теоремы (3) - нет.
Поскольку эта среда непрозрачна, то теоремы (1) и (3) (и их непосредственно составляющие) не будут просто указывать на референты, но скорее будут содержать отсылку к интенсионалам. Так как интенсиональные значения (1) и (3) различны, то теоремы (1) и (3) будут в таком контексте выражать различные вещи.
Трудность здесь состоит в том, что поскольку среды, вызываемые обычным использованием контекстов вида "знает, что", непрозрачны - и, следовательно, случаи (1) и (3) могут различаться, - то отношение "А знает, что b", используемое в семантической теории, не является отношением, обозначаемым этим выражением повседневного языка, но скорее техническим отношением в абстрактной логико-ориентированной теории значения. Оно отличается от обычного отношения "А знает, что b" прежде всего тем, что учитывает "неявное знание" - знание, которое агент может не сознавать или не признавать. Не будучи семантиком, агент без сомнения не будет эксплицитно признавать (осознавать) большинство аксиом и теорем семантической теории, однако, согласно такой теории, агент все же будет соблюдать - и, таким образом, "знать" эти аксиомы и теоремы. Интенсиональные обороты, выражающие такое отношение, были подвергнуты Дэвидсоном запрету для языка теории значения (например, следующего вида: "Интерпретатор языка L знает, что в данной теории утверждается, что...")32. Тем не менее нельзя отрицать, что при наличии таких радикально различающихся типов отношений, имеющих одинаковую форму "А знает, что b", интуиции относительно того, что выражается в обычной среде, неприменимы к теории значения. Невозможно представить, что в среде, вызываемой техническим отношением, теорема (3) выражает что-либо отличное от (1). В частности, можно сказать, что агент, неявно знающий (1), должен таким образом неявно знать (3). Знания (1) и (3) выступают для агента способами знания друг о друге.
Интерпретанта D В Референт
С Имя
Отсюда видно, что языковая конвенция не может служить источником референциальных значений выражений естественного языка. Тем не менее для рассмотрения конвенции в качестве фактора стабильности употребления языкового знака это положение, само по себе тривиальное, нуждается в дальнейшем (или, скорее, предварительном) прояснении. Каким образом могут быть конвенциональны основания употребления? Значения оказываются конвенциональны, по крайней мере, в некоторой своей части; как устанавливается эта часть? Откуда она берется?19 Иными словами,
где пролегают границы языковой конвенции?
Попытаемся проанализировать, как работает понятие конвенции для обоих видов дистинкций: аналитико-синтетической и концептуальной схемы vs. содержания мира.
2.2 АНАЛИТИКО-СИНТЕТИЧЕСКАЯ ДИСТИНКЦИЯ
2.2.1 КОНВЕНЦИОНАЛЬНОСТЬ КАК АНАЛИТИЧЕСКАЯ ИСТИННОСТЬ
Аналитическая истинность представляет такой вид истинности, который устанавливается только на основе анализа логических и дескриптивных терминов предложений без привлечения эмпирических процедур и положений конкретных научных теорий. Очевидно, что невозможно, чтобы эмпирически (синтетически) истинное предложение было аналитически ложным: класс аналитически истинных предложений является собственным подклассом любого класса эмпирически и теоретически истинных предложений.
Хотя различие между аналитическими и синтетическими высказываниями до недавнего времени было принято большинством философов-эмпиристов за эпистемологически основное и считалось аксиомой20, оно было подвергнуто сомнению Куайном как слабо обоснованная "догма эмпиризма".
Несмотря на то, что такие примеры подстановок в логические законы, как "ни один неженатый человек не женат", можно принять, не обращаясь к конкретным фактам, тем не менее то, что содержится в этом высказывании, это, по мнению Куайна, скорее логическая истинность, а не аналитичность21. Среди аналитически истинных предложений выделяется такой класс предложений, истинность которых устанавливается исключительно на основе анализа логических терминов и/или с использованием логических средств. В этом случае процедура проверки истинности предложения еще более упрощается, так как нет необходимости анализировать дескриптивные термины предложения. Такие предложения относятся к классу логически истинных (ложных) предложений. Так, истинностная оценка предложения "идет дождь, или неверно, что идет дождь" основывается на анализе смысла союза "или", который соответствует логической связке строгой дизъюнкции. Для выделения класса логически истинных предложений в семантике используется понятие описания состояния, которое восходит к возможным мирам Лейбница, где под описанием состояния понимается класс предложений, который содержит для любого простого предложения или само это предложение, или его отрицание, но не то и другое вместе, и не содержит никаких других предложений (Р. Карнап). В этом определении содержатся две существенные характеристики классического описания состояния непротиворечивость и полнота. Используя это определение, можно сказать, что предложение является логически истинным, если оно истинно во всех описаниях состояний. В этом смысле логически истинные предложения не несут никакой информации и отличаются от других типов предложений, которые выделяют некоторые подклассы описаний состояний, где они получают семантическую оценку "истинно".
Основную трудность при этом представляют такие считающиеся аналитическими высказывания, которые хотя и не являются логическими истинами, но могут быть превращены в них путем замены одних синонимов другими, например: "Ни один холостяк не женат". Необходимое для подстановки понятие синонимии нуждается в разъяснении не меньше, чем само понятие аналитичности. Для выяснения понятий синонимии и аналитичности бесполезно обращаться к процедуре определения, так как определение само зависит от синонимии. Взаимозаменяемость salva veritate также не дает результатов, так как в высказывании ""Холостяк" содержит меньше десяти букв", конечно, нельзя заменить термин "холостяк" термином "неженатый человек", не изменяя значения истинности. Во всяком случае, в экстенсиональном языке, в котором любые два предиката, истинные для одних и тех же объектов, взаимозаменяемы salva veritate, эта взаимозаменяемость salva veritate не является гарантией синонимии. Нет также никакой гарантии, что экстенсиональное совпадение терминов "холостяк" и "неженатый человек" основано на значении этих выражений, а не на случайном, по мнению Куайна, факте, как это имеет место для экстенсионального совпадения понятий "существо, имеющее сердце" и "существо, имеющее почки"22.
Попытки спасти синонимию и аналитичность с помощью обращения к семантическим правилам искусственных языков рассматривают эти понятия как несводимые в их особых употреблениях и представляют, по Куайну, мало ценности с точки зрения действительного языкового поведения. Попытки же определить аналитическое высказывание в терминах верификационной теории значения как высказывание, которое подтверждается чем угодно, выглядят правдоподобно, поскольку истинность высказываний зависит, по-видимому, от различимых языковых и неязыковых компонентов. Но известно, что полное подтверждение любого индивидуального высказывания невозможно, и с такой точки зрения "бессмысленно - и является корнем многих бессмыслиц - говорить о языковом и фактическом компонентах истинности какого-либо индивидуального высказывания"23.
Фундаментальное исследование конвенции, предпринятое Дэвидом Льюисом24, следует именно в русле проблемы аналитичности в том виде, в каком она была поставлена Куайном. Льюис пытается полностью ответить на вызов Куайна и спасти конвенцию, реабилитировав аналитичность. Для этого он четко соблюдает разграничение внешних и внутренних по отношению к языку факторов. Льюис стремится объяснить, каким образом языковая конвенция может иметь форму неязыковой - описанной, например, Юмом как "взаимное осознание взаимного интереса".
По мнению Льюиса, существует два рода семантических теорий:
1. Один род семантических теорий анализирует истину, аналитичность и т.д. интерпретируемого языка в отвлечении от ситуаций его употребления, характеристик его носителей и т.д. Это - род семантики, представленный Фреге, Тарским и (большей частью) Карнапом. Его недостатками являются хорошо известные затруднения с референциально непрозрачными контекстами: неспособность различать коэкстенсивные выражения с различными значениями и неспособность описывать индексикальные особенности языка. Для разрешения этих проблем Д. Льюис предлагает рассматривать экстенсиональные значения относительно возможного мира, времени произнесения, говорящего, и т.д.
2. Другой род семантических теорий анализирует истинность, аналитичность и т.д. относительно агента (говорящего) или множества агентов (языкового сообщества) - т.е., возможно, как функцию от условий употребления языкового выражения. Это - род семантики, представленный поздним Витгенштейном, П. Грайсом, Б. Скиннером, Куайном, Ч. У. Моррисом и (частично) Карнапом. Его недостатком является, по мнению Льюиса, "нежелание рассматривать больше чем одно языковое выражение одновременно"25.
Это различие, по Льюису, не может быть описано через различение семантики формального vs. естественного языка. Оба рода теорий могут быть применены и к тому, и к другому; оба лучше работают на упрощенных фрагментах естественных языков (используемых в качестве формальных), чем на полных естественных языках.
Описанное различение используется Льюисом для ответа на критику аналитичности, выдвинутую Куайном. Согласно Куайну, аналитичность в смысле Карнапа такова: утверждение является аналитическим в языке L, если и только если оно истинно на основании семантических правил для L (причем исключительно на этом основании); при этом язык L - по крайней мере, если это искусственный язык - соответствует некоторому множеству семантических правил, определяющих условия истины. Куайн замечает:
Но таким же путем мы могли бы более просто рассматривать искусственный язык L как соответствие (ordered pair), вторым компонентом которого является класс аналитических утверждений этого языка; тогда аналитические утверждения L станут уточняемыми просто как утверждения во втором компоненте L. ...
Обращение к гипотетическим языкам искусственно простого вида могло бы очевидно быть полезно в освещении аналитичности, если ментальные, поведенческие или культурные факторы, релевантные для аналитичности - чем бы они ни являлись - могли бы так или иначе быть обрисованы в этой упрощенной модели. Но модель, которая рассматривает аналитичность просто как нередуцируемый признак, вряд ли прольет свет на проблему объяснения аналитичности26.
Согласно Льюису, любой (а не только искусственно упрощенный, как для Карнапа) возможный язык в самом деле может быть представлен как соответствие, вторым компонентом которого является множество семантически правильных истинных предложений; но ментальные, поведенческие или культурные факторы при этом будут должны учитываться в самих правилах истинности. Собственно, это и есть то, что с ними происходит при их использовании для определения значения. Предположим, что мы вступили в общение с человеком, говорящим на непонятном для нас языке, и у нас имеется определение истинности, сформулированное в духе Тарского; можем ли мы в таком случае судить о применимости этого определения к данному языку? Если высказывание "Gwyn yw eira" является истинным на некотором возможном интерпретируемом языке в том и только в том случае, если снег бел, а некто Морган заявляет "Gwyn yw eira", то говорит ли он истину? Тот факт, что возможный рассматриваемый язык назван валлийским потому, что это - язык уэльсцев, не объясняет, чтo мы имеем в виду, когда говорим, что Морган сообщает истину на своем языке, или чтo мы имеем в виду, когда мы просто говорим, что Морган сообщает истину. Для объяснения того, чтo мы имеем в виду в этом случае, мы будем должны ввести некоторые ментальные и/или социально-бихевиоральные факторы.
Льюис формализует ситуацию, учитывающую эти факторы, с помощью семантики возможных миров. Технический аппарат семантики возможных миров привлекается в подобных случаях для обеспечения квантификации референциально непрозрачных контекстов, где понятие "возможный мир" представляет собой способ описания ситуаций или событий в реальности, альтернативных некоторому описанию "действительного мира". Используя фиксированную систему понятий (слов с фиксированным значением), мы описываем альтернативные универсумы. Считая, что некоторые предложения должны быть истинными просто из-за включаемых в них понятий и значений, а другие истинны благодаря тому, что происходит в мире, мы должны будем признать, что при описании возможных миров мы используем только предложения второго типа. Каждый из возможных миров содержит некоторое количество индивидов с определенными свойствами и определенными отношениями между ними; тогда квантификация таких выражений возможна лишь в том случае, если некоторый термин "а" выбирает из области индивидов действительных и возможных миров один и тот же индивид а. Для этой цели должна существовать процедура, которая позволяла бы осуществлять указание или "распознавание" индивида в возможных мирах. Согласно Льюису, носитель языка определяет аналитические предложения своего языка, определяя, который из возможных языков является его языком.
Конвенции здесь не создают и не отменяют фактические утверждения о том, что является возможным (или сами фактические возможности): конвенция членов языкового сообщества может выражаться лишь в выборе одного языкового выражения скорее, чем другого, для высказывания истины на основании фактов относительно возможных миров. Можно сказать, что "женатых холостяков" или "круглых квадратов" не существует в силу конвенции, но это будет означать, что в соответствии с соглашением не может существовать языковое выражение "женатый холостяк" или "круглый квадрат", а не что невозможно быть одновременно женатым и холостым или круглым и квадратным в соответствии c соглашением. Последняя невозможность не может быть конвенциональна.
Таким образом, аналитичность определяется Льюисом (вслед за Карнапом, связывавшим аналитичность, в духе лейбницевской традиции, с методом описания состояния) как истинность во всех возможных мирах. Аналитическая истинность высказывания для агента А зависит как от фактов в возможных мирах, так и от языка L, который А использует. L зависит от конвенции, которую разделяет А. И эта конвенция - не что иное, как регулярность в поведении, поддерживаемая заинтересованностью участников языкового общения во взаимной координации своих действий и их ожиданием, что другие будут выполнять свою часть соглашения, т.е. поступать так же27.
Вместе с тем привлечение технического аппарата возможных миров несколько усиливает модальность ситуации: в каком отношении вообще можно говорить о конвенциональности там, где истинность выражения устанавливается с необходимостью?
Вообще говоря, семантическое понятие аналитичности часто уравнивается (или смешивается) с эпистемологическим понятием априорности и метафизическим понятием необходимости. Понятие априорной истины - в том виде, как оно было введено Kaнтом, - представляет собой такую истину, которая может быть известна независимо от опыта. Необходимая истина, однако, является истиной несколько иного вида, а именно такой, которая не могла бы быть ложью. С определенной точки зрения представляется интуитивно ясным, что многое из того, что случается, могло бы и не случиться; и в этом смысле то, что истинно, не является необходимо истинным, и этот факт, собственно, не имеет отношения к состоянию нашего знания. При этом допущение о том, что все необходимое известно а priori, или что все известное а priori является необходимым, является подлежащим обсуждению тезисом, а не эквивалентностью в определении. Например, Крипке резко разделяет эпистемическую и метафизическую истину: он утверждает, что существуют контингентные априорные истины (истины о состояниях дел, которые не основаны на опыте), равно как и необходимые апостериорные истины (необходимые истины, которые мы обнаруживаем через опыт).
Одна из причин смешения необходимой и априорной истинности состоит в том, что, начиная с Лейбница, необходимое принято объяснять как нечто истинное во всех возможных мирах. С такой точки зрения, умозрительно рассматривая все возможные миры, мы должны быть способны видеть, необходимо ли истинно суждение, и знать это а priori. Однако можно было бы предположить, наоборот, что если нечто известно а priori, это должно быть необходимо истинно, потому что, будучи истинным а priori, это было известно без обращения к фактическому миру. Если бы истина зависела от некоторой контингентной особенности мира, то это не могло бы быть известно без обращения к миру; фактический мир мог бы быть одним из миров, в которых проверяемое суждение было бы ложно. Это, однако, предполагает, что любой способ знания о фактическом мире без обращения к миру является способом знания обо всех возможных мирах. Если мы теперь раскроем термин "аналитически истинный" в его обычном понимании, как "истинный в силу (своего) значения", то с такой точки зрения оказывается, что все аналитические истины необходимо истинны, но не наоборот. В этом отношении модель Льюиса также рассматривает аналитичность как нередуцируемый признак и не выходит из круга критики Куайна.
Если сам способ отсылки к миру не является конвенциональным, то как мы можем уйти от жесткого логического детерминизма в трактовке значений? Но, с другой стороны, как может быть конвенциональна сама референция?
2.2.2 ИДЕНТИФИКАЦИЯ В РЕФЕРЕНЦИАЛЬНО НЕПРОЗРАЧНЫХ КОНТЕКСТАХ
Распространение Т-теорий на модальные и косвенно-речевые контексты, естественный язык в целом обнаружило их ограниченность, состоящую в том, что стандартная теория оказалась не в состоянии обеспечить указание в такого рода контекстах в силу нарушения принципа подставимости тождественного. Контексты с ложной подставимостью тождественного не подлежат квантификации и определяются как референциально непрозрачные: переменные в этих контекстах находятся не в указательных позициях.
Основанные на корреспондентной теории истины условно-истинностные концепции значения могут не оперировать понятием "смысл" или "значение", но, поскольку они стремятся к тому, чтобы их положения давали знакам верные референции - а это намерение равносильно требованию, чтобы они демонстрировали значение выражений, - постольку они содержат явную или неявную отсылку к "способу, которым дается референт" (Фреге), т.е. постольку такие концепции явно или неявно предполагают, что T-теории могут предоставлять больше, чем сами по себе истинностные условия выражений, а именно, что они могут предоставлять истинностные условия в таком аспекте, который "показывает" или "отображает" значения выражений. Для этого может утверждаться, что в то время, как два выражения имеют один и тот же референт, подобно "Цицерон" и "Tуллий", они имеют отличные друг от друга значения, так как выражения имеют различные режимы, или алгоритмы представления, т. е. они представляют референт "Цицерон/Tуллий" различными способами. Поскольку "Цицерон" и "Tуллий" имеют различные значения, то, например, в убеждениях кого-то, кто полагает, что Цицерон был лыс и что Tуллий не был лыс, может не содержаться противоречия.
Традиционно возникающие в этой связи вопросы таковы: могут ли T-теории работать с подобными интенсиональными контекстами, т.е. представляют ли теоремы такой теории только референты выражений, или также и значения? Правая сторона T-предложения отсылает к выражению слева: каков характер этой отсылки? Простое ли это указание или же эта ссылка может до той или иной степени показывать или отображать некоторое значение? Может ли это значение быть конвенционально? Если да, то каким образом?
Предполагается, что способность T-теории отображать значения является наиболее важной при обсуждении вопроса о том, может ли T-теория служить теорией значения. Для построения теории значения на основе теории истины следует определить некоторые условия адекватности, которые теория истины должна рассматривать для того, чтобы функционировать как теория значения, пригодная для интерпретации выражений языка L28. В таком случае, если T-теория предназначена служить теорией значения, то она должна быть T-теорией такого вида, которая может отображать значения (смыслы). В противном случае следует отклонить условия адекватности.
Адекватная T-теория для агента A будет содержать теоремы (1) - (2), но не теоремы (3) - (4).
(1) "Цицерон лыс" - истинно ТТТ Цицерон лыс
(2) "Tуллий лыс" - истинно ТТТ Tуллий лыс
(3) "Цицерон лыс" - истинно ТТТ Tуллий лыс
(4) "Tуллий лыс" - истинно ТТТ Цицерон лыс
Если агент A полагает, что Цицерон лыс, но не что Tуллий лыс, то T-теория, порождающая теорему (3), будет неправильно характеризовать семантическую компетенцию А. Опасность введения (3) в семантическую теорию для А состоит в том, что это ведет к неправильной атрибуции суждения в следующем виде:
(a) А полагает: "Цицерон лыс";
(b) А полагает, что "Цицерон лыс" - истинно (из (a) и допущения о рациональности А);
(с) А полагает, что "Цицерон лыс" истинно ТТТ, когда Tуллий лыс (посредством гипотезы);
(d) А полагает: "Tуллий лыс" (из (b), (с), и предположения о замкнутости выражения)29.
Шаг (с) основан на предположении о том, что А фактически принимает за истину теоремы T-теории. Это предположение исходит из того, что А, не обладая специальными семантическими познаниями, имеет тем не менее некоторые убеждения (по крайней мере, делает заключения) относительно теорем T-теории определенного вида. Поскольку нельзя сказать, что А (не семантик) обладает отчетливым (осознающим себя) знанием относительно таких вопросов, то отсюда следует, что А должен обладать некоторым неявным знанием о (3).
Допущение о том, что введение (3) будет позволять нам выводить (d), требует обоснования важного предположения, задействованного в приведенном выше рассуждении. А именно, приписывает ли теорема (3) агенту больше семантических знаний, чем (1)? Ведь утвердительный ответ на этот вопрос в категориях корреспондентной теории истины означал бы, по сути, отказ от представления об аксиомах и теоремах T-теории как о предложениях, изоморфных аксиомам и теоремам любой другой науки.
В самом деле, при рассмотрении предложений других наук (научных языков) способ представления классификаций (законов) не имеет для нас важности в том смысле, что мы не выводим, например, свойства атомов из названий элементов. Убеждение в том, что свойства атомов элемента не изменятся при переименовании элемента, как не меняются они при склонении и других изменениях названия элемента в процессе речи, характеризует позитивное научное знание в его наиболее существенных основаниях. И если мы пытаемся строить семантическую теорию на таких основаниях, то она не должна быть чувствительна к имени, которое мы даем семантическому значению, подобно тому, как экономические законы не чувствительны к разновидностям валют, а геологические - к названиям минералов и именам горных хребтов. Поскольку, далее, теория представляет собой разработанную структуру с большим числом следствий, постольку эти следствия должны включать как можно больше явлений. В традиционной теории истины к явлениям относится событие, фиксируемое Т-предложением; тогда, если теория истины строится по подобию научной теории, Т-предложения должны быть доказуемы.
В рамках условно-истинностной концепции значения может предполагаться, что T-теории трактуются "дефляционным" способом - так, чтобы они не отсылали к объекту (предмету) или состоянию дел30. Теория истины, которая приписывает возможные состояния дел или факты указательным предложениям, назначает одни и те же истинностные условия предложениям "Цицерон лыс" и "Tуллий лыс". Тем не менее условно-истинностные теории значения вовсе не обязательно должны иметь такую форму: стандартная теория Дэвидсона отклоняет реификацию истинностных условий31. Отсутствие отсылки к вещам не мешает таким условиям выполнять свою функцию - сертифицировать истинность предложений.
Но и так называемые дефляционные теории не преодолевают основной трудности на пути отображения значения. Фундаментальная проблема здесь состоит в следующем: при использовании языкового выражения (например, русского языка) с правой стороны T-предложения то, что утверждается с правой стороны, не может быть ни больше ни меньше, чем то, что утверждается этим языковым выражением. Вопрос тогда может быть поставлен так: о разных ли вещах идет речь в предложениях "Цицерон лыс" и "Tуллий лыс"? Поэтому эта проблема свойственна не исключительно определенным видам T-теорий, в которых полагается, что правая сторона T-предложений отсылает к определенному состоянию дел; скорее она вытекает из того факта, что для установления истинностных условий используется некоторый язык, и, поэтому T-теория может отображать не более, чем то, что сообщается выражением этого языка, используемым для установления истинностных условий.
Но в том случае, если теоремы T-теории являются частью языковых знаний говорящего, то способ, в котором это знание выражается, становится релевантным. В самом деле, если теоремы входят в языковую компетенцию агента, то они могут быть помыслены как встроенные в традиционный для рассмотрения в аналитической философии контекст вида "агент знает, что..." При том, что эти контекстные среды непрозрачны, использование теоремы (1) для характеристики семантических знаний агента может быть адекватным, но использование теоремы (3) - нет.
Поскольку эта среда непрозрачна, то теоремы (1) и (3) (и их непосредственно составляющие) не будут просто указывать на референты, но скорее будут содержать отсылку к интенсионалам. Так как интенсиональные значения (1) и (3) различны, то теоремы (1) и (3) будут в таком контексте выражать различные вещи.
Трудность здесь состоит в том, что поскольку среды, вызываемые обычным использованием контекстов вида "знает, что", непрозрачны - и, следовательно, случаи (1) и (3) могут различаться, - то отношение "А знает, что b", используемое в семантической теории, не является отношением, обозначаемым этим выражением повседневного языка, но скорее техническим отношением в абстрактной логико-ориентированной теории значения. Оно отличается от обычного отношения "А знает, что b" прежде всего тем, что учитывает "неявное знание" - знание, которое агент может не сознавать или не признавать. Не будучи семантиком, агент без сомнения не будет эксплицитно признавать (осознавать) большинство аксиом и теорем семантической теории, однако, согласно такой теории, агент все же будет соблюдать - и, таким образом, "знать" эти аксиомы и теоремы. Интенсиональные обороты, выражающие такое отношение, были подвергнуты Дэвидсоном запрету для языка теории значения (например, следующего вида: "Интерпретатор языка L знает, что в данной теории утверждается, что...")32. Тем не менее нельзя отрицать, что при наличии таких радикально различающихся типов отношений, имеющих одинаковую форму "А знает, что b", интуиции относительно того, что выражается в обычной среде, неприменимы к теории значения. Невозможно представить, что в среде, вызываемой техническим отношением, теорема (3) выражает что-либо отличное от (1). В частности, можно сказать, что агент, неявно знающий (1), должен таким образом неявно знать (3). Знания (1) и (3) выступают для агента способами знания друг о друге.