Operationalizing FDT
This post operationalizes Functional Decision Theory (FDT) using logical causal graphs, defining the logical do-operator and exploring its options. It uses Parfit's hitchhiker to illustrate why specific do-operator definitions enable FDT agents to pay. The analysis compares FDT to CDT and EDT, emphasizing logical counterfactuals and un-updating.






