Tsinghua University – University of Amsterdam Joint Research Centre for Logic

Tsing Ch’a Sessions 清茶会

To promote interdisciplinary interaction between different faculty members and students on the campus, a weekly meeting has been organized by our postdoc Yinlin Guan since September 2020, called Tsing Ch’a Sessions (清茶会). Its slogan “know thyself and let others know you better.”

Current sessions

Abstract

Title: Exclusively Instantial Neighborhood Logic

Speaker: Han Gao 高晗

Date: 30, Dec, 2021

Location: Room 329, Meng-Minwei Humanities Building

Abstract: Neighborhood semantics for modal logic is generalized in a two-sorted way in instantial neighborhood logic(INL). As a following-up work of INL, we develop another semantics for the INL language and then get exclusively instantial neighborhood logic(EINL). It is able to talk about distinct existential information in a single neighborhood, and has an expressive power strictly stronger than that of INL. We offer a Hilbert-style axiomatization of EINL, whose weak-completeness is shown by the technique of extended normal form. Finite model property and decidability for EINL are obtained as well. This is a joint work with Dazhu Li and Junhua Yu.


Title: From Covariation to Causation: A causal Power Theory

Speaker: Qingyu He 何清瑜

Date: 16, Dec, 2021

Location: Room 329, Meng-Minwei Humanities Building

Abstract: The two dominant approaches to the psychology of causal induction—the covariation approach and the causal power approach—are each crippled by fundamental problems. This talk will introduce P.W. Cheng’s article which proposes an integration of these approaches that overcomes these problems. The proposal is that reasoners innately treat the relation between covariation and causal power as that between scientists’ law or model and their theory explaining the model. This solution is formalized in the power PC theory, a causal power theory of the probabilistic contrast model.


Title: Lattices of Finitely Alternative Normal Tense Logics

Speaker: Qian Chen 陈谦

Date: 09, Dec, 2021

Location: Room 329, Meng-Minwei Humanities Building

Abstract: A finitely alternative normal tense logic Tn,m is a normal tense logic characterized by frames in which every point has at most n future alternatives and m past alternatives. The structure of the lattice Λ(T1,1) is described. There are ℵ0 logics in Λ(T1,1) without the finite model property (FMP), and only one pretabular logic in Λ(T1,1). There are 20 logics in Λ(T1,1) which are not finitely axiomatizable. For nm≥ 2, there are 20 logics in Λ(Tn,m) without the FMP, and infinitely many pretabular extensions of Tn,m.


Title: Towards a Better Theory of Why-Interrogatives: An attempt to a modified logic of interrogations

Speaker: Yuqi Liu 刘雨琦

Date: 2, Dec, 2021

Location: Room 329, Meng-Minwei Humanities Building

Abstract: Various kinds of interrogative sentences play an essential role in natural language and the study of them is an intersection area of linguistics, logic and philosophy. However, there are relatively less works with respect to why-interrogatives. In this proposal, I will give an informal sketch of the difficulties of the study of why-interrogatives from semantic and pragmatic perspectives. And then I will introduce several semantic formulations and logics of interrogation to see if it is possible to give an explanation of why-interrogatives in a formal way. 


Title: 佐伊·克里斯托弗(Zoé Christoff)和詹斯·乌利克·汉森(Jens Ulrik Hansen)的‘社交网络中扩散现象的逻辑框架’介绍

Speaker: Penghao Du 杜鹏昊

Date: 18, Nov, 2021

Location: Room 329, Meng-Minwei Humanities Building

Abstract: 这篇文章介绍了一个推理社交网络内部扩散过程的一般逻辑框架。新的“社交网络中关于扩散的逻辑”是标准混合逻辑的动态扩张,并且在模型中可以包含主体的多个性质。作者为这一逻辑的静态语言和动态语言分别提供了完整的公理化,并在具体例子中展示了如何将该框架应用于具体社交网络的扩散现象。


Title: 弗雷格对涵义和指称的区分

Speaker: Xuan Li 李旋

Date: 11, Nov, 2021

Location: Room 329, Meng-Minwei Humanities Building

