Haugeland, John, 1945-2010