В отличие от многих людей, разделяющих мои по большей части структуралистские симпатии, я не пытаюсь уничтожить или даже уменьшить пропасть, которая, как считается, отделяет буквальное использование языка от фигурального. Напротив, я не могу вообразить теорию фигурального использования – теорию, к примеру, метафор или других тропов, – которой бы не предшествовала теория буквального значения. Точно так же, обращаясь от теории к практике, я не могу представить, как слова могут эффективно использоваться в тропах вроде метафоры, кроме как в сообществе, члены которого предварительно усвоили их буквальное значение [45] . Моя точка зрения состоит лишь в том, что буквальное и фигуральное использование терминов похоже в своей зависимости от предустановленных ассоциаций между словами.
Это замечание приводит нас к теории значения, но лишь два аспекта этой теории имеют непосредственное отношение к аргументам, которые последуют ниже, и здесь я должен ограничиться ими. Прежде всего знать значение слова – это знать, каким образом употреблять его для общения с другими членами языкового сообщества, внутри которого оно существует. Но эта способность предполагает знание чего-то, что присуще слову самому по себе, скажем, его значения или его семантических признаков. Слова, за редкими исключениями, не имеют значения по отдельности, но только через их ассоциативную связь с другими словами внутри семантического поля. Если изменяется использование какого-либо отдельного термина, тогда использование терминов, связанных с ним, как правило, также меняется.
Второй аспект развиваемого мной взгляда на значение не столь обычен и имеет больше следствий. Два человека могут использовать набор взаимосвязанных терминов одинаковым образом, но применять в своей деятельности различные (в принципе совершенно несвязанные) наборы координат поля. Примеры приведены далее, а пока можно подумать над следующей метафорой. США могут быть нанесены на карту с помощью разных систем координат. Индивиды с разными картами будут определять положение, скажем, Чикаго, посредством различных пар координат. Но все они тем не менее будут устанавливать местонахождение одного и того же города, при условии, что карты масштабированы таким образом, что сохраняют относительное расстояние между элементами, нанесенными на карту. Метрика, сопутствующая каждому из различных наборов координат, должна, таким образом, быть выбрана так, чтобы сохранять структурные геометрические отношения внутри нанесенной на карту территории [46] .Обрисованные только что посылки имеют следствия для продолжающихся дебатов по семантике возможных миров. Ее суть я кратко изложу, прежде чем связать ее с тем, что было только что сказано. О возможном мире часто говорится как о том, каким мог бы быть наш мир, и это неформальное описание очень хорошо для наших настоящих целей [47] .
Так, в нашем мире у Земли есть только один естественный спутник (Луна), но существуют другие возможные миры, почти такие же, как наш, отличные лишь тем, что там Земля имеет два или более спутника или не имеет ни одного. («Почти» предусматривает корректировку феноменов, при которой законы природы останутся неизменными, а количество спутников может варьироваться.) Также существуют возможные миры, похожие на наш в меньшей мере: там, скажем, нет Земли или нет планет, и даже такие, где законы природы отличаются от наших.
Некоторые философы и лингвисты были вдохновлены тем, что понятие возможных миров предлагает новый путь как для логики модальных высказываний, так и для интенсиональной семантики логики и естественных языков. Например, необходимо истинные высказывания истинны во всех возможных мирах; возможно истинные высказывания истинны в некоторых; а истинное контрфактическое высказывание истинно в некоторых мирах, но не в мире произносящего его индивида.
Получив набор возможных миров для квантификации, формальная логика модальных высказываний становится богаче. Благодаря квантификации по возможным мирам можно получить интенсиональную семантику, хотя и более сложным путем. Так как значение или интенсионал высказывания – это то, по чему идет отбор возможных миров, в которых это высказывание истинно, то каждое предложение может быть истолковано как функция от возможных миров по истинностным значениям. Точно так же свойство может быть представлено как функция от возможных миров по множествам, элементы которых обнаруживают это свойство в каждом мире. Другие виды обозначающих терминов могут быть концептуально реконструированы похожими способами.