The goal in dependence logic is to establish a basic theory of dependence and independence underlying seemingly unrelated subjects such as causality, random variables, bound variables in logic, database theory, the Theory of Social Choice, and Quantum Mechanics. The concepts of (in)dependence in the different fields of science and humanities have surprisingly much in common and a common logic is starting to emerge. I will give an overview of the present state of this area of research.
Logic and Computation Seminar
Wednesday, May 30, 2012 - 3:00pm
Jouko Vaananen
University of Helsinki and University of Amsterdam