1.摹状词:(ix)(Fx)
2.含摹状词的命题:S[(ix)(Fx)]
3.含摹状词的命题的定义:：
  (∃x){(Sx∧(∀y)[Sy→(y=x)]∧Fx}
《符号逻辑》 科庇著，1988年，p202:
不用摹状词的表达式(ix)(Fx)，
使用上述的定义表达式。

1.使用摹状词产生矛盾，是误用了谓词逻辑。
所以，这是个逻辑学练习题，而不是个理论或学说。
2.集论里面很多命题，都要使用摹状词来表达。
请帖个例子吧？

集论的一个命题: 如果x∈A，那么{x}属于PA
哪个是摹状词？
*
还是2009年的老贴子，一直没看了。

1.PA是什么意思？
2.用命题还是谓词逻辑翻译？

集论的一个命题: 如果x∈A，那么{x}属于PA
可翻译为一阶一元谓词的命题,
主词：x。
谓词两个：（●）∈A，（{●}）∈P（A）。
∀x[（x∈A）→（{x}∈P（A））]

一阶是对于黑点说的；一阶是指量化主词。量化谓词时，才有高阶。
该命题里，黑点之外是一阶谓词；具体谓词让数学家去说吧。
逻辑学不是万能的。

在那个命题里，{x}不是集和，而是把它作为P（A）的元素。注意那个属于符号。
{x}∈P（A））

{x}“属于”P（A）
不同于：
{x}“包含于”P（A）

咱的话题转换快：摹状词-谓词逻辑-集论。。。
从集论讲，{x}和P（A）都是集和，
但是在{x}∈P（A）]里，
“集和{x}”是“集和P（A）”的元素；不是子集。

有“扩大化”的信息吗？

一件事欧洲人说一遍，中国人说一遍。
学点逻辑还真不容易。

罗素，数理哲学导论，1919年英文初版，1982年汉语第1版。
14章，演绎。
15章，命题函项。
16章，摹状词。
17章，类。
该书是罗素和怀特海的大小《数学原理》的导论。后面几章是现代逻辑学的奠基作。值得细读。但是，难读呀！
Bertrand Russell.
Introduction to Mathematical Philosophy. 1919.
chapter 16. descriptons

可以讨论一下。

在英语里，有定冠词的名词词组。例如，the cat，这只猫。在谓词逻辑里，称为定摹状词。采用特称量词、全称量词、等词等符号，可以写出它的表达式。这只猫是肥胖的，其大概意思是，有些动物x，x是猫；所有动物y，若y是猫，则x等同于y；x是肥胖的。