Is atheism logical