George Boolos argued that second-order logic is itself ontologically committal, smuggling set-theore...