方略学科导航

搜索结果: 1-1 共查到“逻辑学其他学科范杰”相关记录1条 . 查询时间(0.094 秒)

范杰：关于四类信念的逻辑研究范杰逻辑研究模态逻辑 < 2023/5/10 雷速公司共建数据

本报告提出四类信念（理智的信念、不理智的信念、可靠的信念、不可靠的信念）并对其进行逻辑研究。报告分为五部分：1.介绍这四类信念的由来；2.对比这些信念逻辑和文献中某些逻辑的相对表达力；3.证明这四类信念构成一个对当方阵，从而显示它们之间存在着有趣的联系；4.组合可靠信念的逻辑和不可靠信念的逻辑（类似地，理智信念的逻辑和不理智信念的逻辑），我们将证明尽管所得的双模态逻辑具有和标准模态逻辑同样的表达力...