概述

higher-order logic 又称广义谓词逻辑。它是一阶逻辑（见一阶理论其元逻辑）的推广。在一阶逻辑中，量词只能用于个变元，即只有个体约束变元，并且只有个体变元能作词变元的主目(见谓词逻辑)。这样就限制了一阶逻辑语言的表达能力。如果去掉一阶逻辑中的上述限制，题变元和谓词变元也能作约束变元，即受量词约束，且作谓词变元的主目，以此构造起来的逻辑系统就是阶逻辑。