Preliminary Program

Time: October 14-16, 2013
Venue: Meeting Room 327 in the Main Building, Tsinghua University

October 14, 2013
8:30-9:00 Opening

Session 1   Logic and Computation (Chair: Johan van Benthem)
9:00-9:40 Samson Abramsky (Oxford University): Relational Databases and Bell’s Theorem
Commentator: Sonja Smets (University of Amsterdam)
9:40-10:20 Kaile Su (Griffith University & Peking University): Qualitative Extensive Games with Short sight
Commentator: Thomas Agotnes (University of Bergen)

10:20-10:40 Break

10:40-11:20 Ram Ramanujam (Institute of Mathematical Sciences): A Logical Structure for Strategies
Commentator: Yde Venema (Amsterdam University)
11:20-12:00 Iddo Tzameret (Tsinghua University): From Classical Proof Theory to P vs. NP
Commentator: Yanyan Xu (Beijing Forestry University)

12:00-1:30 Lunch

Session 2  Logic and Cognition (Chair: Lin Wang, Beijing University of Posts and Telecommunications)
1:30-2:10 Noah Goodman (Stanford University):  Probabilistic semantics and pragmatics: Uncertainty in language and thought
Commentator: Junhua Yu (City University of New York)
2:10-2:50 Cristina Bicchieri (University of Pennsylvania): The medium or the message? Communication relevance and richness in trust games
Commentators: Meiyun Guo (South West University), Jianying Cui (Sun Yat-sen University)

2:50-3:10 Break

Session 3  Logic and Mathematics (Chair: Dafa Li, Department of Mathematics, Tsinghua University)
3:10-3:50 Sergei Artemov (City University of New York): The Logic of Justification
Commentator: Hiroakira Ono (JIAST, Japan)
3:50-4:30 Feng Ye (Capital Normal University): Introduction to a Naturalistic Philosophy of Mathematics
Commentator: Difei Xu (Renmin University, Beijing)

4:30-4:50 Break

4:50-5:30 Panel Session “The Role of Logic Today”

5:30-6:30 Reception
7:30-9:30 Evening Lecture (Chaired by Andrew Yao, Dean of the Institute for Interdisciplinary Information Sciences )
Moshe Vardi (Rice University) : From Aristotle to The iPhone


October 15, 2013

Session 4  Logic and Social Sciences (Chair: Ram Ramanujam, Institute of Mathematical Sciences)
9:00-9:40 Christian List (London School of Economics): Where do Preferences Come From?
Commentator: Alexandru Baltag (University of Amsterdam)
9:40-10:20 Sonja Smets (University of Amsterdam): Logical Models of Informational Cascades
Commentator: Jiahong Guo (Beijing Normal University)

10:20-10:40 Break

10:40-11:20 Jeremy Seligman (University of Auckland): Knowledge, Friendship and Social Annoucements
Commentator: Katsuhiko Sano (JAIST, Japan)
11:20-12:00 Minghui Xiong (Sun Yat-sen University): Logics for Litigation Argumentation
Commentator: Davide Grossi (University of Liverpool)

12:00-1:30 Lunch

Session 5 Logic and Philosophy ( Chair: Yi Jiang, Beijing Normal University)
1:30-2:10 Hannes Leitgeb (Ludwig-Maximilians-Universität München):The Stability Theory of Belief
Commentator: Sonja Smets (University of Amsterdam)
2:10-2:50 Wesley Holliday (University of California, Berkeley): Epistemic Closure and Epistemic Logic I
Commentator: Jeremy Seligman (University of Auckland)

2:50-3:10 Break

3:10-3:50 Wei Wang (Tsinghua University): Is There Such a Thing as a Ceteris Paribus Law?
Commentator: Liying Zhang (Central University of Finance and Economics)

4:30-4:50 Break

4:50-5:30 Demonstrations: by Vincent Hendricks, Kaile Su, and Moshe Vardi

7:30-9:30 Evening Lecture (Chaired by Junren Wan, Dean of the School of Humanities)
Vincent Hendricks (Copenhagen University): Logic, Philosophy and Society


October 16, 2013
Session 6  Logic and Language (Chair: Martin Stokhof, University of Amsterdam)
9:00-9:40 Chongli Zou (Chinese Academy of Social Sciences): Hybrid Categorical Type Logics and Formal Treatment of Chinese
Commentator: Dongping Gao (Chinese Academy of Medical Sciences)
9:40-10:20 Dag Westerstahl (Stockholm University): Classical vs. Modern Squares of Opposition, and Beyond
Commentator: Fengkui Ju (Beijing Normal University)

10:20-10:40 Break

10:40-11:20 Huang Huaxin (Zhejiang University):An Ontology-Based Approach to Metaphor Cognitive Computation
Commentator: Paulo Turini (Imperial College, London)
11:20-12:00 Gerhard Jäger (University of Tübingen):Game Theory in Semantics and Pragmatics
Commentator: Cihua Xu (Zhejiang University)
12:00-12:40 Beihai Zhou (Peking University): Vague Classes and a Resolution of the Paradox of the Bald Man
Commentator: Wenfang Wang (Yangming University, Taiwan)

12:40-1:00 Closing Session

1:00-2:00 Lunch
7:00-9:30 Conference dinner

Other related events:
October 18   Workshop Tsinghua Meets the ILLC (UvA)
October 19   “A Door to Logic”, Meeting on Logic, Language and Translation