QUINE (Willard van Norman)
Né en 1908, professeur à l'université d'Harvard depuis 1936. Parmi les treize ouvrages publiés, deux ont été traduits (Logique élémentaire, 1941, trad. franç. 1972 et Méthodes de logique, 1950, trad. franç. 1972), mais des titres aussi célèbres que Mathematical Logic (1940), From a Logical Point of View, 1953, Word and Object, 1960,
ou Philosophy of Logic, 1970, demeurent -inaccessibles en français.
On peut considérer Quine comme un logicien, mais on ne lui doit aucun théorème original ; son apport essentiel réside dans une certaine présentation de la logique et une mise en lumière des problèmes ontologiques, concerne la philosophie de la logique. Quine évite de supposer que les symboles désignent des entités (le vrai, le faux, des propositions, etc.) ; les lettres comme « p « et « q « qu'utilise par exemple le calcul des propositions ne sont pas à considérer comme des variables, mais comme tenant simplement lieu de propositions, et leurs compositions à l'aide des connecteurs sont de simples schémas. La vérité logique se définit pour un schéma par le fait que la substitution de propositions aux lettres qui en tiennent lieu, ne donne que des instances valides, et pour une proposition par le fait d'être instance d'un schéma valide. Seules les lettres sous quantificateurs ont un import ontologique (« être c'est être la valeur d'une variable liée «), et on peut se passer de quantifier les prédicats. Le « nominalisme « de Quine ne fait pas de la vérité une question seulement linguistique, parce qu'il n'existe aucun moyen précis de diviser nos connaissances selon qu'elles dépendraient du langage ou du monde.
