Time: 2024/03/05 15:10-18:00

Location: Room 313, Teaching Building No.2 (第二教学楼), Peking University

Speaker 1: Bo Hong

Title: 先秦类名与类名之实

Abstract: 先秦的名辩之学考察名与实，与同期希腊形而上学有类似的问题，其核心是类名与类名之实。通过考察类名在先秦文献中的用法，邢滔滔老师总结了其两种意义：类与指，并分析它们与西方的外延类（class）以及任意对象的联系和区别，由此探讨名家“奇辞怪说”背后的逻辑。

Speaker 2: Yunsong Wang

Title: 0-1 Law for Modal Logic

Abstract: In 1960s, it has been shown that each formula of first-order logic without constants and functions symbols obeys the 0-1 law, this result leads to a lot of applications in finite model theory of first-order logic. For modal logic, the exploration of 0-1 law is more difficult and tortuous. When discussing the Kripke model case, the 0-1 law follows immediately from 0-1 law in first-order logic. However, for the case of Kripke frame, the 0-1 law cannot be claimed as a consequence of first-order case, and In fact, it fails with very non-trivial counterexample. In this talk, I will first show some basic results about zero-one law and then introduce some interesting questions and my exploration of zero-one law for modal logic.