Logicism Renewed door Paul C. Gilmore