После «Структуры научных революций». Томас КунЧитать онлайн книгу.
планет, и даже такие, где законы природы отличаются от наших.
Некоторые философы и лингвисты были вдохновлены тем, что понятие возможных миров предлагает новый путь как для логики модальных высказываний, так и для интенсиональной семантики логики и естественных языков. Например, необходимо истинные высказывания истинны во всех возможных мирах; возможно истинные высказывания истинны в некоторых; а истинное контрфактическое высказывание истинно в некоторых мирах, но не в мире произносящего его индивида.
Получив набор возможных миров для квантификации, формальная логика модальных высказываний становится богаче. Благодаря квантификации по возможным мирам можно получить интенсиональную семантику, хотя и более сложным путем. Так как значение или интенсионал высказывания – это то, по чему идет отбор возможных миров, в которых это высказывание истинно, то каждое предложение может быть истолковано как функция от возможных миров по истинностным значениям. Точно так же свойство может быть представлено как функция от возможных миров по множествам, элементы которых обнаруживают это свойство в каждом мире. Другие виды обозначающих терминов могут быть концептуально реконструированы похожими способами.
Даже такой краткий набросок семантики возможных миров говорит о важности спецификации тех возможных миров, по которым происходит квантификация, и здесь мнения расходятся. Дэвид Льюис, к примеру, осуществляет квантификацию по сплошному ряду миров, которые только можно себе представить. Сол Крипке сосредоточивает внимание на возможных мирах, которые могут быть приняты по соглашению. Возможны и средние позиции между этими двумя точками зрения[48].
Сторонники этих позиций обсуждают множество вопросов, большая часть которых не имеет отношения к настоящему предмету Но все участники обсуждений, кажется, принимают, вместе с Куайном, что все может быть сказано на любом языке. Если, согласно моей предпосылке, это допущение неверно, требуется дополнительное обсуждение.
Вопросы, связанные с семантикой модальных высказываний или с интенсионалами слов и строк, из них состоящих, ipso facto являются вопросами о высказываниях и словах в определенном языке. Для их решения важны только те возможные миры, которые постулируются этим языком. Расширение квантификации с целью включения миров, доступных только посредством обращения к другим языкам, кажется в лучшем случае бесполезным, а в некоторых случаях это может послужить источником ошибок и путаницы. Один важный род путаницы уже был упомянут – историк, пытающийся представить старую науку в своем собственном языке.
По крайней мере в применении к историческому развитию сила и эффективность аргументов семантики возможных миров требуют их ограничения мирами, доступными посредством данного словаря, мирами, которые могут быть постулированы участниками данного языкового сообщества или культуры[49].
До настоящего времени я занимался
Парти предоставляет как более полное описание этих различий, так и полезную библиографию. Более аналитическое рассмотрение содержится в работе: R.C. Stalnaker. «Inquiry» (Cambridge, МА: MIT Press, 1984). В центре обсуждения находится онтологический статус возможных миров, то есть их реальность: различия в области квантификации, присущие теориям возможных миров, указаны тут же.
Парти подчеркивает, что возможные миры не являются воображаемыми мирами, указывает, «что мы можем вообразить существование возможностей, которые мы не можем вообразить», и утверждает, что ограничение возможных миров воображаемыми мирами может сделать невозможным рассмотрение таких случаев. Разговор с ней после симпозиума привел меня к мысли о необходимости еще и другого разделения. Не все миры, доступные или предусмотренные данным словарем, мыслимы: мир, содержащий квадратные круги, может быть предусмотрен словарем, но не мыслим; к другим примерам я прибегну ниже. Я считаю нужным исключить при квантификации по возможным мирам только те миры, доступ к которым требует реорганизации словаря. Заметьте также: говорить о различных словарях как о дающих доступ к различным множествам возможных миров не означает просто добавить еще одно к стандартному набору отношений доступа, обсуждаемых в начале статьи Парти. Не существует рода необходимости, соответствующей словарной доступности. Исключая предложения, предусматривающие мир, который нельзя мыслить, никакое предложение, встраиваемое в данный словарь, не является необходимо истинным или ложным просто потому, что оно доступно в данном лексиконе. Вообще вопрос лексической доступности, видимо, должен вставать для всех применений аргументов возможных миров, таким образом охватывая стандартный набор отношений доступа.