Abstract: 在《论涵义和指称》这篇文章中,从对一个疑难的处理出发,弗雷格区分了专名的涵义和指称。进一步,弗雷格对这一区分进行的推广,认为语言中的其他类型表达式也有这一区分。本次报告分为两部分,首先考察这一区分的由来,以及在专名上的具体呈现,以及完整直陈句这一特殊专名。其次,探讨这一区分在谓词上何以实现,尤其如何理解谓词的指称——概念。


Title: 从弗雷格-罗素区分看“是”在现代逻辑中的解释

Speaker: Huan Yu 余欢

Date: 4, Nov, 2021

Location: Room 329, Meng-Minwei Humanities Building

Abstract: “是”作为在传统亚里士多德逻辑和中世纪词项逻辑中都非常重要的逻辑常项,在现代逻辑中却失去了它的中心地位,其中原因可能与现代逻辑对句子的划分与传统逻辑之间有着本质的差异有关。这种传统逻辑与现代逻辑之间的差异,恰好可以通过弗雷格以及罗素等现代逻辑的创始人对包含“是”的命题所作的逻辑区分看得十分清楚。本次报告以所谓的弗雷格-罗素区分为出发点,探讨在现代逻辑中,我们该如何对“是”有一个清晰的把握。


Title: Distributed Game Logic

Speaker: Lei Li 李磊

➤ Date: 28, Oct, 2021

➤ Location: Room 329, Meng-Minwei Humanities Building

➤ Abstract: The idea of distributed games comes from distributed systems, which are often used in computer science to describe the combination of parallel processes. There are several mechanisms to provide operational models for distributed systems by means of transition systems. We provide a logical characterization of distributed systems reflecting the handshaking mechanism. Furthermore, we try to explore knowledge and strategies from the perspective of games.


Title: 从《逻辑学导论》看威廉·舍伍德的指代理论

Speaker: Mingliang Chu 储明亮

Date: 21, Oct, 2021

Location: Room 329, Meng-Minwei Humanities Building

Abstract: 威廉•舍伍德的《逻辑学导论》(Introductiones in logicam)是中世纪晚期新式逻辑(logica moderna)时期最早的完整著作,该书中关于词项特性的分析与其另一本著作《助范畴词》(syncategoremata)关于助范畴词的论述奠定了新式逻辑发展初期的两个主要研究路径:词项特性和助范畴词,而对后者的研究又是以前者为理论基础。舍伍德将词项特性分为:意谓特性(signification),指代特性(supposition),连接特性(copulation)和称呼特性(appellation),其中指代特性是舍伍德最为关注的部分,而由此建构起来的指代理论可以说是舍伍德词项特性理论的核心。即便是更广为人知的威廉•奥卡姆的指代理论,其理论基础也要追述到舍伍德的思想。因此,无论是从窥探威廉•舍伍德整个理论架构,还是从中世纪晚期逻辑学思想史的角度,厘清威廉•舍伍德的指代理论都是首要之选。


Title: 从《十力语要》看熊十力对逻辑与中国哲学关系的认识

Speaker: Zhenkun Hu 胡振坤

Date: 14, Oct, 2021

Location: Room 329, Meng-Minwei Humanities Building

Abstract: 《十力语要》卷二中,熊十力在给意大利学者马格里尼的书信里谈论中国哲学的思想特点时,将“逻辑”作为理解中华文明特质和东西文化差异的一个重要切入点。熊十力在信中说:“中国哲学以重体认之故,不事逻辑,其见之著述者亦无系统。”这句话体现了熊十力的逻辑观以及对逻辑与中国哲学关系的基本认识。我们可以通过熊十力对逻辑的关注,进一步了解民国时期的文化思潮,深入探究逻辑背后的文化现象及其与中华文化的融合碰撞,并为思考新时代中华文化发展方向奠定基础。


Title: Philosophy of The Curve Fitting Problem I – Basic Solutions

Speaker: Huanfang Dong 董焕防

Date: 7, Oct, 2021

Location: Room 329, Meng-Minwei Humanities Building

Abstract: The curve fitting problem is on finding the curve that best fits a number of data points. The philosophical interest mainly lies in justifying trade-off of simplicity and goodness-of-fit. Several solutions have been proposed based on different concepts, like Akaike’s Information criterion, Bayesian information criterion, and Bayes’s theorem criterion etc. In this talk I will present some basic solutions and compare them.


