Category Archives : 2014-twc

[talk] Later Mohist Nominalism (Dan Robins)

Time: 2014 Dec. 19. Venue: Rm 324 XinZhai (新斋), Tsinghua University, Beijing. Speaker: Dan Robins (University of Hong Kong) Title: Later Mohist Nominalism Abstract: The idea that Later Mohist accounts of language are nominalists has been prominent in anglophone scholarship, starting with A.C. Graham and continuing especially with Chad Hansen. This paper takes up and mostly […]

[mini-workshop] Games and Proofs

Time: 2014 Nov. 10 Venue: Rm 335, XinZhai (新斋) Tsinghua University, Beijing. 14:30-15:30 Marmoru Kaneko (Waseda University) Game Theoretic Decidability and Undecidability 15:30-15:50 Break 15:50-16:30 Junhua Yu (Tsinghua University) On non-self-referential realizable fragments 16:30-16:50 Break 16:50-17:30 Johan van Benthem (University of Amsterdam, Stanford University) Proof patterns about Interaction

[workshop] Logic, Modernity, Modernism: Chinese and European Perspectives

Time: 2014 Oct. 11-12. Venue: Rm 104 XinZhai (新斋), Tsinghua University, Beijing. Conveners: Wang Lu, Department of Philosophy, Tsinghua University Martin Stokhof, ILLC/Department of Philosophy, University of Amsterdam Speakers (clike names for titles and abstracts): Chen Jiaming, Xiamen University Chen Yajun, Nanjing University Dimitris Gakis, University of Amsterdam Bob Hale, University of Sheffield Han Linhe, Peking University Gavin Kitching, […]

[workshop] The Logical Dynamics of Information, Agency and Interaction

Time: 2014 Oct. 2-3. Venue: Rm F1.15, ILLC, Science Park 107, Amsterdam. Background: The aim of this workshop is to bring together the researchers involved in the project “The Logical Dynamics of Information Exchange in Social Networks” (funded by the KNAW) , and to create a platform for joint collaboration. The main research problem we want to […]