Philosophie de la logique

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 mais seulement du langage. Philosophie
de la logique est commandé par cette double perspective : d'un côté,
il s'agit de proposer une reconstruction de la logique classique qui
soit en harmonie avec le rôle d'arbitre accordé au «point de vue
logique», et d'un autre, Quine doit préciser le statut qu'il accorde
à cette partie de la science, pour expliquer en quel sens les vérités
logiques, tout en étant des vérités «comme les autres» s'imposent
à nous par leur évidence. C'est ainsi qu'on retrouve dans ce livre
les grands thèmes de la philosophie quinienne, qu'il s'agisse du rejet
des concepts intensionnels ou de l'utilisation philosophique de
la situation de traduction.