This philosopher claimed that setting theory in the syntax of first-order logic greatly simplifies it into a "regimented" theory. He is the alphabetically-second namesake of an argument that states that mathematical entities must be real because of their role in science, an 
This philosopher claimed that setting theory in the syntax of first-order logic greatly simplifies it into a "regimented" theory. He is the alphabetically-second namesake of an argument that states that mathematical entities must be real because of their role in science, an (*) "indispensability argument" named for Hilary Putnam and him. Two classes of statements exemplified by "unmarried man" and "bachelor" were distinguished by - for 10 points - which philosopher, who attacked the analytic/synthetic distinction in Two Dogmas of Empiricism?
This philosopher claimed that setting theory in the syntax of first-order logic greatly simplifies it into a "regimented" theory.
Willard Van Orman Quine