2024年11月15日下午3时，上海交通大学计算机系陈翌佳教授应邀于华南师范大学文科楼211讲学厅为到场师生带来了一场题为“First-order Logic 查看详情

2023年11月27日下午，华南师范大学哲学与社会发展学院「哲学·社会·思想」学术月暨第三届「哲学月」第六场讲座于文科楼二楼会议室顺利召开 查看详情

2023年11月26日下午，华南师范大学哲学与社会发展学院「哲学·社会·思想」学术月暨第三届「哲学月」第五场讲座——“自指性命题的形式刻画 查看详情

2023年11月28日上午，华南师范大学哲学与社会发展学院「哲学·社会·思想」学术月暨第三届哲学月第七场讲座顺利召开。四川大学特聘教授、南 查看详情

2023年11月29日上午，华南师范大学哲学与社会发展学院「哲学·社会·思想」学术月暨第三届「哲学月」第十场讲座于文科楼二楼会议室顺利召开 查看详情

2023年11月15日下午，由哲学与社会发展学院承办的华南师范大学90周年校庆系列学术活动之“砺儒讲坛”第17场在文科楼二楼会议室隆重举行。武 查看详情

摘要：带有“好”、“坏”和“不好不坏”等评价词的命题称为评价性命题。评价性命题是由评价主体在一定的背下对被评价的命题作出的某种评价 查看详情

摘要：通过对“半费之讼”“绞架悖论”等若干有趣案例的重新解读，展示逻辑“如刀锋般犀利”的理性分析功能。主讲人简介：中国社会科学院教 查看详情

讲座一：广义逻辑真理观及其解悖功能内容简介：“逻辑真理”是任何演绎逻辑系统所要把握的基本对象。伴随非经典逻辑学科群的蓬勃发展，“逻 查看详情

会议链接：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 查看详情