Willard Van Orman Quine (Akron, 25 de junho de 1908 — Boston, 25 de dezembro de 2000), usualmente citado como Quine, mas conhecido por seus amigos e familiares como Van, foi um dos mais influentes matemáticos, filósofos e lógicos norte-americanos do século XX, considerado o maior lógico e filósofo analítico da segunda metade desse século.
Quine pertenceu à tradição da filosofia analítica ao mesmo tempo que foi um dos principais proponentes da visão que a filosofia não é análise conceitual. Quine lecionou filosofia e matemática durante toda a vida na Universidade Harvard, onde foi titular da Cadeira de Filosofia Edgar Pierce de 1956 a 1978. Entre seus principais escritos encontram-se "Dois dogmas do empirismo", o qual ataca a distinção entre juízos analíticos e sintéticos e defende um holismo epistêmico, quiçá semântico, e Word and Object, o qual aprofundou tais posições e introduziu a famosa tese da indeterminação da tradução.
Quine mostrou que a distinção entre juízos sintéticos e juízos analíticos não estava apoiada em nada firme, era um dogma que era aceito sem nenhuma justificação, apenas pela necessidade dos empiristas de isolar a convenção dos juízos testáveis. Sem este dogma, este princípio do atomismo na verificação também não se sustenta e portanto é aceito apenas como um outro artigo de fé, um segundo dogma.
Quine então conclama os empiristas a se livrarem dos dois dogmas e, sem distinção entre juízos sintéticos e juízos analíticos e aderindo a um holismo quanto à verificação, a endossarem um empirismo sem dogmas.
Quine nasceu em 25 de junho de 1908 nos Estados Unidos, educado no Oberlain Colege, tendo obtido o título de doutor em Harvard, sob orientação de Alfred North Whitehead. Inicialmente tendo a lógica como seu principal campo de interesse e objetivando e aperfeiçoar em tal campo visitou Viena, Praga e estudou Lógica com Rudolf Carnap. Em 1936 tornou-se professor em Harvard. Morreu a 25 de dezembro de 2000, em seu país natal.
1932. A Note on Nicod's Postulate in Mind (July 1932), 41(163): 345-350
1933. A Theorem in the Calculus of Classes in Journal of the London Mathematical Society (April 1933), 8(30):89-95
1933. The Logic of Sequences in (Summaries of Theses, Harvard (1932), 335 - 338
1934. Ontological Remarks on the Propositional Calculus in Mind (October 1934), 43(172): 472-476 [reprinted in W. V. Quine's Ways of Paradox]
1934.+ Report on Whitehead's Logical Definitions of Extension, Class, and Number in American Mathematics Monthly 41: 129 - 131
1934. A Method of Generating Part of Arithmetic without Use of Intuitive Logic in Bulletin of the American Mathematical Monthly (October 1934), 40(10): 753-761 [reprinted in W. V. Quine's Selected Logic Papers]
1935.+ A unified calculus of propositions, classes, and relations (abstract) in Bulletin American Mathematical Society 41: 338
1936. Concepts of Negative Degree. in Proceedings of the National Academy of Sciences of the United States of America (January 15, 1936), 22(1): 40-45
1936. A Theory of Classes Presupposing No Canons of Type. in Proceedings of the National Academy of Sciences of the United States of America (May 15, 1936), 22(5): 320-326
1936. A Reinterpretation of Schönfinkel's Logical Operators. in Bulletin of the American Mathematical Society (February 1936), 42: 87-89
1936. Definition of Substitution. in Bulletin of the American Mathematical Society (August 1936), 42: 561-569 [reprinted in W. V. Quine's Selected Logic Papers]
1936. On the Axiom of Reducibility. in Mind (October 1936), 45(180): 498-500
1936. Toward a Calculus of Concepts. in Journal of Symbolic Logic (March 1936), 1(1): 2-25