Philosophy as conceptual engineering : inductive logic in Rudolf Carnap's scientific philosophy