[Question] What are some concrete problems about logical counterfactuals?

Log­i­cal coun­ter­fac­tu­als are key to Func­tional De­ci­sion The­ory and last I heard still an un­solved prob­lem. Un­for­tu­nately, I am still rather con­fused about what ex­actly we are try­ing to solve. The only con­crete prob­lem I know of in this space is the 5-and-10 prob­lem. But as far as I know, this is solved by writ­ing pro­grams that im­me­di­ately cause a para­dox if they ever dis­cover their out­put. So pre­sum­ably there are some un­solved con­crete prob­lems that re­late to log­i­cal coun­ter­fac­tu­als?

Edit: I should men­tion my post on the Co­op­er­a­tion Game as an ex­am­ple. Plus the fur­ther work sec­tion of this slideshow.

No comments.