FREGE GOTTLOB (1848-1925)
Professeur de mathématiques à l'université d'Iéna, Gottlob Frege est le fondateur de la logique moderne ou logique mathématique, selon l'appellation due à Giuseppe Peano et universellement admise. Longtemps méconnus, ses travaux furent révélés au public savant par Bertrand Russell, qui consacra à l'examen de quelques idées propres à Frege l'appendice B des Principles of Mathematics (1903).
L'œuvre ne peut être classée sous aucune des rubriques usuelles, car le génie de Frege fut de poursuivre selon une analyse entièrement neuve une seule question, le fondement de l'arithmétique, en toutes ses ramifications. Trois domaines, cependant, se partagent son héritage : à la mathématique, il donna la première définition satisfaisante du nombre cardinal, celle de la suite ordinale, analogue à la chaîne de Dedekind et, parallèlement aux travaux de Cantor, une théorie non formelle des ensembles que Zermelo a authentifiée ; en logique, il créa le calcul axiomatique des propositions, la théorie de la quantification et les rudiments de la syntaxe logique ; enfin, composant la proposition à partir d'un concept (ou fonction) saturé par un argument, il mit fin à l'aristotélisme logique, qui analyse tout énoncé en une combinaison de termes, et à l'ontologie associée à une telle analyse. En particulier, il donna les critères qui distinguent le concept de l'objet, vidant de son contenu la querelle sur la réalité des universaux. Ce regard neuf sur les langues bien faites ainsi que la distinction entre le sens et la dénotation d'une expression sont, conjointement à d'autres influences, à l'origine de la philosophie analytique anglo-saxonne et de la philosophie française du concept.
Tel est le fruit de quarante années de recherches solitaires pendant lesquelles Frege connut parfois le découragement ; toutefois chacune de ses découvertes est directement liée au propos initial : la construction logique de l'arithmétique.
La découverte de l'idéographie
Dans un bref opuscule intitulé Begriffsschrift (1879), Frege donnait les éléments fondamentaux, signes et règles du calcul logique qui sont aujourd'hui encore le cœur de la logique mathématique. On a renoncé toutefois aux symboles qu'il a inventés, judicieux mais d'une lecture malaisée. Ils s'enchaînent selon les deux dimensions de la page et requièrent l'arsenal des alphabets grec, latin et gothique, dans le double registre des majuscules et minuscules. L'obscurité du graphisme excuse sans doute l'incompréhension à laquelle se heurta l'ouvrage. L'idéographie est à la fois une langue caractéristique et un calcul logique.
La caractéristique
Pour formaliser le raisonnement arithmétique, Frege conçut une caractéristique apte à dépeindre les actes logiques aussi sûrement que l'arithmétique signale ses opérations. Cependant la logique de Frege n'imite pas l'arithmétique en utilisant les mêmes symboles d'opérations (+, ×), comme le firent Leibniz et Boole ; l'idéographie emprunte à la mathématique un procédé d'algèbre, la double distinction des constantes et des variables, des fonctions et des arguments. Plutôt qu'un emprunt, c'était une restitution à la logique de principes syntaxiques qui lui sont propres. Sur ce préalable, Frege traite les liaisons entre propositions comme des constantes dont la valeur dépend de la valeur de vérité des propositions arguments. Par ailleurs, l'analyse de la proposition en fonction (prédicat) et argument dissout l'illusion linguistique de la copule dont les sens multiples sont reversés sur différentes constantes de prédicat. Selon que le concept est vérifié par tous les arguments, ou par un seul, ou n'est vérifié par aucun, il donne naissance à une proposition universelle, particulière ou négative. Le cœur de[...]
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Claude IMBERT : professeur à l'École normale supérieure de jeunes filles
Classification
Autres références
-
CONCEPT
- Écrit par Jean LADRIÈRE
- 3 826 mots
La question du rapport entre le prédicat et le concept est fort controversée. Frege explique que le prédicat dénote un concept, comme le sujet dénote un objet. Et il caractérise le statut du concept en s'appuyant sur l'idée de fonction. La propriété essentielle de la fonction, c'est son insaturation,... -
CONTEXTE, linguistique
- Écrit par Catherine FUCHS
- 1 188 mots
...perspective, les approches logiques de la langue ont été confrontées à la question du contexte, à propos de la définition de la notion d'« identité ». C'est le logicien allemand Gottlob Frege qui, à la fin du xixe siècle, a montré l'inadéquation de la définition classique de l'identité... -
CROYANCE
- Écrit par Paul RICŒUR
- 11 987 mots
...crois que », « je pense que », etc. Les énoncés relèvent de la sémantique logique, laquelle se concentre sur la valeur de vérité des énoncés. G. Frege en est le fondateur, avec sa distinction fameuse entre sens et référence (ou dénotation). Les énonciations relèvent de la pragmatique, dont... -
EMPIRISME
- Écrit par Edmond ORTIGUES
- 13 324 mots
- 1 média
...à payer pour ce coup de maître fut très élevé ; il a obligé Kant à raisonner continuellement sur les modalités (le possible, le nécessaire, le réel), et non pas directement sur l'alternative « vrai »/« faux », comme font habituellement les logiciens depuis Frege (on ne changerait pas le problème, d'ailleurs,... - Afficher les 23 références
