多重普遍性问题

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

产品秀秀

免费为您秀产品

多重普遍性问题

点击查看词条快照

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

好戏量

雪邦区

鼓钟

陈香梅

法鼓

周密

铃

攻壳机动队：塔奇克马的日常

林秉恩

尼师今

戴维斯

保加利亚国旗