Frege Gottlob

En 1893, Gottlob Frege travaille à l'université d'Iéna et fait paraître le premier volume des Grundgesetze der Arithmetik. Son ambition est immense : reconstruire toute l'arithmétique à partir de la seule logique.

Une lettre de Bertrand Russell révèle pourtant une contradiction en 1902, pendant l'impression du second volume. Ce revers détruit le système logiciste conçu par Frege, mais n'efface ni ses calculs logiques ni sa distinction entre le sens et la référence d'une expression.

Gottlob Frege (1848-1925) est un philosophe, logicien et mathématicien allemand. Après ses études secondaires à Wismar, il étudie à Iéna puis à Göttingen, où il soutient son doctorat. Il accomplit ensuite toute sa carrière universitaire à Iéna.

Ses travaux fondent la logique mathématique moderne. La source lui attribue à lui seul la création du calcul propositionnel et du calcul des prédicats, ce qui lui vaut d'être reconnu comme l'un des plus grands logiciens de l'histoire. Son projet principal, nommé logicisme, vise à faire dériver l'arithmétique entière de la seule logique. Il le développe dans les Grundgesetze der Arithmetik, ou Lois fondamentales de l'arithmétique, dont le premier volume paraît en 1893.

En 1902, tandis que le second volume est sous presse, Bertrand Russell lui signale par lettre une contradiction dans son système d'axiomes : l'antinomie de Russell. Cette contradiction ruine le projet logiciste sous la forme que Frege lui avait donnée. En 1923, Frege tente une autre voie en cherchant à refonder les mathématiques sur la géométrie. Son œuvre comprend aussi une philosophie du langage influente, marquée par la distinction entre le sens, Sinn, et la référence, Bedeutung, d'une expression.

Le parcours des Grundgesetze der Arithmetik montre comment lire l'ambition et la limite du logicisme de Frege. Les données sont le projet de dériver l'arithmétique de la logique, le premier volume paru en 1893, la lettre de Russell en 1902 et la tentative géométrique de 1923.

1. On identifie d'abord le but : Frege veut obtenir l'arithmétique entière à partir de la seule logique.

2. On repère ensuite sa mise en œuvre : le premier volume des Grundgesetze paraît en 1893 et le second est en cours d'impression en 1902.

3. La lettre de Russell signale alors une contradiction dans le système d'axiomes. Le résultat contrôlable est précis : c'est ce système logiciste qui est ruiné, non l'ensemble des travaux logiques et linguistiques de Frege.

4. La tentative de 1923 fournit le contrôle chronologique : après l'échec du système initial, Frege cherche un autre fondement dans la géométrie. La chronologie permet ainsi de séparer le programme, sa contradiction et la voie explorée ensuite.

Pour situer Frege dans l'histoire des mathématiques, repérez d'abord le calcul propositionnel et le calcul des prédicats. Si la question porte sur la dérivation de l'arithmétique à partir de la logique, le bon repère est plutôt son programme logiciste.

Pour suivre le destin des Grundgesetze, associez chaque date à un fait distinct : 1893 au premier volume, 1902 à la lettre de Russell et 1923 à la tentative d'un fondement géométrique. Cette méthode évite de confondre publication, contradiction et réorientation.

Pour aborder sa philosophie du langage, cherchez l'opposition entre Sinn et Bedeutung. Si le texte étudié traite plutôt d'axiomes, d'arithmétique et de logique, replacez-le dans le projet logiciste au lieu de le ranger sous cette distinction linguistique.

Le logicisme et la logique mathématique moderne ne se recouvrent pas. Le premier est le projet de dériver toute l'arithmétique de la seule logique ; la seconde désigne ici le domaine fondé par les travaux logiques de Frege. La contradiction signalée en 1902 ruine son système logiciste tel qu'il le concevait, sans annuler la création du calcul propositionnel et du calcul des prédicats qui lui est attribuée.

L'antinomie de Russell et la lettre de Russell ne sont pas deux épisodes séparés. Dans le récit source, la lettre reçue en 1902 est le moyen par lequel Russell signale à Frege la contradiction appelée antinomie de Russell.

Ne pas étendre l'échec à toute l'œuvre. Le symptôme du piège est une phrase affirmant que l'antinomie de Russell a réfuté tous les travaux de Frege. La source dit plus précisément qu'elle ruine le projet logiciste tel qu'il le concevait ; ses calculs logiques et sa philosophie du langage restent des contributions distinctes.

Ne pas transformer une tentative en réussite établie. En 1923, Frege tente de refonder les mathématiques sur la géométrie. Le verbe « tente » est décisif : la source ne permet pas d'affirmer que cette nouvelle fondation a abouti.

Ne pas fusionner les deux versants de l'œuvre. Le logicisme concerne les fondements de l'arithmétique, tandis que Sinn et Bedeutung appartiennent à la distinction linguistique citée par la source. Il faut identifier le sujet du passage étudié avant de choisir l'un de ces repères.

La fiche Russell Bertrand prolonge l'épisode de 1902 en présentant le logicien qui signala la contradiction à Frege.

L'article Un siècle de vie passionnée replace Bertrand Russell dans un parcours plus large que son intervention auprès de Frege.

L'article La philosophie des mathématiques iconoclaste de Wittgenstein ouvre une autre perspective sur les fondements et la philosophie des mathématiques.