RE is a method of justification to which many philosophers appeal. In this project, we want to explore the method with formal tools. Our main question is what the method can achieve.
The basic idea of RE is the mutual adjustment of commitments and theory to each other: An agent starts with what she is committed to accept about a certain topic. Theories are supposed to systematize her commitments. The agent goes back and forth between the commitments and theory, and tries to adjust them to each other until an equilibration state is reached.
Since RE was so far underspecified, we have recently developed a more precise account and a formal model of RE. It uses some minimal logic and can be solved using computer simulations.
In this project, we use our model to assess expectations invested in, and objections raised against, RE.