Penn Arts & Sciences Logo

Logic and Computation Seminar

Wednesday, May 30, 2012 - 3:00pm

Jouko Vaananen

University of Helsinki and University of Amsterdam

Location

University of Pennsylvania

DRL 4N49

Please note the unusual time and room.

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.