Do you build counterfactuals the Judea Pearl way, or some other way (for example the Gary Drescher way of chap. 5 “Good and Real”)? Or do you think our current formalisms do not “transfer” to handling logical uncertainty (i.e. are not good analogues of a theory of logical uncertainty)?
I don’t have a clear enough idea of the way I myself think about counterfactuals to compare. Pearl’s counterfactuals are philosophically unenlightening, they stop at explicit definitions, and I still haven’t systematically read Drescher’s book, only select passages.
The idea I use is that any counterfactual/event is a logically defined set (of possible worlds), equipped with necessary structures that allow reasoning about it or its subevents. The definition implies certain properties, such as its expected utility, the outcome, in a logically non-transparent way, and we can use these definitions to reason about dependence of outcome (expected utility, probability, etc.) on action-definition, query-replies, etc., through ambient control.
Do you build counterfactuals the Judea Pearl way, or some other way (for example the Gary Drescher way of chap. 5 “Good and Real”)? Or do you think our current formalisms do not “transfer” to handling logical uncertainty (i.e. are not good analogues of a theory of logical uncertainty)?
I don’t have a clear enough idea of the way I myself think about counterfactuals to compare. Pearl’s counterfactuals are philosophically unenlightening, they stop at explicit definitions, and I still haven’t systematically read Drescher’s book, only select passages.
The idea I use is that any counterfactual/event is a logically defined set (of possible worlds), equipped with necessary structures that allow reasoning about it or its subevents. The definition implies certain properties, such as its expected utility, the outcome, in a logically non-transparent way, and we can use these definitions to reason about dependence of outcome (expected utility, probability, etc.) on action-definition, query-replies, etc., through ambient control.