会议链接：https: mp weixin qq com s 0DR8CwOZNlN4dzMvSKXqnw摘要：In various theories of truth, people have set forth many 查看详情

会议链接：http: logic fudan edu cn event2022 acpomc Program 摘要：This paper provides a procedure which from any Boolean 查看详情

摘要： “真”一直以来是哲学中的一个重要概念，是哲学家、逻辑学家在探究学术时无法绕过的一个问题。传统的真理论主要有：符合论、融贯论 查看详情

摘要：1874年康拓（Georg Cantor, 1845年-1918年）提出了连续统假设（Continuum Hypothesis，简称CH），通常写作2ℵ0=ℵ1即，实数集的秩 查看详情

摘要：In various theories of truth, people have set forth many definitions to make it clear in what sense a set 查看详情

摘要：形式论辩系统研究旨在通过对人类论辩过程的刻画，沟通人类推理和机器推理。其发展主要开端于人工智能领域，并在近几十年间迅速成为一 查看详情

查看详情

摘要：报告将简要介绍知识逻辑（Epistemic Logic）的思想、基本定义以及发展历史，并用一些谜题作为例子，说明知识逻辑如何帮助我们厘清一 查看详情

摘要：范畴语法是语言逻辑服务于当今人工智能自然语言处理的前沿阵地，范畴语法把自然语言的句法和语义的构造看作是受逻辑规则支配的计算过 查看详情

摘要：20世纪西方哲学确定无疑的领军人物是维特根斯坦，他一生中的两本书开创了现代西方哲学的两个时代，建立了现代西方哲学的两个重要流派 查看详情

Join Tencent MeetingTencent Meeting ID:748 990 379Tencent Meeting Passcode:202111Abstract: In this talk, I will expl 查看详情

Key Words: 实质归纳理论；纯粹归纳逻辑；形式规则；绿蓝悖论Abstract: 绿蓝悖论是现代归纳逻辑研究的一个重大事件，它直接挑战了归纳的 查看详情

Part1:主讲人：四川大学任晓明教授主题：休谟问题与因果推断研究Part2:主讲人：武汉大学桂起权教授主题：用逻辑哲学眼光看布伦纳作为辩证法 查看详情

Join Zoom Meetinghttps: zoom us j 95158753293?pwd=U0wvSjhrYnZ1ckl6WnFoQkVKc09vZz09Zoom ID: 951 5875 3293Zoom Passcode: 68 查看详情

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

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

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

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

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

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