Category Archives : Events

[talk] Polish contributions to syllogistic from Łukasiewicz to present times (Piotr Kulicki)

Time: 2017 Dec. 07, 16:00-17:30 Venue: Xinzhai 105, Tsinghua Univ. Speaker: Piotr Kulicki (John Paul II Catholic University of Lublin) Title: Polish contributions to syllogistic from Łukasiewicz to present times Abstract: Syllogistic is a first logical system in western world created by Aristotle in the 4th century BC. It formalises valid reasoning modes concerning relations between extensions of notions, allowing […]

[workshop] From Computation to Agency

Time: 2017 Oct. 28-29. Venue: JiaSuo conference room 2 Description: Computing today is a complex process of information flow between communicating devices, entangled with humans. To advance our understanding of this complex reality, we need to bring together ideas from computer science and logic, and even from philosophy and the social sciences. This means connecting the study of computation with that […]

[talk] The Normativity of Logic (Gila Sher)

Time: 2017 Sep. 22, 14:20-15:55 Venue: 6B312, Classroom Build. 6, Tsinghua Univ. Speaker: Gila Sher (the University of California, San Diego) Title: The Normativity of Logic Abstract: The talk will explore four aspects of the normativity of logic: (1) Is Logic Normative? − Response to Critics. (2) What is the Source of the Normativity of Logic? (3) Why is the […]

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