谓词量化

---

(拉丁语quantum——多少，英语quantity——量) 确定判断的谓词之外延。

传统形式逻辑中，判断是根据主词的外延来进行分类的，照这分类法。判断就分为全称判断(如：“所有正方形都是四角形”)和特称判断(如：“有些大学生是运动员”)两类。汉密尔顿提出应当同时考虑谓词的外延。这样，除了谓词不涉及整个外延而被汉密尔顿称为全称特称和特称—特称这两种肯定判断之外，又分出两类判断，即全称全称判断(如：“所有等边三角形都是等角三角形”)和特称—全称判断(如：“有些树是柞树”)。在这后两类判断中，谓词涉及其整个外延。这种谓词量化使我们有可能把判断视为一种方程式。

在数理逻辑中，谓词量化的运算在某种程度上与量词结合谓词变项的运算相符。