The dynamics of information is one of the central topics in philosophical logic. In this course we will be concerned with two formal perspectives on the dynamics of informational states: various theories of belief revision on the one hand and formal learning theory on the other. We will see that the two paradigms are interested in similar and interrelated questions, but the communication between them is sometimes difficult. Learning theory is concerned with the global process of convergence to truth, often in the context of computability. Belief-revision theories usually focus on single steps of revision and constructive manners of obtaining new states. The goal of the course is to discuss the methodology and the benefits of the meet between the theories. Click the numbers above for more information about the lectures.
The course will take place at The 25th European Summer School of Logic, Language, and Information, at Heinrich Heine University in Düsseldorf, Germany (building 25.22, room 5E). The classes take place everyday from August 12 till August 16, 2013, 2.00-3.30 PM.
This is a short monographic course and as such it will advantage students who are familiar with the vocabulary of logic and epistemology. Some acquaintance with basic computability theory and basic modal logic will also be expected of the audience. However, note that:
- the course is planned to be self-contained and self-explanatory;
- reading the suggested bibliography prior to the course is not expected of the participants;
- questions and discussion are welcome during the lectures, and as comments to posts on this website.
Summing up, everyone’s welcome!
Nina Gierasimczuk is a post-doc researcher within the LogiCIC project at the Institute for Logic, Language and Computation (ILLC), University of Amsterdam. In her work she explores connections between formal learning theory, belief revision, and dynamic epistemic logic. For more information check out her website, you can also send an e-mail.