The project will investigate various notions of dependence and independence (logical, causal, probabilistic) based on a logical system, IF logic, developed by J. Hintikka and G. Sandu and associates. IF logic formulates notions of informational dependence and independence, both deterministic and probabilistic ones. The main focus of the project is to relate this notions to more robust notions of dependence, causal and counterfactual dependence. The project has employed two postdocs, each for a period of three years, and one doctoral student (halph an year).
The project investigates such questions as: What it is for some magintude to depend counterfactually, causally or probabilistically on another one? In order to answer such questions, these notions will be expressed in a uniform logical framework.