Knowledge of one's free will and wanting more or fewer choices

This section is less worked out than basic SDFW and not axiomatized. That's why it was best to start simple.

Here are some examples of it being good to have more choices.

``I'll take my car to work today rather than bicycling so I can shop on the way home if I want to.''

``If you learn mathematics, you will more choice of scientific occupations''.

``The more money I have, the more models of car I can choose from.''

``If I escape from Cuba, I will have more choice of what to read, what I can say or write, and where to travel.''

We want to say that situation $s1$ is at least as free as situation $s2$, written $s1 \geq_{freedom} s2$, if every fluent achievable by a single action from $s2$ is achievable from $s1$. Just as with equation (1), we can say that $person$ chooses an action that leads to more freedom at the next situation.

$$\begin{array}[l]{l} s1 \geq_{freedom} s2 \\ \equiv \\ ... ...xists a)(Holds(f, Result(Does($person$,a),s1)))). \end{array}$$ (8)

Here $f$ ranges over fluents. Having more choices is usually preferred. However, one sometimes wants fewer choices. Burning one's bridges, nailing the flag to the mast, and promising to love until death do us part are examples of actions that reduce choices. The conditions under which this occurs are too difficult for me to formalize at present. They can involve fearing that one's preferences in the future might be different from one's present preferences for future actions or that making a commitment about one's future actions confers a present benefit.