"The language of algebra is symmetric". This is the key phrase where he gets it wrong, in my opinion. He talks about algebra when he should be talking about for

"The language of algebra is symmetric". This is the key phrase where he gets it wrong, in my opinion. He talks about algebra when he should be talking about formal logic, which absolutely has the power to describe causal relationships, just as you said.