Global Warming: A Formal Debate