Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
Означающая фраза в форме "X"
Denoting phrase in the form of "the X"
В формальной семантике и философии языка, определённое описание — это означающая фраза в форме "X", где X — это именная группа или единичное нарицательное существительное. Определённое описание является корректным, если X относится к единственному индивиду или объекту. Например, "первый человек в космосе" и "42-й президент Соединённых Штатов Америки" являются корректными. Определённые описания "человек в космосе" и "сенатор от Огайо" некорректны, поскольку именная группа X относится к более чем одному объекту, а определённые описания "первый человек на Марсе" и "сенатор от Вашингтона (округ Колумбия)" некорректны, поскольку X не относится ни к чему. Некорректные описания поднимают ряд сложных вопросов о законе исключённого третьего, денотации, модальности и ментальном содержании.
In formal semantics and philosophy of language, a definite description is a denoting phrase in the form of "the X" where X is a noun phrase or a singular common noun. The definite description is proper if X applies to a unique individual or object. For example: "the first person in space" and "the 42nd President of the United States of America", are proper. The definite descriptions "the person in space" and "the Senator from Ohio" are improper because the noun phrase X applies to more than one thing, and the definite descriptions "the first man on Mars" and "the Senator from Washington D. C." are improper because X applies to nothing. Improper descriptions raise some difficult questions about the law of excluded middle, denotation, modality, and mental content.
Обобщенный анализ количественного показателя
Стивен Нил, среди прочих, защищал теорию Рассела и включил ее в теорию обобщенных кванторов. Согласно этой точке зрения, 'the' – это квантификационный детерминант, как 'some', 'every', 'most' и т.д. Детерминант 'the' имеет следующее значение (с использованием лямбда-нотации):
Stephen Neale, among others, has defended Russell's theory, and incorporated it into the theory of generalized quantifiers. On this view, 'the' is a quantificational determiner like 'some', 'every', 'most' etc. The determiner 'the' has the following denotation (using lambda notation):
(То есть, определённый артикль 'the' обозначает функцию, которая принимает пару свойств и и возвращает истину, если и только если существует нечто, обладающее свойством , ровно одно нечто обладает свойством , и это нечто также обладает свойством .) Учитывая значения предикатов 'нынешний король Франции' (опять же, обозначим как ) и 'лысый' (обозначим как ),
(That is, the definite article 'the' denotes a function which takes a pair of properties and to truth if, and only if, there exists something that has the property , only one thing has the property , and that thing also has the property .) Given the denotation of the predicates 'present King of France' (again for short) and 'bald' ( for short)
мы получаем условия истинности Рассела посредством двух шагов применения функции: 'Нынешний король Франции лыс' истинно, если и только если, . С этой точки зрения, определенные описания, такие как 'нынешний король Франции', действительно имеют значение (в частности, определенные описания обозначают функцию от свойств к значениям истинности – в этом смысле они не являются синкатегорематическими, или "неполными символами"); однако эта точка зрения сохраняет суть расселовского анализа, приводя к тем же условиям истинности, которые отстаивал Рассел.
we then get the Russellian truth conditions via two steps of function application: 'The present King of France is bald' is true if, and only if, On this view, definite descriptions like 'the present King of France' do have a denotation (specifically, definite descriptions denote a function from properties to truth values—they are in that sense not syncategorematic, or "incomplete symbols"); but the view retains the essentials of the Russellian analysis, yielding exactly the truth conditions Russell argued for.