Кіріспе
"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" – "кейбір", "әрбір", "көпшілігі" сияқты сандық анықтауыш. "The" анықтауышы келесі мағынаны білдіреді (лямбда белгілеуін қолдана отырып):
(Яғни, нақтылы артикль "the" функцияны білдіреді, ол егер және тек қана егер бір нәрсе қасиетке ие болса, дәл сол нәрсе ғана сол қасиетке ие болса және сол нәрсе де қасиетке ие болса, шындыққа тең болады.) "Францияның қазіргі королі" (қысқасы үшін ) және "шалқақ" (қысқасы үшін ) предикаттарының мағынасын ескере отырып,
біз екі функция қолдану қадамы арқылы Расселлдік шындық шарттарын аламыз: "Францияның қазіргі королі шалқақ" деген сөйлем шын болады, егер және тек қана егер . Осы көзқарас бойынша, "Францияның қазіргі королі" сияқты нақтылы сипаттамалар мағынаға ие (атап айтқанда, нақтылы сипаттамалар қасиеттерден шындық мәндеріне функцияны білдіреді – олар осы мағынада категориялық емес, немесе "толық емес белгілер"); бірақ бұл көзқарас Расселлдік талдаудың негізгі ережелерін сақтайды, Расселл ұсынған шындық шарттарын нақты қамтамасыз етеді.