12 ведущих философов современности

Не все утверждения тождества, даже в метафизике Крипке, являются необходимыми. Например, фраза «Бенджамин Франклин является изобретателем бифокальных очков» есть истинное, хотя и случайное утверждение. Так происходит потому, что в этой фразе присутствует определяющее описание: «изобретатель бифокальных очков» (к определяющим описаниям того же рода относятся такие выражения, как «первый главный почтмейстер Соединенных Штатов» или «человек, открывший электрическую природу молнии»). Определяющее описание не является подлинным именем. В модальных понятиях выражение «(тот) изобретатель бифокальных очков» обозначает разные сущности в разных возможных мирах. В нашем мире оно обозначает Бенджамина Франклина, тогда как во множестве других миров оно могло бы обозначать другого человека (например, Спинозу, если бы тот был первым, кто сделал бифокальные очки) или не обозначать вообще никого, если бы бифокальные очки не были изобретены или если бы их изобрели одновременно несколько человек. Существование Франклина, однако, возможно в каком-то из других миров. Поэтому мы вправе сказать, что утверждение тождества, содержащее, как в нашем случае, определяющее описание, является случайным, а не необходимым.

Определяющее описание обозначает некоторый объект в силу того, что этот объект уникально соответствует описанию. «F» обозначает «х» только тогда, когда «х» есть «F», причем единственное «F». Как мы уже отмечали, различные объекты могут быть уникальными «F»

в разных мирах. Теперь вернемся к именам. Как имена обозначают то, что обозначают? Именно эта проблема является предметом спора Крипке с его предшественниками. К ответу Крипке мы придем по ходу наших рассуждений. Пока же скажем только, что, согласно его взгляду, каким бы образом имена ни получали свое значение, настоящее имя обозначает один и тот же объект во всех возможных мирах, где существует этот объект. То есть в любом мире, в котором существует человек Бенджамин Франклин, имя «Бенджамин Франклин» точно обозначает именно этого человека. Термины, выполняющие эту функцию, то есть обозначающие одну и ту же сущность во всех возможных мирах (если какая-либо сущность обозначена), называются строгими указателями. Так как «Бенджамин Франклин» является строгим указателем, а «изобретатель бифокальных очков» строгим указателем не является, то мы можем видеть, что в некоторых мирах угверждение «Бенджамин Франклин является изобретателем бифокальных очков» может оказаться ложным. С другой стороны, высказывание «Вечерняя Звезда — это Утренняя Звезда» есть высказывание тождества с двумя именами и, на взгляд Крипке, с двумя строгими указателями. Поскольку «Вечерняя Звезда» и «Утренняя Звезда» суть строгие указатели, если обозначают один и тот же объект в любом мире, постольку они обозначают один и тот же объект во всех мирах (если они вообще что-то обозначают). Отсюда высказывание «Вечерняя Звезда есть Утренняя Звезда» либо необходимо истинное, либо необходимо ложное.

Заметим, что мы нигде не предполагаем, что родители могли назвать Франклина Фредом или что никто другой не может носить имя Бенджамин Франклин. Эти гипотезы касаются того, как определенные слова могут по-разному использоваться в других возможных мирах. В данном случае мы обсуждаем другой вопрос: что наши слова (то есть те же самые слова, продолжающие употребляться тем же образом) обозначают, когда мы (в этом мире) рассматриваем неактуальные состояния, в которых могут находиться вещи?

Существует, однако, также альтернативный взгляд на имена, согласно которому сами имена являются замаскированными определяющими описаниями. Представим себе, что это верно, — тогда ложными окажутся утверждения Крипке. Определяющие описания не являются строгими указателями, поэтому и имена тоже ими не являются. Утверждения тождества, содержащие два имени, будут в обычных случаях выражать случайность, а не необходимость, потому что эти высказывания на самом деле содержат два определяющих описания. Рассел придерживался того мнения, что имена в том виде, в каком мы пользуемся ими в обыденном языке («Бенджамин Франклин», «Марк Твен», «Вечерняя Звезда»), не являются подлинными именами («логическими именами собственными»), но являются эквивалентами определяющих описаний. Сходный взгляд можно приписать и Фреге. Фреге не считал обычные имена логическими эквивалентами определяющих описаний; тем не менее он считал, что каждое имя имеет ассоциированный с ним смысл,

каковой мы можем принимать за нечто похожее на определяющее описание, и этот смысл фиксирует значение имени. Так, Рассел мог полагать, что «Вечерняя Звезда» означает «планету, которая первой становится видимой на вечернем небосклоне», тогда как Фреге сказал бы, что «Вечерняя Звезда» имеет смысл, который можно передать выражением «планета, которая первой становится видимой на вечернем небосклоне». В обоих случаях «Вечерняя Звезда» обозначает какую-то планету, которая первой появляется на небосклоне в вечерних сумерках.