The Hole in Logic