Descriptions，简称RTD）是数理逻辑、语言哲学和分析哲学上的一个极重要的理论，被誉为分析哲学的典范。运用这个理论可以将日常语言中的描述语（摹状词）进行改写，得到数理逻辑的形式，从而避免一些日常语言中可能出现的逻辑悖论。该理论的最早阐发是由伯特兰·罗素（Bertrand Russell）在1905年的一篇论文《论指称》（On Denoting）中完成的。摹状词理论要解决的问题可以大致总结为：虚拟事物的存在问题以「金山难题」为代表。「金山」是否存在？罗素、以及当时的很多哲学家都认为一个句子的