Quine and Goodman's nominalist program shows predicate application can be explained purely through s...