Code is to logic what law is to ethics. It can't match it perfectly, nor should it try to. But then, once a situation arises where code goes against logic, and

Code is to logic what law is to ethics. It can't match it perfectly, nor should it try to. But then, once a situation arises where code goes against logic, and where law goes against ethics, we should be able to override the artifact in favor of the model. This is where most libertarian utopias advocating a purely contract-enforced society fail. That is in my opinion the reason why we shouldn't try to implement logic into a cryptographic blockchain. Blockchain already has a tremendous value as a safe event sourcing tool.