A logically justified model of computation I