A logical look at creationism