Logic in the Christian Context