One way I may begin to write a similar concept formally may be something like:
An agent’s probability on a topic is “P(V|C)”, where V is some proposition and O represents all conditionals.
There are cases where one of these conditionals will include a statement such as “P(V|C) = f(n)”; whereby one must condition on the output of their total estimate. If this “recursive” conditional influences P(V|C), then the probabilistic assessment is not “state-like separated.”
One way I may begin to write a similar concept formally may be something like:
An agent’s probability on a topic is “P(V|C)”, where V is some proposition and O represents all conditionals.
There are cases where one of these conditionals will include a statement such as “P(V|C) = f(n)”; whereby one must condition on the output of their total estimate. If this “recursive” conditional influences P(V|C), then the probabilistic assessment is not “state-like separated.”