Title: 序提升和道义逻辑

Speaker: Yang Sun 孙洋

Date: 30, Sep, 2021

Location: Room 329, Meng-Minwei Humanities Building

Abstract: 序提升是从一个给定集合上的序关系,提升到该集合幂集上序关系的过程。埃格利-米欧纳序是一种序提升的方式。给定一个集合的前序,可以对它的埃格利-米欧纳序进行公理化。进而,考虑一个严格版本的埃格利-米欧纳序,它可以与基于优先模型的条件句语义联系起来。非单调性在道义推理是常见的。严格的埃格利-米欧纳序定义出的条件算子的特性,使得它可以被解释为“条件应该”,从而处理一些道义悖论。


Title: “侔式推理”新诠——以“单调推理”为视角

Speaker: Zhiqiang Sun 孙志强

Date: 23, Sep, 2021

Location: Room 329, Meng-Minwei Humanities Building

Abstract: “侔”是墨家“辟、侔、援、推”四种论证形式之一,出自《墨经·小取》篇。《小取》在论述“侔”时,提出了诸多悖论,比如“获,人也;爱获,爱人也”;“其弟,美人也,爱弟,非爱美人也”。前者推论有效的原因,与隐藏在动宾短语中的存在量词有关,其底层的逻辑推论形式为右侧向上单调推理。而后者的谬误成因,则是由于动宾短语中位于宾项位置的量词为全称量词,它会为动宾短语提供单调向下的推理环境。

Schedule

DateSpeakerTitle
2021-09-23Zhiqiang Sun 孙志强“侔式推理”新诠
2021-09-30Yang Sun 孙洋序提升和道义逻辑
2021-10-07Huanfang Dong 董焕防Philosophy of The Curve Fitting Problem I – Basic Solutions
2021-10-14Zhenkun Hu 胡振坤从《十力语要》看熊十力对逻辑与中国哲学关系的认识
2021-10-21Mingliang Chu 储明亮从《逻辑学导论》看威廉·舍伍德的指代理论
2021-10-28Lei Li 李磊Distributed Game Logic
2021-11-04Huan Yu 余欢从弗雷格-罗素区分看“是”在现代逻辑中的解释
2021-11-11Xuan Li 李旋弗雷格对涵义和指称的区分
2021-11-18Penghao Du 杜鹏昊佐伊·克里斯托弗(Zoé Christoff)和詹斯·乌利克·汉森(Jens Ulrik Hansen)的‘社交网络中扩散现象的逻辑框架’介绍
2021-12-02Yuqi Liu 刘雨琦Towards a Better Theory of Why-Interrogatives: An attempt to a modified logic of interrogations
2021-12-09Qian Chen 陈谦Lattices of Finitely Alternative Normal Tense Logics
2021-12-16Qingyu He 何清瑜From Covariation to Causation: A causal Power Theory
2021-12-30Han Gao 高涵Exclusively Instantial Neighborhood Logic
2022-1-6Fengxiang Cheng 成凤祥TBA

Past sessions

  • Peng Cui 崔鹏 and his students (CS)
  • Ke Deng 邓柯 and his students (statistics)
  • Yang Sun 孙洋 (logic): Deontic logic as founded on nonmonotonic logic
  • Yuqi Liu 刘雨琦 (logic): Epistemology without Knowledge and Belief
  • Lingyuan Ye 叶凌远 (physics): Uniformity, Contingency, and Self-reference in arithmetic
  • Lei Li 李磊 (logic): On link deletion and point deletion in games on graphs 
  • Xiao Li 李潇: Towards a semantic concept of aboutness: a proposal
  • Mingliang Chu (logic): 中世纪逻辑学
  • Kaibo Xie 谢凯博 (logic): 关于研究方向选择的一些想法
  • Gengjun Yao 姚庚君 (journalism): 当传播学遭遇数理逻辑
  • Huanfang Dong 董焕防 (logic): Basics of Recommendation Systems 
  • Jiatong Li 李嘉图 (CS)
  • Chi Gao 高驰 (CS): 时序知识图谱的可解释预测