willard van orman quine