分析哲学的逻辑知识真对人工智能有用吗?  

作　　者：徐英瑾[1] 

机构地区：[1]复旦大学哲学学院

出　　处：《社会科学文摘》2020年第6期81-83,共3页Social Sciences Digest

摘　　要：弗雷格逻辑与人工智能的冲突英美分析哲学的主要学术训练方式,是建立在对于肇始于弗雷格的现代逻辑(一阶谓词逻辑与命题逻辑)的尊重之上的。严格地说,目前在"基于规则的人工智能"中所运用的哲学逻辑工具,均是弗雷格式的一阶谓词逻辑的变种。这种逻辑的特点有四个:一是真值与内涵的剥离。

关 键 词：一阶谓词逻辑 现代逻辑 哲学逻辑 人工智能 弗雷格 逻辑知识 分析哲学 学术训练 

分 类 号：B089[哲学宗教—哲学理论] TP18[自动化与计算机技术—控制理论与控制工程]