La logique, pour Quine comme pour les membres du Cercle de Vienne dont il a repris et critiqué l'héritage, est un outil qui permet d'éclairer les débats philosophiques ; elle est le langage de la science, le langage dans lequel la science peut être exprimée avec la clarté maximale et dans lequel les discussions concernant l'existence de tel ou tel type d'objet ou la meilleure explication de tel ou tel concept peuvent être tranchées. Mais, à la différence des philosophes du Cercle de Vienne, et en particulier de son maître Rudolf Carnap, Quine n'attribue pas pour autant à la logique un statut épistémologique d'exception. La logique est une partie du grand tout de la science, et, à ce titre, elle est sur un pied d'égalité avec les mathématiques, la physique et les autres sciences. C'est là la conséquence de la critique par Quine du mythe de l'analyticité, selon lequel il y aurait des vérités - celles de la logique et, par réduction, des mathématiques - qui ne dépendraient pas du monde ma