What are some concrete problems about logical counterfactuals?post by Chris_Leong · 2018-12-16T10:20:26.618Z · score: 26 (6 votes) · LW · GW · 1 comment
This is a question post.
Logical counterfactuals are key to Functional Decision Theory and last I heard still an unsolved problem. Unfortunately, I am still rather confused about what exactly we are trying to solve. The only concrete problem I know of in this space is the 5-and-10 problem. But as far as I know, this is solved by writing programs that immediately cause a paradox if they ever discover their output. So presumably there are some unsolved concrete problems that relate to logical counterfactuals?
Comments sorted by top scores.