学术预告 | 2021年第15届全国现代逻辑学术研讨会

发布人：辛邦杰 发布日期：2021-12-03
活动时间
-
活动地址
中山大学珠海校区海琴6号/腾讯会议
 

 

主办

SPRING

中国逻辑学会现代逻辑专业委员会

 
 

承办

SPRING

中山大学哲学系（珠海）

中山大学逻辑与认知研究所

 
 

地点

SPRING

 中山大学珠海校区海琴6号

 腾讯会议

 
 

时间

SPRING

 2021年12月3-5日

 

 

会议概况

        现代逻辑在哲学、数学、计算机等基础学科及其交叉研究中起到重要的理论支撑作用。本届现代逻辑研讨会的所涉议题包括数理逻辑、哲学逻辑、逻辑哲学、现代逻辑史等多个现代逻辑研究方向，旨在让国内相关学者分享在现代逻辑前沿研究取得的最新成果，鼓励国内相关学者在逻辑学的学科前沿和学科交叉上作进一步的交流与合作，为现代逻辑研究者提供一个可持续探索的沟通平台。
 

 

会议议题

包括但不限于

01

哲学逻辑

02

数理逻辑

03

逻辑哲学

04

现代逻辑史

05

逻辑与语言学

06

逻辑与计算机科学

07

逻辑与社会科学等领域的前沿问题

 

 

会议日程

 
地点：中山大学珠海校区海琴6号/腾讯会议
日期：2021年12月3-5日

 

 

2021年12月3日（下午 + 晚上）
 

 

会前教育环节

 
 
 
12:30–17:30

报到

 

19:30–21:30

王彦晶

与你我有关的学术伦理与规范

 

 

 

 

2021年12月4日（上午）

 
 
 

08:45–09:00

开幕致辞

 

09:00–10:00

陈小平

超越封闭性——经典人工智能的逻辑基础挑战

 

10:00–10:30

合影、茶歇

 

10:30–11:00

1、葛雪

Symmetry Tense Heyting algebras

2、冯世光，王克诩，赵希顺

二阶修正KROM逻辑的表达能力与复杂性

 

 

11:00 – 11:30

1、邬舒雯、熊明

冯诺依曼型元胞自动机和自指语句

2、赵之光

Undecidability Results of Modal Definability in Extended Modal Languages

 

 

11:30-11:45

茶歇

 

11:45–12:15

1、袁旭亮

直觉主义冯·诺依曼-贝尔奈斯-哥德尔集合论的一致性及其对集合论悖论的解决

2、刘淘宁

解释性是证据相关的吗？——基于对幕隔论证的分析

 

 

12:15–12:30

1、薄谋

基于大小限制观念的复数集合论

2、王聪

论大卫路易斯的模态认识论

 

 

 

 

2021年12月4日（下午）

 
 
 

14:30–15:30

徐英瑾

How can an Artificial General Intelligence System Acquire “Number Sense”?

 

15:30–15:35

周冲

逻辑的规范性-来自规范必然性的角度

 

15:35–15:40

彭玉

Cut-free Sequent Calculus for Classical Tense Logic

 

 

15:40–15:45

杨新宇，田中旭，梁飞

A Sequent Calculus for Logic of Truth-functional Contingency

 

 

15:45–15:50 

刘力恺

“知因”逻辑的量化扩充

 

 

15:50–15:55

邓美林，郭美云

基于一般框架的概率认知逻辑

 

15:55–16:00

安宇辉

基于公开宣告的多主体信念修正逻辑研究

 

 

16:00–16:30

学生海报展示 + 茶歇

欢迎全体师生莅临参加！

 

 

16:30–17:00

1、尹一木，张寄冀

Markov Categories, Causal Theories, and the Do-calculus

2、崔建英

基于可能性逻辑的结构化论辩理论P-ASPIC+

 

 

17:00–17:30

1、苏兴池

Making Norms and Following Norms

2、陈东恒、廖备水

基于迭代分解的特征化概率论辩语义求解方法

 

 

17:30–17:45 

1、彭丽曼

A Strongly Complete Conditional Probability Logic

2、李浦银，姚泽来，祝文昇，陈锦盛，廖备水

Using Argumentation to Model Two-sided Market Pricing Problem in Economic Practice

 

 

2021年12月5日（上午）

 
 
 

09:00–10:00

王玮

反推数学的一些新进展

 

10:00–10:25

茶歇

 

10:25–10:55

1、武培培、李延军

A Logic of Justified Belief and Knowledge

2、骆犀羚

社会网络类聚的时态逻辑

 

 

10:55–11:25

(10:55-11:25)

范杰

A logic of von Wright's deontic necessity

 

(10:55-11:10)

邢锟

A Logic-based Semantic Model for Machine Learning

 

(11:10-11:25)

熊作军

“秘密”模态的逻辑特性

 

 

11:25-11:40

茶歇

 

11:40–12:00

闭幕