This project is an attempt of illustrating Lewis's counterfactual truth conditions by way of a semantic game. A web-based demo is hosted under https://brunololos.github.io/counterfactuals-demo/.
- TODO: I think Lewis' System of spheres does not mandate, that all circumcentric sets of spheres/accessibility relationships between worlds can be mapped losslessly to a euclidean space (where transitivity holds?), which is done in the game as a simplification.
- The levels only contain true formulas, so that the player always has a way to win the game. It would be possible to have false formulas by starting the player in an inactive position in some levels, but could also be achieved by simply negating the formula. So to make things easier & start the game on a branching point with player agency, the player always starts in the active position.