YOU'RE EXCOMMUNICATED: Giving his name to a "razor" in logic, he was an Oxford prof. who stated church beliefs could not be proven logically