Logic and the Bible