Task: Text Categorization
Input (English): He created the NF system of set theory and, with Hilary Putnam, made an indispensability argument for the reality of mathematical entities. He advocated looking to the limits of a formal language in order to determine the ontological commitments of any statement in that language in his The Ways of Paradox and Ontological Relativity, and he identified logical reductionism and the analytic/synthetic distinction as the titular fallacies of another work. For 10 points, name this American analytic philosopher, the author of Word and Object and Two Dogmas of Empiricism.
Output (English): Social Science