多重普遍性问题 多重普遍性问题命名了亚里士多德逻辑在描述特定直觉上有效的推论上的失败例如下面在直觉上是正确的 某些猫被所有老鼠所惧怕 则它在逻辑上推出 所有老鼠都惧怕至少一只猫 但是在亚里士多德系统中不可能表达这个推论因为我们需要用亚里士多德的主词谓词形式表达第一项确使我们的谓词是X 被所有老鼠所惧怕它把所有置于在这个理论中的三段论所不能触及的地方 当中世纪逻辑学家发现这个问题的时候他们看到有可能向理论增加进一步的更加复杂的三段论来允许这种推论但是增加这种推论的所有尝试仍然不能处理其他从类似模式引发的直觉上有效的推论 有能力处理这种推理的第一个逻辑演算是弗雷格的概念文字它是现代谓词逻辑的祖先它通过变量约束的方式处理量词弗雷格的逻辑比现有的逻辑演算更富有表达力评论家认为这是他的关键性成就 设 x 为猫y 为鼠P 为惧怕上述例子用谓词逻辑表达为  x  y P  y  x    y  x P  y  x  displaystyle exists xforall yPyxRightarrow forall yexists xPyx