I already know it’s got a couple of flaws (the “Problems I Can’t Solve” post, you solved one of them). The “Ingredients” page should let someone get as far as I got, no further, if they had all the standard published background knowledge that I had.
The theory has two main formal parts that I know how to formalize. One is the “decision diagonal”, and I wrote that out as an equation. It contains a black box, but I haven’t finished formalizing that black box either! The other main part that needs formalizing is the causal network. Judea Pearl wrote all this up in great detail; why should I write it again? There’s an amendment of the causal network to include logical uncertainty. I can describe this in the same intuitive way that CDT theorists took for granted when they were having their counterfactual distributions fall out of the sky as manna from heaven, but I don’t know how to give it a Pearl-grade formalization.
Hear me well! If I wanted to look impressive, I could certainly attach Greek symbols to key concepts—just like the classical causal decision theory theorists did in order to make CDT look much more formalized than it actually was. This is status-seeking and self-deception and it got in the way of their noticing what work they had left to do. It was a mistake for them to pretend to formality that way. It is part of the explanation for how they bogged down. I don’t intend to make the same mistake.
I already know it’s got a couple of flaws (the “Problems I Can’t Solve” post, you solved one of them). The “Ingredients” page should let someone get as far as I got, no further, if they had all the standard published background knowledge that I had.
The theory has two main formal parts that I know how to formalize. One is the “decision diagonal”, and I wrote that out as an equation. It contains a black box, but I haven’t finished formalizing that black box either! The other main part that needs formalizing is the causal network. Judea Pearl wrote all this up in great detail; why should I write it again? There’s an amendment of the causal network to include logical uncertainty. I can describe this in the same intuitive way that CDT theorists took for granted when they were having their counterfactual distributions fall out of the sky as manna from heaven, but I don’t know how to give it a Pearl-grade formalization.
Hear me well! If I wanted to look impressive, I could certainly attach Greek symbols to key concepts—just like the classical causal decision theory theorists did in order to make CDT look much more formalized than it actually was. This is status-seeking and self-deception and it got in the way of their noticing what work they had left to do. It was a mistake for them to pretend to formality that way. It is part of the explanation for how they bogged down. I don’t intend to make the same mistake.