Теория дескрипций Рассела: имена и значение

Бертран Рассел в 1905 году опубликовал статью «On Denoting» и поставил вопрос, который перевернул философию языка: что именно мы говорим, произнося фразу «нынешний король Франции лыс»? У Франции нет короля - значит, предложение говорит о несуществующем? Но тогда оно ни истинно, ни ложно - а это нарушает закон исключённого третьего. Рассел предложил изящный выход: определённые дескрипции - фразы вроде «единственный X, который...» - это не имена, а скрытые кванторные выражения, и когда мы их логически разворачиваем, загадка исчезает. Разберём теорию шаг за шагом, чтобы понять, почему она стала основой аналитической философии языка.

Что такое дескрипция и почему она не имя

Рассел разграничил два вида выражений, кажущихся похожими: собственные имена и определённые дескрипции. Собственное имя («Аристотель», «Лондон») прямо указывает на объект - оно работает как этикетка, приклеенная к вещи. Определённая дескрипция устроена иначе: «нынешний президент», «автор «Войны и мира»», «наименьшее простое число» - это не этикетки, а описания, которые указывают объект через его свойства.

Рассчитать для своей задачи

Ключевое наблюдение Рассела: определённая дескрипция неявно утверждает три вещи сразу. Фраза «автор «Гамлета»» не просто отсылает к Шекспиру - она утверждает, что существует некто, написавший «Гамлет», что таких людей ровно один, и что именно о нём мы и говорим. Это скрытое содержание становится видным только при логическом разворачивании.

Логическая форма определённой дескрипции

Рассел показал, что предложение «Нынешний король Франции лыс» имеет не ту логическую форму, которая кажется на поверхности. Видимо, оно выглядит как «$a$ есть $P$», где $a$ - имя персоны. Но скрытая логическая форма - это сложное кванторное утверждение:

$\exists x \bigl(Kx \;\wedge\; \forall y\,(Ky \to y = x) \;\wedge\; Lx\bigr)$

Здесь $K$ - «быть нынешним королём Франции», $L$ - «быть лысым». Формула разворачивается в три части:

• существует некий $x$, который является королём Франции,
• единственность: любой другой $y$, который тоже является королём, совпадает с $x$,
• этот $x$ лыс.

Поскольку Франция не монархия, первый конъюнкт ложен, а значит всё высказывание ложно. Закон исключённого третьего восстановлен: предложение о несуществующем короле не повисает в воздухе, оно просто ложно.

Проблема несуществующих объектов

До Рассела философы сталкивались с неловким вопросом: как можно осмысленно говорить о Пегасе, золотой горе или нынешнем короле Франции, если их нет? Алексиус Мейнонг предложил: у таких объектов есть «существование в мысли» - они «subsist» (подсуществуют), не занимая места в физическом мире. Это позволяло сохранить смысл предложений, но плодило пышные джунгли сущностей.

Рассел назвал это «джунглями Мейнонга» и предложил бритву: определённые дескрипции - не имена несуществующих предметов. «Золотая гора не существует» разворачивается не как «объект «золотая гора» лишён бытия», а как «неверно, что существует единственный $x$, который является одновременно золотым и горой». Предложение об отсутствии переформулируется в истинное утверждение о свойствах мира, без введения призрачных объектов.

Различие между первичным и вторичным вхождением

Теория обнаруживает тонкость: одна и та же дескрипция в двух разных предложениях может вести себя по-разному. Рассел говорит о первичном (primary) и вторичном (secondary) вхождении.

«Нынешний король Франции не существует» при первичном вхождении отрицает само существование - вся дескрипция лежит в поле отрицания. При вторичном вхождении дескрипция могла бы сначала зацепить объект, а потом отрицалось бы его свойство. Это различие объясняет, почему предложения с отрицанием иногда двусмысленны: «Рассел не считает, что нынешний король Франции мудр» - здесь неясно, работает ли дескрипция внутри или снаружи пространства убеждений Рассела. Такие случаи подробнее изучает прагматика, в частности теория пресуппозиций в лингвистике.

Критика Стросона: референция как прагматический акт

В 1950 году Питер Стросон опубликовал ответ Расселу - «On Referring». Стросон возражает: Рассел анализирует предложения как абстрактные типы, но мы говорим конкретными высказываниями в конкретных ситуациях. Только высказывание - употреблённое предложение - может быть истинным или ложным. Само предложение «нынешний король Франции лыс» просто не истинно и не ложно - оно предполагает (presupposes) существование короля. Если предположение не выполнено, высказывание терпит неудачу референции, а не оказывается ложным.

Рассчитать для своей задачи

Стросон настаивает: существование объекта - не часть того, что утверждается, а условие, которое предполагается для успеха акта референции. Спор Рассела со Стросоном до сих пор жив в лингвистике и философии языка и отражает разрыв между семантикой (значением предложений) и прагматикой (значением высказываний в контексте).

