罗素（Bertrand Russell）在语言哲学最为人知的，莫过于他的摹状词理论（theory of description），被誉为分析哲学的典范。该理论的最早阐发是由罗素在1905年的一篇论文《论指称》（On Denoting）中完成的。

摹状词理论当中最知名的一环，则是分析虚拟事物的存在问题。

虚拟事物的存在问题以“金山难题”为代表：“金山”是否存在？当时的很多哲学家都认为一个句子的主词（所指的对象）一定是存在的，如果它不存在那我们就无从提及它。所以说“某物不存在”必然是假的或无意义的，提及某物就表明某物存在。然而，金山又的确不存在于现实世界中。

罗素不满意奥地利哲学家迈农（Alexius Meinong，1853-1920）赋予这些虚拟事物一定程度的“存在”的解决方案，提出对专名（proper name）和摹状词（描述语，definite description）的区分，所谓摹状词就是具有属性描述意义的词组。于是，在摹状词理论中，金山不是专名，而是摹状词，它可以转写为“一个具有’金’和’山’两种属性的x”，这样就将“金山”从主词的位置转移到摹状词的位置。

运用摹状词理论可以将日常语言中的摹状词进行改写，得到数理逻辑的形式，从而避免一些日常语言中可能出现的逻辑悖论。

罗素的方法基本上是把包含摹状词的句子拆解成三个成分。以“当今法国国王是秃头”（the present King of France is bald）为例，根据摹状词理论，罗素将这个句子改写为：

1，存在一个x，x是当今法国国王；

2，对任意一个y，如果y是当今法国国王，那么y就是x；

3，x是秃头。

于是可以写出这样一个数理逻辑形式：

∃x((K(x) ∧ ∀y(K(y) → x=y)) ∧ B(x))

谓词K表示“是当今法国国王”，B表示“是秃头”。

对于“当今法国国王是秃头”的二种解读：

1，∃x((K(x) ∧ ∀y(K(y) → x=y)) ∧ B(x))

2，¬∃x((K(x) ∧ ∀y(K(y) → x=y)) ∧ B(x))

在第一种情况下，陈述是错误的，因为它对不存在的实体进行了量化。在第二种情况下，陈述为真，因为现在的法国并不存在一个国王。“因此，所有’法国国王’主要出现的命题都是假的：对这种命题的否定是真的，但在其中’法国国王'是次要出现的。”

对罗素来说，单独的摹状词并没有意义可言，所谓谈摹状词的意义，其实是要谈包含摹状词的整个句子的意义，例如刚才的分析，所针对的便是一整个句子，而摹状词仅仅是它的主词。

这样，罗素把摹状词的指称分为三种：

（1）它可以指称，但又不指任何东西，例如“当今的法国国王”；

（2）它可以指一个确定的对象，例如“当今的英国国王”指某一个人；

（3）它可以不明确地指称，例如“一个人”不是指许多人，而是指一个不明确的人。

从哲学史上来看，摹状词理论第一次显示了逻辑分析方法在哲学中的重要性，表明了某些长期存在的重要哲学问题可以从语言的角度通过逻辑分析加以解决。正是在这个意义上，摹状词理论被称作“哲学的典范”。

参考文献：

【1】https://zh.wikipedia.org/wiki/%E6%91%B9%E7%8A%B6%E8%AF%8D%E7%90%86%E8%AE%BA

【2】https://en.wikipedia.org/wiki/On_Denoting

【3】https://zhuanlan.zhihu.com/p/32310123

【4】http://www.fh-augsburg.de/~harsch/anglica/Chronology/20thC/Russell/rus_deno.html

【5】中国思想与分析哲学 - 解构西方（3）

https://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&id=1330896