二階邏輯 在逻辑和数学中二阶逻辑是一阶逻辑的扩展一阶逻辑是命题逻辑的扩展二阶逻辑接着被高阶逻辑和类型论所扩展 一阶逻辑和二阶逻辑都使用了论域有时叫做域或全集的想法论域是可以在其上量化的个体元素的集合一阶逻辑只包括取值为论域的个体元素的变量和量词例如在一阶句子xx  x  中变量x被用来表示一个任意的个体二阶逻辑扩展了一阶逻辑通过增加取值在个体的集合上变量和量词例如二阶句子  S  x  x  S  x  S  displaystyle forall Sforall xBig xin Svee xnotin SBig  声称对于所有个体的集合S和所有的个体x要么x在S中要么不在这是二值原理最一般的二阶逻辑还包括量化在函数上的变量和在下面语法章节解说的变量