Logic and God