The Logical Structure of Correlated Information Change (2012-2017, ILLC, University of Amsterdam)
One of the central questions in this research project concerns the nature of the logic needed to discuss correlated information change. We seek to develop a uniform logical system that centers around correlated information change and can be used to explain and model various interactive scenarios. One of the aims of this research is to examine the correlations that arise in situations in which the very act of learning new information may directly change the reality that is being learnt. An example is the way in which an introspective agent changes her beliefs when learning new higher-order information, i.e. information that may refer to her own beliefs. A similar situation arises when a scientist learns about a phenomenon by performing measurements that perturb the very phenomenon under study (such as in the case of quantum measurements). More complex forms of correlated information change occur in groups of communicating agents when some agents' beliefs about the others' belief changes may trigger or influence their own belief change. In this interdisciplinary project, we will combine insights and techniques from a range of research domains, including logic, quantum mechanics, philosophy of science, belief revision theory, truth approximation and learning theory.
Summary of Project Description
In total two PhD students, three post-doctoral researchers, one Project Assistant and Dr. Sonja Smets, the principal investigator, have joined the LogiCIC project team between January 2012 and December 2016 .
The LogiCIC project (ERC-2011-STG No. 283963) is funded by the European Research Council and the European Community under FP7.