Определенное описание - Definite description

В аналитическая философия, а определенное описание это обозначающий фраза в форме «X», где X - существительное-фраза или единственное общее имя существительное. Определенное описание правильный если X относится к уникальному человеку или объекту. Например: "первый человек в космосе " и "42-й президент Соединенных Штатов Америки ", правильны. Определенные описания" человек в космосе "и" сенатор от Огайо "являются неподходящий потому что существительная фраза X относится более чем к одной вещи, а определенные описания «первый человек на Марсе» и «сенатор из какой-то страны» являются неподходящий потому что X ни к чему не относится. Неправильные описания вызывают некоторые сложные вопросы о закон исключенного среднего, обозначение, модальность, и ментальное содержание.

Анализ Рассела

В качестве Франция является в настоящее время республика, у него нет короля. Бертран Рассел отметил, что это порождает загадку относительно истинности предложения «Настоящий король Франции лыс».^[1]

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

Значит, это бессмысленно? Можно предположить, что это так (и некоторые философы думают; см. Ниже), поскольку «нынешний король Франции» определенно не упомянуть. Но с другой стороны, предложение «Настоящий король Франции лысый» (а также его отрицание) кажутся совершенно понятными, предполагая, что «нынешний король Франции» не может быть бессмысленным.

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

есть x такой, что x в настоящее время является королем Франции: ${ Displaystyle существует xKx}$ (используя 'Kx' вместо 'x в настоящее время король Франции')
для любых x и y, если x в настоящее время является королем Франции, а y в настоящее время является королем Франции, то x = y (т.е. есть не более одного, который в настоящее время является королем Франции): ${ Displaystyle forall x forall y ((Kx land Ky) rightarrow x = y)}$
для каждого x, который в настоящее время является королем Франции, x является лысым: ${ Displaystyle forall х (Kx rightarrow Bx)}$ (используя букву B для слова «лысый»)

Короче говоря, утверждение состоит в том, что «нынешний король Франции лысый» говорит, что некоторый x таков, что x в настоящее время является королем Франции, и что любой y в настоящее время является королем Франции, только если y = x, и что x равен лысый:

{ Displaystyle существует х ((Kx земля forall y (Ky rightarrow y = x)) земля Bx)}

Это ложный, так как это нет случай, что некоторые Икс в настоящее время король Франции.

Отрицание этого предложения, т.е. «нынешний король Франции не лысый», неоднозначно. Это может означать одно из двух, в зависимости от того, где мы помещаем отрицание «не». С одной стороны, это может означать, что нет никого, кто в настоящее время является королем Франции и лысым:

{ Displaystyle lnot существует x ((Kx land forall y (Ky rightarrow y = x)) land Bx)}

По этому поводу приговор истинный (поскольку действительно нет x, который в настоящее время является королем Франции).

При втором чтении отрицание может быть истолковано как присоединение непосредственно к слову «лысый», так что предложение означает, что в настоящее время существует король Франции, но этот король не может быть лысым:

{ Displaystyle существует х ((Kx земля forall y (Ky rightarrow y = x)) земля lnot Bx)}

По этому поводу приговор ложный (поскольку нет x, который в настоящее время является королем Франции).

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

Так мы делаем нет иметь отказ Закон исключенного среднего: "нынешний король Франции лысый" (т.е. ${ Displaystyle существует х ((Kx земля forall y (Ky rightarrow y = x)) земля Bx)}$ ) ложно, потому что нет нынешнего короля Франции. Отрицание этого утверждения - это то, в котором «не» имеет широкую область применения: ${ Displaystyle lnot существует x ((Kx land forall y (Ky rightarrow y = x)) land Bx)}$ . Это заявление истинный потому что не существует ничего, что в настоящее время является королем Франции.

Обобщенный кванторный анализ

Стивен Нил,^[2] среди прочего, защитил теорию Рассела и включил ее в теорию обобщенные кванторы. С этой точки зрения, «the» является количественным определителем, таким как «некоторые», «каждый», «большинство» и т. Д. Определитель «the» имеет следующее обозначение (с использованием лямбда обозначение):

{ displaystyle lambda f. lambda g. существует x (f (x) = 1 land forall y (f (y) = 1 rightarrow y = x) land g (x) = 1)}

(То есть, определенный артикль обозначает функцию, которая принимает пару характеристики ж и грамм к правде если и только если, существует нечто, обладающее свойством ж, только одна вещь имеет свойство ж, и эта вещь также имеет свойство грамм.) Учитывая обозначение предикаты 'настоящий король Франции' (снова K для краткости) и 'лысый' (B для краткости)

