主讲⼈简介：陈波，中国人民大学哲学博士，北京大学哲学系教授，博士生导师，专业领域为逻辑学和分析哲学。2018年当选为总部设在法国巴黎的 查看详情

Abstract: Platonism in the philosophy of mathematics has two heavy burdens One is the so-called epistemological p 查看详情

内容提要： 主观贝叶斯是现代归纳逻辑的一个主要分支，它与哲学、经济学、计算机科学和人工智能等学科交叉融合，推动了相关学科的发展。在 查看详情

摘要：弗雷格逻辑的基本句式是函数结构。它凸显了量词，谓词 和专名，以及与之对应的真之语义概念。因此在现代哲学讨论中， 真这一概念凸 查看详情

摘要：亚里士多德逻辑的基本句式是“S 是 P”。由此形成哲学讨论的基本方式：比如主词、对象、谓词、概念、系词、断定等等。传统哲学是如 查看详情

内容简介： 中国逻辑思想研究在西方传统逻辑传⼊背景下形成和发展起来，其过程是复杂和曲折的。西方传统逻辑作为研究中国逻辑的观念和方 查看详情

。 查看详情

提要：本文不从概念的外延和内涵出发，而是将概念作为初始出发点，按照概念结构整体论的观点，在思想—概念—语言三者统一的基础上，建立概 查看详情

提要：保真性是是实质蕴涵的重要性质，本文将保真性推广有限全序中，用这推广的“保真性”给出蕴涵在有限全序中的语义条件，从而给出了完整 查看详情

提要：问题可以用逻辑公式表示，也可以用计算机计算。这就注定了逻辑表示和机器计算是密切关联的概念。本报告就是探讨两者之间的关联。一方 查看详情