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

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

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

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

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

查看详情