Before revision: Willard Van Orman Quine insisted on classical, first-order logicas the true logic, saying higher-order logic was "set theory in disguise"
After revision: Willard Van Orman Quine believed that a formal system that allows quantification over predicates (higher-order logic) didn't meet the requirements to be a logic, saying that it. was "set theory in disguise"