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 […]
Time: 2020 April 10-12 Venue: Tsinghua Univ. For more information, see the conference website. Description: Monotonicity, in various forms, is a pervasive phenomenon in logic, linguistics, and related areas. In theoretical linguistics, monotonicity properties (and lattice-theoretic notions such as additivity), as semantic properties of intra-sentential environments, determine the syntactic distribution of a class of terms robustly attested across languages called Negative […]
Time: 2019 May 17.Venue: Tsinghua Univ. 《中国逻辑思想史手册》研讨会 主题：中国古代典籍中的逻辑有其丰富的内涵和广阔的向度，深入的研究、阐释、讨论势所必然，让古代逻辑和现代逻辑相互印证对照，旧瓶新酒， 为今人的思维表达方法提供借鉴，方便认知和应用是当代逻辑学家的使命之一。 参会专家： This is the Poster.
Speaker: Hanti Lin (UC Davis) Abstract: Learning theory is a framework for evaluations of inductive methods, belief revision procedures, and learning algorithms. It has a distinctive emphasis on pursuit of truth and convergence to the desired learning target. This tutorial will present learning theory in a way that seems to have seldom, if ever, been attempted. […]