FREGE GOTTLOB (1848-1925)

Carte mentale

Élargissez votre recherche dans Universalis

Le logicisme de Frege

Les deux tomes des Lois fondamentales de l'arithmétique (Grundgesetze der Arithmetik, 1893-1903) constituent le premier traité où l'exposé déductif d'une science est donné intégralement dans la langue idéographique. Les parties en langue commune ont un rôle de commentaire et sont soigneusement séparées de la déduction elle-même. C'est l'exécution partielle – Frege n'écrivit jamais le troisième tome – du programme logiciste.

La deuxième idéographie

Le premier tome s'ouvre sur un nouvel exposé de l'idéographie. Il fallait en effet caractériser par de nouveaux symboles les extensions de concepts et codifier les pratiques algébriques décrites dans les Fondements. Mais, plus que de la définition de nouveaux signes, ce préambule tire son importance des rudiments de syntaxe logique et de sémantique qu'il contient et auxquels Frege a consacré divers articles publiés simultanément.

Une difficulté majeure de l'idéographie était de justifier la présence, au sein d'un même calcul, des connecteurs logiques, dont les arguments et la valeur sont des valeurs de vérité, et des prédicats, dont les arguments sont des individus et les valeurs une valeur de vérité. C'est dans l'article Fonction et concept (Funktion und Begriff, 1891) que Frege mit en évidence leur analogie. En fait, celle-ci n'apparaît pleinement qu'au niveau syntaxique. Le concept, comme toute fonction, a pour image dans la langue logique un signe que l'on dit insaturé et où l'on doit voir la place vide de l'argument, soit Φ ( ). Cette place vide peut être signalée par une lettre syntaxique, appartenant par exemple à un alphabet différent ; et le procédé est nécessaire chaque fois que l'on veut étudier dans la métalangue un caractère syntaxique d'un élément de la langue. La syntaxe logique naquit de ces finesses d'écriture avant d'atteindre la maturité d'une science avec les travaux de Gödel et de Carnap.

L'article Sens et dénotation (Sinn und Bedeutung, 1892) apprend à distinguer le sens d'une expression – ce par quoi [...]


1  2  3  4  5
pour nos abonnés,
l’article se compose de 6 pages

Écrit par :

  • : professeur à l'École normale supérieure de jeunes filles

Classification

Autres références

«  FREGE GOTTLOB (1848-1925)  » est également traité dans :

CONCEPT

  • Écrit par 
  • Jean LADRIÈRE
  •  • 3 815 mots

Dans le chapitre « Les propriétés du concept »  : […] La tradition rationaliste établit une différence tranchée entre la connaissance intuitive et la connaissance conceptuelle, en lesquelles elle voit deux niveaux irréductibles de savoir. La tradition empiriste, en revanche, conçoit plutôt ces deux modes de connaissance comme des réalisations, selon des degrés différents, d'une seule et même modalité fondamentale. Que les concepts soient compris comm […] Lire la suite

CONTEXTE, linguistique

  • Écrit par 
  • Catherine FUCHS
  •  • 1 185 mots

Dans le chapitre « Les approches logiques et sémantiques de la notion de contexte »  : […] Dans une tout autre 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 xix e  siècle, a montré l'inadéquation de la définition classique de l'identité dans certains types de contextes. Selon la définition logique de l'identité, lorsque deux […] Lire la suite

CROYANCE

  • Écrit par 
  • Paul RICŒUR
  •  • 12 004 mots

Dans le chapitre « Approche pragmatique »  : […] La philosophie analytique, de langue anglaise principalement, a ouvert un nouveau chantier pour l'étude systématique des attitudes subjectives, telles que la croyance, à la faveur de leur inscription dans le discours . Par discours, il faut entendre ici l'ensemble constitué par les énoncés, tels qu'ils s'expriment dans des propositions, et les énonciations, recueillies au niveau du langage dans de […] Lire la suite

EMPIRISME

  • Écrit par 
  • Edmond ORTIGUES
  •  • 13 313 mots
  •  • 1 média

Dans le chapitre « L'équivoque du mot « analytique » »  : […] « La méthode analytique, écrit Kant, est tout autre chose qu'un ensemble de propositions analytiques ; elle signifie seulement que l'on part de ce que l'on cherche comme d'une donnée et que l'on remonte aux conditions sous lesquelles seules il est possible. Dans cette méthode d'enseignement, on n'emploie souvent que des propositions synthétiques ; l'analyse mathématique en fournit un exemple ; et […] Lire la suite

