The 15th Asian Logic Conference 2017

Dates: July 10-14, 2017 Venue: National Institute for Mathematical Sciences, South Korea. Official site:

CFP: The 6th International Conference on Logic, Rationality and Interaction (LORI-VI)

Call for Papers: The Sixth International Conference on Logic, Rationality and Interaction (LORI-VI) Submission deadline: March 31, 2017 Conference date(s): September 11-14, 2017 Conference Venue: Hokkaido University, Sapporo, Japan workshop site: The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the […]

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