Les Grundgesetze der Arithmetik de Frege : idéographie : genèse, syntaxe, sémantique
Auteur / Autrice : | Méven Cadet |
Direction : | Marco Panza |
Type : | Thèse de doctorat |
Discipline(s) : | Philosophie |
Date : | Soutenance le 21/06/2017 |
Etablissement(s) : | Paris 1 |
Ecole(s) doctorale(s) : | École doctorale Philosophie (Paris ; 1998-....) |
Partenaire(s) de recherche : | Laboratoire : Institut d'histoire et de philosophie des sciences et des techniques (Paris ; 1932-....) |
Jury : | Examinateurs / Examinatrices : Marco Panza, Philippe de Rouilhan, Brice Halimi |
Rapporteurs / Rapporteuses : Marco Ruffino, Gabriel Sandru |
Mots clés
Mots clés contrôlés
Résumé
Un important désaccord subsiste parmi les exégètes de Frege au sujet de la question suivante : quel rapport entretient l'universalisme logique de Frege avec la sémantique contemporaine ? Le premier constitue-t-il un obstacle à l'élaboration et/ou à l'exploitation de la seconde ? Face à cette interrogation deux camps s'affrontent. L'un dresse la liste considérable des passages des Grundgesetze dans lesquels Frege sembla se lancer dans de véritables raisonnements sémantiques. L'autre rétorque qu'il s'agissait à ses yeux de pures élucidations, bannies de jure de la sphère théorique. Notre objectif consiste à faire toute la lumière sur ce problème. Dans ce but, nous nous appliquons à combattre deux poncifs ancrés dans la littérature. Nous contestons (1) l'idée que Frege était toujours soucieux de signaler la moindre inflexion de sa pensée, et (2) la possibilité d'étudier ses positions philosophiques indépendamment de son symbolisme spécifique. Par conséquent, nous retraçons la genèse des idées qui ont conduit à l'élaboration de l'idéographie de 1893, avant de réaliser toutes les étapes de la construction de ce système. Ces résultats - attachés à notre rejet de (1) et (2) - jettent une lumière neuve sur le problème soulevé plus haut. Ils nous conduisent à adopter le positionnement radical selon lequel Frege faisait bel et bien droit à une sémantique dont il jeta les bases et qu'il tenta de mettre en action afin de démontrer certains théorèmes métalogiques. Nous tentons de formaliser proprement cette sémantique, puis de localiser précisément les erreurs dont il fut responsable. Cette tâche nous conduit ultimement à l'étude des célèbres §§ 29-31 des Grundgesetze.