ÊTRE, philosophie

  • Écrit par 
  • Giulio GIORELLO
  •  • 4 682 mots

Dans le chapitre « L'existence n'est pas un prédicat »  : […] Rappelons brièvement la réponse donnée jadis par Leibniz. Pour Leibniz, il y a « une raison » pour que quelque chose existe plutôt que rien, en vertu du principe même de la raison suffisante. Cette raison doit se trouver dans un Être nécessaire – autrement, on devrait à nouveau chercher une cause en dehors de lui, en vertu de laquelle lui-même existe au lieu de ne pas exister. Dans De rerum origi […] Lire la suite

FORMALISME

  • Écrit par 
  • Étienne BALIBAR, 
  • Pierre MACHEREY
  •  • 5 002 mots
  •  • 1 média

Dans le chapitre « Le logicisme »  : […] Il y a au contraire, au moins initialement, et sur le plan philosophique, une nette divergence entre la pensée formaliste et axiomatique (telle que la développe Hilbert) et le logicisme de G. Frege et B. Russell , second des grands courants qui sont à l'origine de la formalisation moderne. Le projet de Frege, même s'il suppose la formalisation du raisonnement mathématique et la construction d'une […] Lire la suite

GÖDEL KURT (1906-1978)

  • Écrit par 
  • Daniel ANDLER
  •  • 2 293 mots

Dans le chapitre « L'œuvre »  : […] Les travaux de Gödel ont été exposés et situés dans leur contexte mathématique et épistémologique (cf. logique mathématique , hilbert , fondements des mathématiques et problèmes de hilbert ). Aussi nous contenterons-nous ici d'un bref aperçu. Le premier grand résultat est celui de la complétude du calcul des prédicats. Dans leur Grundzüge der Theoretischen Logik , paru en 1928, Hilbert et Ackerm […] Lire la suite

HILBERT DAVID (1862-1943)

  • Écrit par 
  • Rüdiger INHETVEEN, 
  • Jean-Michel KANTOR, 
  • Christian THIEL
  •  • 16 706 mots
  •  • 1 média

Dans le chapitre « Problème 2 : consistance de l'arithmétique »  : […] Fonder une science, selon Hilbert, c'est déterminer « un système d'axiomes contenant une description exacte et complète des rapports que soutiennent les idées élémentaires de cette science ». Les axiomes constituent, en même temps, une définition de ces idées élémentaires, et les seules assertions relevant de cette science qui soient réputées valides sont celles qui se déduisent des axiomes en un […] Lire la suite

IDENTITÉ

  • Écrit par 
  • Annie COLLOVALD, 
  • Fernando GIL, 
  • Nicole SINDZINGRE, 
  • Pierre TAP
  •  • 13 233 mots
  •  • 1 média

Dans le chapitre « Les significations de l'identité et la logique de l'identité »  : […] On n'entrera pas dans l'étude de la logique de l'identité, si ce n'est d'une certaine façon pour noter que les deux dimensions mentionnées y interviennent encore. C'est en relation avec l'égalité et la substituabilité que l'identité est élucidée – plutôt qu'elle n'est définie, comme l'a observé Frege dans le texte qu'on a cité au début (Frege ajoute que l'explication par la substituabilité « pour […] Lire la suite

INFINI, mathématiques

  • Écrit par 
  • Jean Toussaint DESANTI
  •  • 10 364 mots

Dans le chapitre « La puissance d'un ensemble »  : […] La définition du concept de puissance n'offre pas de difficultés pour qui dispose du concept d'application biunivoque. On dira que deux ensembles (et, à l'origine, Cantor raisonne dans le domaine de l'analyse, c'est-à-dire sur des ensembles de points) ont même puissance s'il est possible de définir, des éléments de l'un vers les éléments de l'autre, une application biunivoque. Le concept de puiss […] Lire la suite

Voir aussi

Pour citer l’article

Claude IMBERT, « FREGE GOTTLOB - (1848-1925) », Encyclopædia Universalis [en ligne], consulté le 25 septembre 2020. URL : https://www.universalis.fr/encyclopedie/gottlob-frege/