04 2022 档案

谓词的历史发展
摘要：由亚里士多德提出的概念，在十九世纪前后由多位数学家发展蓬勃。 词项逻辑在历史上的大多数时期统治着逻辑学，直到一个世纪前出现了谓词逻辑，在十九世纪晚期和二十世纪早期导致了它的衰落。 衰落的最终原因是新逻辑在数学推理上的优势，它就是为此设计的。例如，词项逻辑不能解说从“所有轿车都是交通工具”到“所有轿车 阅读全文
posted @ 2022-04-22 19:02 Ares682 阅读(113) 评论(0) 推荐(0)