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
2026 Mar 19 16:00-17:30 Hugh Woodin (Harvard University) Can AI discover truth which is beyond proof?
We examine the question through the lens of modern and future Set Theory.
2026 Feb 26 16:00-17:30 Hanti Lin (University of California, Davis) Some Foundational Problems in Inductive Logic
Much work has been done to develop one system of inductive logic or another, but there has been much less discussion of what inductive logic should be—or should not be—at a high level of generality. Accordingly, this talk formulates, sharpens, and addresses some foundational problems in inductive logic, while being careful about how those problems are interrelated. The problems I have in mind include the following: (1) Should inductive logic be formal (like deductive logic) or material? (2) Should inductive logic concern a binary relation between sets of premises and conclusions (like deductive logic) or a ternary relation? (3) How should inductive logic be related to other branches of logic, such as deductive logic and nonmonotonic logic? (4) Should inductive logic incorporate probability theory and, if so, how—for example, in a Bayesian or Peircean way?
■Past Events
Click HERE to check the past events from 2019-2024.
Click HERE to check the past events from 2024-.
