Full Idea
The reduction of 2nd-order theories (of properties or sets) to axiomatic theories of truth may be conceived as a form of reductive nominalism, replacing existence assumptions (for comprehension axioms) by ontologically innocent truth assumptions.
Gist of Idea
We can use truth instead of ontologically loaded second-order comprehension assumptions about properties
Source
Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1)
Book Reference
'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.3
A Reaction
I like this very much, as weeding properties out of logic (without weeding them out of the world). So-called properties in logic are too abundant, so there is a misfit with their role in science.