Call for Papers: Second Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning: Monotonicity in Logic and Language

Time: 2020 April 10-12 Venue: Tsinghua Univ. 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 Polarity Items (NPIs, Ladusaw 1979), such as English any in (1), […]

[Workshop] 《中国逻辑思想史手册》研讨会 (May 17, 2019)

Time: 2019 May 17.Venue: Tsinghua Univ. 《中国逻辑思想史手册》研讨会 主题:中国古代典籍中的逻辑有其丰富的内涵和广阔的向度,深入的研究、阐释、讨论势所必然,让古代逻辑和现代逻辑相互印证对照,旧瓶新酒, 为今人的思维表达方法提供借鉴,方便认知和应用是当代逻辑学家的使命之一。 参会专家: This is the Poster.

[tutorial] Tutorial on Learning Theory (Hanti Lin 林翰迪)

  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. […]

Call for Papers and Panels ‘The Making of the Humanities VIII’

‘The Making of the Humanities’ conference series goes to South Africa! The University of Cape Town will host the 8th conference in the series, from 21 till 23 November 2019, at the facilities of the Faculties of Economics and Law (Middle Campus).              University of Cape Town Goal of the […]

[talk] Group Knowledge in Dynamic Epistemic Logic (Yi Wang)

Time: 2019 March. 22, 13:30-16:00 Venue: Xinzhai 324, Tsinghua Univ. Speaker: Yi Wang (Zhejiang University) Title: Group Knowledge in Dynamic Epistemic Logic Abstract: We will study concepts of group knowledge (in particular, common and distributed knowledge) in the settings of dynamic epistemic logic. Our main focus are the motivations, definitions, methods and results of formal characterizations of these concepts. Key References:  While […]