Tsinghua Logic Salon

Initiated by the center’s students and researchers in 2019, the Tsinghua Logic Salon has quickly grown into a lively platform for try-outs and exchanges of new ideas.  Researchers in various fields of logic are invited to present their latest research, as well as the challenges that they see.  Every participant is encouraged to engage in discussions and exchange of perspectives. Each session lasts for 2 hours in total, with 30 minutes of discussion included.  

Current events

2021 Oct 7, Mingming Liu (Tsinghua University): Title TBA.

2021 Sep 30, Olivier Roy (University of Bayreuth): Title TBA. Online

2021 Sep 23, Zhuanghu Liu (Peking University):

刘壮虎,教授,博士生导师。1982年毕业于北京大学数学系,曾任系学术委员会委员。研究领域涉及逻辑学的多个分支,最重要的工作是建立了适合各种逻辑的邻域语义学,并进行深入研究。另外,在认知逻辑、语言逻辑、非经典逻辑等方面也有一些有影响的研究成果。刘壮虎认为,数理逻辑为现代逻辑研究提供了基本和重要的思想和方法,是任何逻辑分支研究的基础。他在研究方法上强调逻辑技术的重要性,曾开设的课程有“集合论”“数学结构”“邻域语义学”“逻辑与批判性思维”“直觉主义逻辑”等。

Title:

集体认定中的不一致和合取原则

Abstract:

集体认定是按一定的规则,综合集体中每个人的意见,对命题的一种断定。法律审判中的陪审员制度,社会政治生活中的选举、决议等都是集体认定的典型例子。

人们很早就发现,集体认定中会出现不一致,合理的认定得到的若干命题放在一起可以是不一致的。人们的研究往往从社会学的角度出发,集中在对于规则合理性的讨论,而不是对不一致现象本身的讨论。

集体认定还有一种类似于不一致的现象:合取原则的失效。而在大多数关于集体认定的研究中,合取原则失效的问题并没有得到充分讨论。

本文从现有的集体认定的规则出发,总结出一些基本的原则,包括认定集体中的个人的原则和认定集体的集体的原则,在这些原则的基础上建立了集体认定逻辑系统,在此逻辑系统中严格定义了不一致和合取原则,给出并证明了不一致现象产生和合取原则失效的条件。

Past events


2021 Jun 10, Lingyuan Ye (Tsinghua University): Uniformity, Contingency, and Self-reference in Arithmetic; Xiao Li (Tsinghua University): Towards a Semantic Concept of Aboutness

2021 May 20, Lian Zhou (Tsinghua University): Co-reference Without Referent

2021 May 13, Qingbian Ma (Peking University): Decision Making in the Emergency Room

2021 Apr 29, Qi Feng (Chinese Academy of Sciences): Cantor and Set Theory

2021 Apr 22, Jialong Zhang (Chinese Academy of Social Sciences): Bertrand Russell and Mathematical Logic

2020 Dec 25,  Duoyi Fei (China University of Political Science and Law): A Defense for the State of Internal Knowledge

2020 Dec 4,  Changsheng Lai (Shanghai Jiaotong University):  Epistemic Gradualism and the Gradability of Truth

2020 Dec 11, Kang Liu (Chinese Academy of Sciences):  From Vectors to Symbols.

2020 Nov 12,  Thomas Bolander and Lasse Dissing (Technical University of Denmark): Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic. Online

2020 Nov 6,  Zhisheng Huang (Vrije University of Amsterdam):  Application of Logic in Data Mining

2020 Jan 8, Fengkui Ju (Beijing Normal University): Towards a Logical Theory of Temporal Conditionals; Xinwen Liu (Chinese Academy of Social Sciences): Jin Yuelin’s Encounter with C.P. Peirce

2019 Nov 28, Shengyang Zhong (Peking University): On Quantum Logic

2019 Nov 14, Martin Stokhof (University of Amsterdam): Natural Language, Formal Language: a Complex Relationship

2019 Oct 23, Dazhu Li (UvA and Tsinghua) : Dynamic Epistemic Logic of Social Influence; Kaibo Xie (UvA and Tsinghua) : Formal Semantics for Counterfactuals

2019 Oct 10, Frank Veltman (University of Amsterdam): On Imperatives in Natural Language.