The Delta Logic Workshops aim to bring logicians from Mathematics, Philosophy, and Computer Science together. The Delta 14 Logic Workshop was held at Wuhan University.
Venue: B214, Zhenhua Building, School of Philosophy, Wuhan University, No.299 Bayi Road, Wuhan
Time: Saturday, April 10, 2021
Invited speakers
Jiaqi Bao (Fudan University)
Zesheng Chen (University of California, Irvine)
Zachiri McKenzie (Zhejiang University)
Weiguang Peng (Southwest University)
Yanjing Wang (Peking University)
Xiaohu Zhu (Center for Safe AGI)
Programme
Morning Session (Chair: Ruizhi Yang)
09:00–09:50 Yanjing Wang: Knowing how to understand intuitionistic logic
Abstract: The goal of the talk is to make intuitionistic logic intuitive by providing an epistemic understanding grounded both mathematically and philosophically. We decode intuitionistic logic as a dynamic epistemic logic of knowing how by using the state-of-art techniques and ideas from philosophical logic and formal epistemology. The approach is inspired by some scattered but related ideas hidden in the vast literature of math, philosophy, CS, and linguistics about intuitionistic logic in the past 100 years, which echoed Heyting's initial idea about intuitionistic truth as knowing how to prove. Many important technical results of intuitionistic logic, such as Glivenko's double negation translations and Gödel's modal embedding, become transparent, if not trivial. In this approach, we also reveal the intrinsic technical connection between Brouwer–Heyting–Kolmogorov interpretation and the Kripke semantics for intuitionistic logic in a natural manner. It paves a general method to understanding a family of related non-classical logics as intuitive epistemic logics. I shall conclude with some ongoing work and future directions.
09:50–10:40 Weiguang Peng: Some logical investigations on game theory
Abstract: My talk consists of two parts. At first, I will introduce some mathematical results which are used to prove some game properties in the context of reverse mathematics. Then, we will mainly concentrate on the optimal depth-first algorithms and distributional complexity on game tree, which is an important model of computation in the area of computational complexity.
10:40–11:10 Coffee Break and Group Photo
11:10–12:00 Zesheng Chen: 可构造宇宙是否是免于形式的？—论 Kennedy 的“可定义性丘奇–图灵论题” (Zoom ID: 917 8958 3706)
12:00–14:10 Lunch Break
Afternoon Session (Chair: Yanjing Wang)
14:10–15:00 Jiaqi Bao: p-进特殊线性群上可定义拓扑动力
15:00–15:50 Zachiri McKenzie: Topless powerset preserving end-extensions and rank-extensions of countable models of set theory
15:50–16:10 Coffee Break
16:10–17:00 Xiaohu Zhu: 面向逻辑学家的人工智能安全具体问题浅析
摘要：人工智能技术在近十年来取得了飞速的发展，但是其研究和应用过程中短期或长期的安全相关的问题正逐渐显现，受到了科研人员社区乃至社会各界不同程度的关注。尽管这些方面目前得到了一定的发展，但仍旧需要更多人的参与和贡献。本报告介绍了人工智能技术，并强调关注人工智能技术安全问题的必要性，同时给出了几个具体的需要深入研究的关键问题供大家思考和探索。
17:00–20:00 Dinner
Organizers
Guozhen Shen (Wuhan University)
Yanjing Wang (Peking University)
Liang Yu (Nanjing University)
Sponsor
School of Philosophy, Wuhan University
Hotels
Luojia Mountain Villa, No.16 Luojia Mountain, Wuhan University, Wuhan
Fengyi Hotel, No.336 Bayi Road, Wuhan