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 th
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