Thanks, Alex. Any connections between this and CTMU? (I’m in part trying to evaluate CTMU by looking at whether it has useful implications for an area that I’m relatively familiar with.)
BTW, @jessicata, do you still endorse this post, and what other posts should I read to get up to date on your current thinking about decision theory?
A critical agential account… (general framework, somewhat underspecified or problematic in places but leads to more specific things like the linear logic post; has similarities to constructor theory)
Thanks, Alex. Any connections between this and CTMU? (I’m in part trying to evaluate CTMU by looking at whether it has useful implications for an area that I’m relatively familiar with.)
No direct connections that I’m aware of (besides non-classical logics being generally helpful for understanding the sorts of claims the CTMU makes).
Re: point 7, I found Jessica Taylor’s take on counterfactuals in terms of linear logic pretty compelling.
Thanks, Alex. Any connections between this and CTMU? (I’m in part trying to evaluate CTMU by looking at whether it has useful implications for an area that I’m relatively familiar with.)
BTW, @jessicata, do you still endorse this post, and what other posts should I read to get up to date on your current thinking about decision theory?
Yes I still endorse the post. Some other posts:
Two alternatives to logical counterfactuals (note: I think policy dependent source code works less well than I thought it did at the time of writing)
A critical agential account… (general framework, somewhat underspecified or problematic in places but leads to more specific things like the linear logic post; has similarities to constructor theory)
No direct connections that I’m aware of (besides non-classical logics being generally helpful for understanding the sorts of claims the CTMU makes).