Time: 2019 Nov 1, 13:30-16:00Venue: 蒙民伟科技大楼南楼S527, Tsinghua Univ. Speaker:  Dr Yang Liu (University of Cambridge) Abstract:  In this talk I will discuss some surprises and puzzles in epistemic models. First, I will show a generalisation of Aumann’s surprising impossibility result in the context of rational decision making. I will then move, in the second part, to […]

Time: 2019 Oct 25, 13:30-16:00 Venue: 新斋324, Tsinghua Univ. Speaker:  Kevin Kelly (Carnegie Mellon University) Abstract: Inductive knowledge is knowledge that goes beyond the information available. Inductive skeptics think there isn’t any such thing. Maybe they are right—standard modal theories of knowledge (tracking, safety) are too strict to allow for even banal inductive inferences. But maybe they are […]

Time: 2019 Oct 16, 16:30-18:00 Venue: 新斋105, Tsinghua Univ. Speaker:  Declan Thompson (Stanford University) Abstract: The comparative expressive power between two logics is generally measured with respect to the existence of a translation from one to the other. A common technique for showing two logics to have different strengths is by demonstration a pair of models […]

Time: 2019 September 27, 13:30-16:00 Venue: 蒙民伟科技大楼南楼S527, Tsinghua Univ. Speaker:  Johan van Benthem (Stanford University) Abstract: Dependence is a notion that pervades both ordinary and scientific discourse. We present a decidable base logic of functional dependence whose semantics uses generalized assignment models for first-order logic. This seminar is a survey and crash course in the topic. We determine the structural […]