La seconda filosofia e il pragmatismo della logica e della matematica