认知逻辑
更新时间:-- | 阅读量: 9

研究含有知道、认可等模态词的命题形式和推理形式的学科,又称为知道逻辑。既是数...在长达2000多年的逻辑史上，尽管不断有人涉及这个问题，但并未引起人们的足够重视。1951年，芬兰逻辑学家冯奈特在《义务逻辑》、《模态逻辑》等著作中，提出了 ...

搜索到与“ 认知逻辑”相关的文献共 3条

用认知逻辑刻画简单枚举法
推理的有效性问题是逻辑学研究的重要问题。有各种不同的有效性概念。本文给出了一个谓词认知逻辑的形式语言(称为LIK),给出了它的语义,定义了有效性概念。用语言LIK刻画简单枚举法,并证明这种推理在IK系...

《逻辑研究专辑》 2001年00期关键词: "认知逻辑"," 简单枚举法"," 有效性" 收藏
非单调性问题与自认知逻辑
日常推理具有非单调性,而经典逻辑不足以刻画这样的推理,自认知逻辑是研究非单调推理的一种主要方法,它旨在为具有反思能力的主体的推理过程做形式的刻画。

《逻辑研究专辑》 2001年00期关键词: "推理"," 非单调"," 自认知" 收藏
国外网络参与的政府规制：认知、经验与逻辑
国外互联网发展过程中有很多成熟的管理和规制经验，他们通过健全法律制度、完善道德规范、丰富规制手段、加强技术开发等比较成熟的做法使互联网运转走上了健康发展之道；国外对网络参与行为进行规制的认识有过艰苦的...

《中共浙江省委党校学报》 2015年3期关键词: "网络","政府规制","网络行为自律","网络过滤" 收藏