JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic

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 1.5 hours in total, with 30 minutes of discussion included.

Organizing Committee:

Junhua Yu, Chenwei Shi, Wei Wang, Han Xiao, Haoxuan Luo. (From June 2025 to Now)

Junhua Yu, Chenwei Shi, Wei Wang, Jialiang Yan, Penghao Du. (From September 2023 to June 2025)

■ Current Events

2025 Nov 20 16:00-17:30 Liangda Fang (Jinan University) Strategy Synthesis of LIA-Definable Terminating Impartial Combinatorial Games

In game theory, an elementary and fundamental class of games is impartial combinatorial games (ICGs). The majority of classical and interesting ICGs are LIA-definable and terminating. One of the challenging and long-standing problems of ICGs is to compute winning strategies for possibly infinite number of winning states. To this end, we first propose a logical framework to formalize ICGs based on the linear integer arithmetic fragment of numeric part of PDDL. We then propose two approaches to generating the winning formula that exactly captures the states in which the player can force to win. Furthermore, we compute winning strategies for ICGs based on the winning formula. Experimental results on several games demonstrate the effectiveness of our approach.

2025 Oct 23 16:00-17:30 Igal Kvart (Hebrew University of Jerusalem) The new Pragmatics: Assertions are Pragmatic

In this paper I apply the new Pragmatics to Assertions. Contrary to the prevalent perspective of viewing assertions, viz., epistemic, I argue that assertions are Pragmatic and moreover, are constitutively Pragmatic (in the type of Pragmatics to which our specific Pragmatics belongs). This perspective will cast a new light on whether there is a constitutive Epistemic Norm of Assertion (Williamson). We’ll explore various new features of assertions, viewed from this perspective.

2025 Oct 14 19:00-21:00 Igal Kvart (Hebrew University of Jerusalem) A new Pragmatics, by-passing Grice and Stalnaker

In this paper I present a new approach to Pragmatics and a new Pragmatic Theory, in a new Conceptual Framework. The main concepts are:
1. Steering-Thrusts – any Verbal Act comes with a certain degree of ‘steering’ the hearer/audience towards adopting a certain content (not just propositional).
2. Pragmatic Stances: Types of cognitive states hearers are steered towards; e.g.: Epistemic/informational Pragmatic Stance, attitudinal, attentive, Action-Directed, emotive, etc.
3. A new set of Norms – comprising Conversational Etiquette, with various new types of norms (beyond Sincerity, and not Gricean Maxims of Rationality).
4. A cognitive state of Posting — having a certain Pragmatic Stance, which is NORM-CONFERRED by Conversational Etiquette, usually via Steering, by a verbal act that makes it PUBLIC.
Applications: Assertions inherently invoke certain HIGHER degrees of Steering-Thrust, NOT some epistemic position.
So-called Presuppositions turn out to be mental acts of Posting-Without-Steering.
(Epistemic) Pragmatic Encroachment DOESN’T EXIST – the underpinning phenomena are Verbal Acts conveying 2 distinct Steering-Thrusts, where the Action-Directed Steering-Thrust DOMINATES and OVERWHELMS the epistemic Steering Thrust. The phenomenon is essentially PRAGMATIC, not (as traditionally conceived) semantic. And various more.

2025 Sep 18 14:00-15:30 Hiroakira Ono (Japan Advanced Institute of Science and Technology) Extensions of bi-intuitionistic logic —— a review

Bi-intuitionistic logic  is intuitionistic logic with co-implication , which is a logical connective dual to usual implication. Roughly speaking, while

must hold between conjunction and implication,

must hold between disjunction and co-implication. In classical logic, as  means , nothing interesting will occur by introducing co-implication. The main aim of my talk is to examine how intuitionistic world will be affected by the introduction of co-implication, by checking basic logical properties of extensions of BiInt in comparison with those of extensions of intuitionistic logic.

First, we will discuss the subject from syntactical aspects, that include (cut-free) sequent formulation, (local) deduction theorems, and also negative translation. Next we will focus our attention on the symmetry features peculiar to extensions of BiInt. It is pointed out that an interesting duality exists between a given logic and its mirror image, which can preserves some interesting logical properties. Also, algebraic approaches based on bi-Heyting algebras will be discussed.

■Past Events

Click HERE to check the past events.