CFP: Formal Epistemology Workshop (FEW) 2017

Call for Papers: Formal Epistemology Workshop (FEW) 2017 Conference date(s): May 26, 2017 – May 28, 2017 Conference Venue: Department of Philosophy, University of Washington, Seattle, United States workshop site: call for paper page:

[talk] Connecting Proof Theory and Semantics (Johan van Benthem)

Time: 2016 Oct. 28, 09:30-11:00 Venue: Rm 301 XinZhai (新斋), Tsinghua University, Beijing. Speaker: Johan van Benthem (Stanford University and University of Amsterdam) Title: Connecting Proof Theory and Semantics Abstract: Proof theory and semantics seem very different aspects of logic. But the two aspects meet in many productive ways, and I will explain two cases: semantic tableaux and substructural logic. Hand-out: [ click […]

[workshop] Logical methods in philosophy and linguistics: scope and limits

Time: 2016 Oct. 29. Venue: Rm 105, XinZhai (新斋), Tsinghua University General Program: 08:30-09:00 Coffee 09:00-09:10 Opening 09:10-10:10 Johan van Benthem: Logic and philosophy, an empirical chronicle of comings and goings 10:10-10:25 Coffee 10:25-11:25 Wang Lu: Being and Truth: two ways in the research of philosophy 11:25-11:40 Coffee 11:40-12:40 Ahti-Veikko Pietarinen: Peirce’s Philosophy of Logic 12:40-14:00 Lunch 14:00-15:00 Zhou Yuncheng: Towards a semantics of know-that […]

[workshop] Tsinghua Meets Bayreuth

Time: 2016 Aug. 08. Venue: Rm 353, XinZhai (新斋), Tsinghua University General Information: The logic group at the University of Bayreuth led by Prof. Olivier Roy will visit Tsinghua University. On this occasion we will organize one week’s events, including a kickoff workshop, and a series of working sessions. Our focus will be “information and social networks” […]