{ displaystyle lambda x.Kx}

{ displaystyle lambda x.Bx}

затем мы получаем условия истинности Рассела с помощью двух шагов приложение функции: «Настоящий король Франции лыс» верно тогда и только тогда, когда ${ Displaystyle существует х ((Kx земля forall y (Ky rightarrow y = x)) земля Bx)}$ . С этой точки зрения, определенные описания, такие как «нынешний король Франции», действительно имеют обозначение (в частности, определенные описания обозначают функцию от свойств до значений истинности - в этом смысле они не являются синкатегорематический, или «неполные символы»); но эта точка зрения сохраняет суть расселлианского анализа и дает именно те условия истинности, которые аргументировал Рассел.

Анализ Фреге

Фрегевский анализ определенных описаний, неявных в работе Фреге и позже защищался Strawson^[3] среди прочего, представляет собой основную альтернативу теории Рассела. В анализе Фреге определенные описания понимаются как ссылающиеся выражения скорее, чем количественные выражения. Существование и уникальность понимаются как предположение предложения, содержащего определенное описание, а не часть содержания, утверждаемого таким предложением. Предложение «Настоящий король Франции лыс», например, не используется для утверждения, что существует уникальный нынешний король Франции, который является лысым; вместо этого, что есть уникальный настоящий король Франции, часть того, что это предложение предполагает, и что это говорит в том, что этот человек лысый. Если исходное предположение неверно, определенное описание не может сослаться, и предложение в целом не выражает предложение.

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

С точки зрения Фреге, определенный артикль 'the' имеет следующее обозначение (с использованием лямбда обозначение):

{ Displaystyle лямбда f: существует x (f (x) = 1 land forall y (f (y) = 1 rightarrow y = x)).}

[Единственный z такой, что

{ displaystyle f (z) = 1}

]

(То есть 'the' обозначает функцию, которая принимает свойство ж и дает уникальный объект z у которого есть собственность ж, если есть такой z, и не определено иначе.) Пресуппозиционный характер условий существования и уникальности здесь отражен в том факте, что определенный артикль обозначает частичная функция на наборе свойств: он определен только для этих свойств ж которые верны только для одного объекта. Таким образом, он не определен в обозначении предиката «в настоящее время король Франции», поскольку свойство быть в настоящее время королем Франции не истинно ни для какого объекта; он также не определен для обозначения предиката «Сенатор США», поскольку свойство быть сенатором США верно для более чем одного объекта.

Математическая логика

По примеру Principia Mathematica, обычно используется определенный оператор описания, символизируемый «повернутым» (повернутым) греческим символом йоты нижнего регистра «℩». Обозначение ℩ ${ Displaystyle х ( фи х)}$ означает "уникальный ${ displaystyle x}$ такой, что ${ displaystyle phi x}$ ", и

{ displaystyle psi (}

℩

{ Displaystyle х ( фи х))}

эквивалентно "Есть ровно один ${ displaystyle phi}$ и имеет свойство ${ displaystyle psi}$ ":

{ Displaystyle существует x ( forall y ( phi (y) iff y = x) land psi (x))}

Смотрите также

Библиография

Доннеллан, Кит, «Справочные и определенные описания», в Философский обзор 75 (1966): 281–304.
Нил, Стивен, Описания, MIT Press, 1990.
Остертаг, Гэри (ред.). (1998) Определенные описания: читатель Брэдфорд, MIT Press. (Включает Доннеллан (1966), главу 3 Нила (1990), Рассела (1905) и Стросона (1950).)
Реймер, Марга и Безуиденхаут, Энн (редакторы) (2004 г.), Описания и не только, Clarendon Press, Оксфорд
Рассел, Бертран "Об обозначении," в Разум 14 (1905): 479–493. Текст онлайн,
Стросон, П. Ф., "О ссылке" в Разум 59 (1950): 320–344.

внешняя ссылка

Залта, Эдуард Н. (ред.). «Описания». Стэнфордская энциклопедия философии.

[ondenoting-1] Рассел, Бертран (1905). «Об обозначении». Разум. 14: 479–493.

[2] Стивен Нил (1990). Описания. MIT Press. ISBN 0262640317.

[onreferring-3] Стросон, Питер (1950). «Об обращении». Разум. 59: 320–344.

[1]

[2]

[3]