Thèse soutenue

Logique et paroissial : sur un problème fondamental de la conception de la logique de W. V. Quine

FR  |  
EN
Auteur / Autrice : Henri Wagner
Direction : Emmanuel Bermon
Type : Thèse de doctorat
Discipline(s) : Philosophie
Date : Soutenance le 12/12/2016
Etablissement(s) : Bordeaux 3
Ecole(s) doctorale(s) : École doctorale Montaigne-Humanités (Pessac, Gironde ; 2007-....)
Partenaire(s) de recherche : Laboratoire : Sciences, Philosophie, Humanités (Bordeaux)
Jury : Président / Présidente : Sandra Laugier
Examinateurs / Examinatrices : Emmanuel Bermon, Sébastien Gandon, Juliet Floyd, Jean-Philippe Narboux
Rapporteurs / Rapporteuses : Sandra Laugier, Sébastien Gandon

Résumé

FR  |  
EN

Cette étude constitue une interprétation de la philosophie de la logique de W. V. Quine à l’aune de ce que nous considérons comme étant un problème fondamental qui la gouverne et dont on peut considérer qu’elle en constitue une réponse. Ce problème a trait à la compatibilité entre logique et paroissial. Il admet la formulation condensée suivante : soit il y a un sens à dire que la logique est paroissiale, mais alors le paroissial se trouve être une restriction et est en droit éliminable ; soit le paroissial n’est pas une restriction et est inéliminable, mais alors il n’y a aucun sens à dire que la logique est paroissiale. Le problème se nourrit de ce que la qualification de la logique comme paroissiale fait l’objet d’une revendication explicite et délibérée par Quine, i.e. n’est ni de l’ordre d’une concession, ni de l’ordre d’un moment argumentatif dialectiquement résorbable. En d’autres termes, Quine revendique et cherche à se donner les moyens de revendiquer ce contre quoi une conception « universaliste » de la logique comme celle de Frege lutte, ordonnée qu’elle est à un présupposé ou une prémisse anti-paroissialiste d’unicité de la logique. Affirmer que Quine cherche à se donner les moyens de revendiquer la paroissialité de la logique, c’est dire qu’il prit tout à fait au sérieux les arguments anti-psychologistes de Frege contre toute conception paroissiale de la logique. Plus généralement,cette étude et la lecture de la conception quinienne de la logique que nous y proposons sont organisées par le principe d’une lecture frégéenne de Quine : si nous voulons comprendre ce que signifie de dire que la logique est paroissiale chez Quine, alors il faut revenir à Frege, que ce soit par la manière dont Quine s’y oppose ou par la manière dont il s’approprie certains thèmes et principes fondamentaux de la conception frégéenne de la logique. Cette étude consiste alors à mettre au jour et à examiner les raisons et les modalités de la revendication par Quine d’une paroissialité de la logique. Tout en étant ordonnés au traitement du problème de l’incompatibilité apparente du paroissial et de la logique, les cinq chapitres qui la composent parcourent successivement la critique de « Truth by Convention » du projet syntaxique de Carnap et de son principe de tolérance (chapitre 1), la philosophie de la notation logique de Quine (chapitre 2), le point de vue anthropologique en matière de logique que Quine fait sien (chapitre 3), le critère d’engagement ontologique (chapitre 4) et, enfin, la définition substitutionnelle de la vérité logique (chapitre 5).