Problem of multiple generality
- 多重普遍性问题（亚里士多德逻辑无法处理多重普遍性问题，如“所有老鼠都害怕X，X是猫，所以所有老鼠都害怕猫”。中世纪逻辑学家试图增加更复杂的三段论，但无法处理其他类似模式的推论。弗雷格的概念文字是现代谓词逻辑的祖先，通过变量约束处理量词，比亚里士多德逻辑更富表达力。例子可用谓词逻辑表达为“∀y(P(y,X)→P(y,cat))”）
Problem of multiple generality
-
abstract:
The problem of multiple generality names a failure in traditional logic to describe certain intuitively valid inferences. For example, it is intuitively clear that if:
以上来源于:
WordNet