题目：Dependence and Independence—A Logical Approach

主讲：Jouko Vaananen教授

地点：北师大教二楼107教室

时间：6月17日15:00-17:00

摘要：I will give an overview of dependence logic, the goal of which is to establish a basic logical theory of dependence and independence underlying seemingly unrelated subjects such as causality, bound variables in logic, random variables, database theory, the theory of social choice, Mendelian genetics, and even parts of quantum physics. There is an abundance of new results in this field demonstrating a remarkable convergence. The concepts of (in)dependence in the different fields of humanities and sciences have surprisingly much in common and a common logic is starting to emerge.