Рассел против Фреге: смысл и референт

Рассел строил свою теорию в полемике с Готлобом Фреге. Фреге в «Смысле и значении» (1892) разграничил Sinn (смысл, способ задания объекта) и Bedeutung (референт, сам объект). «Утренняя звезда» и «вечерняя звезда» имеют одну Bedeutung (Венера), но разные Sinn - разные способы указать на неё. Это объясняет, почему «утренняя звезда есть вечерняя звезда» - информативно, а не тавтологично.

Рассел с этим не соглашался. Для него дескрипции - вообще не компоненты суждения, указывающие на объект. Они логически устраняются при анализе. Поэтому в расселовской концепции и нет нужды в уровне смысла как посредника между словом и миром: дескрипция - просто способ записи кванторного суждения, а не имя с душой.

Логический атомизм и роль теории

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

Этот подход повлиял на Витгенштейна «Трактата», на Карнапа и на весь Венский кружок. «On Denoting» часто называют самой влиятельной статьёй аналитической философии XX века.

Применение теории: примеры анализа

Теория работает не только для «нынешнего короля Франции». Несколько показательных разборов.

«Автор «Илиады» был слеп» - разворачивается как: существует единственный создатель «Илиады»; он был слеп. Если историки докажут, что «Илиаду» написали несколько авторов, предложение окажется ложным из-за нарушения условия единственности.

«Наименьшее чётное простое число равно двум» - разворачивается нормально, и все три конъюнкта истинны: такое число существует, оно одно, и оно равно двум. Предложение истинно.

«Дон Кихот сражался с великанами» - здесь дескрипция относится к литературному персонажу. Рассел и об этом писал: в контекстах вымысла «существование» понимается как внутрисюжетное, а квантор ограничен доменом вымышленного мира.

Рассчитать для своей задачи

Частые ошибки

• Путать дескрипцию с именем собственным. Рассел проводит чёткую границу: «Аристотель» - имя, «автор «Никомаховой этики»» - дескрипция, хотя оба кажутся указывающими на одно лицо. Логические свойства у них разные.
• Считать, что теория объявляет предложения о несуществующем бессмысленными. Напротив, Рассел делает их осмысленными - просто ложными, а не лишёнными значения.
• Смешивать позиции Рассела и Стросона. Рассел: пустая дескрипция - ложное предложение. Стросон: пустая дескрипция - неудача референции, предложение не получает значения истинности. Это принципиально разные позиции.
• Игнорировать условие единственности. Дескрипция требует не только существования объекта, но и его единственности. «Нынешний президент США» работает корректно; «нынешний студент МГУ» - нет, потому что студентов много.
• Думать, что логическая форма очевидна из грамматики. Ключевой урок Рассела: поверхностная грамматика вводит в заблуждение. Логический анализ может резко изменить структуру высказывания.

FAQ

Зачем Расселу понадобилось придумывать теорию дескрипций? Без неё осмысленные предложения о несуществующих объектах нарушали базовые законы логики (исключённого третьего) или требовали признать «подсуществование» Пегасов и золотых гор. Теория убирает оба неудобства, показывая, что такие предложения - просто ложные кванторные высказывания, а не разговор о чём-то несуществующем.

Чем теория Рассела отличается от теории смысла Фреге? Фреге сохраняет дескрипцию как компонент суждения, добавляя уровень смысла (Sinn) между словом и объектом. Рассел устраняет дескрипции при анализе: они не компоненты суждения, а логические аббревиатуры кванторных формул. Разногласие - о том, есть ли у языка промежуточный уровень значения между выражением и миром.

Принята ли теория Рассела сегодня? В чистом виде - нет. Кейт Доннелан (1966) показал, что дескрипции могут использоваться референциально (указывая на конкретный объект) или атрибутивно (описывая любого, кто удовлетворяет условию), и эти случаи требуют разного анализа. Крипке критиковал расселовское смешение имён и дескрипций. Теория живёт как исходная точка дискуссии, а не как принятая догма.

Коротко

Теория дескрипций Рассела (1905) разграничивает собственные имена и определённые дескрипции - фразы вида «единственный X, который P». Дескрипция логически разворачивается в тройной квантор: существование объекта, его единственность и приписываемое ему свойство. Предложения о несуществующих объектах (нынешний король Франции) оказываются не бессмысленными, а просто ложными - из-за ложности первого конъюнкта. Теория устраняет «джунгли Мейнонга» и стала ключевым инструментом логического атомизма и аналитической философии языка в целом. Главные оппоненты - Стросон (пустая дескрипция ведёт к неудаче референции, а не ко лжи) и Фреге (нужен уровень смысла между словом и объектом).